src/share/classes/com/sun/tools/javac/main/JavaCompiler.java

Mon, 29 Oct 2012 10:39:49 -0700

author
rfield
date
Mon, 29 Oct 2012 10:39:49 -0700
changeset 1380
a65971893c50
parent 1374
c002fdee76fd
child 1406
2901c7b5339e
permissions
-rw-r--r--

8000694: Add generation of lambda implementation code: invokedynamic call, lambda method, adaptor methods
Summary: Add lambda implementation code with calling/supporting code elsewhere in the compiler
Reviewed-by: mcimadamore, jjg

duke@1 1 /*
jjg@1210 2 * Copyright (c) 1999, 2012, Oracle and/or its affiliates. All rights reserved.
duke@1 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@1 4 *
duke@1 5 * This code is free software; you can redistribute it and/or modify it
duke@1 6 * under the terms of the GNU General Public License version 2 only, as
ohair@554 7 * published by the Free Software Foundation. Oracle designates this
duke@1 8 * particular file as subject to the "Classpath" exception as provided
ohair@554 9 * by Oracle in the LICENSE file that accompanied this code.
duke@1 10 *
duke@1 11 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@1 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@1 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@1 14 * version 2 for more details (a copy is included in the LICENSE file that
duke@1 15 * accompanied this code).
duke@1 16 *
duke@1 17 * You should have received a copy of the GNU General Public License version
duke@1 18 * 2 along with this work; if not, write to the Free Software Foundation,
duke@1 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@1 20 *
ohair@554 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
ohair@554 22 * or visit www.oracle.com if you need additional information or have any
ohair@554 23 * questions.
duke@1 24 */
duke@1 25
duke@1 26 package com.sun.tools.javac.main;
duke@1 27
duke@1 28 import java.io.*;
jjg@700 29 import java.util.HashMap;
duke@1 30 import java.util.HashSet;
jjg@1210 31 import java.util.LinkedHashMap;
mcimadamore@95 32 import java.util.LinkedHashSet;
duke@1 33 import java.util.Map;
duke@1 34 import java.util.MissingResourceException;
jjg@700 35 import java.util.Queue;
duke@1 36 import java.util.ResourceBundle;
duke@1 37 import java.util.Set;
duke@1 38 import java.util.logging.Handler;
duke@1 39 import java.util.logging.Level;
duke@1 40 import java.util.logging.Logger;
duke@1 41
jjg@700 42 import javax.annotation.processing.Processor;
jjg@700 43 import javax.lang.model.SourceVersion;
jjg@1210 44 import javax.tools.DiagnosticListener;
duke@1 45 import javax.tools.JavaFileManager;
duke@1 46 import javax.tools.JavaFileObject;
jjg@1230 47 import javax.tools.StandardLocation;
jjg@1230 48
jjg@1210 49 import static javax.tools.StandardLocation.CLASS_OUTPUT;
duke@1 50
duke@1 51 import com.sun.source.util.TaskEvent;
jjg@1210 52 import com.sun.tools.javac.api.MultiTaskListener;
duke@1 53 import com.sun.tools.javac.code.*;
jjg@757 54 import com.sun.tools.javac.code.Lint.LintCategory;
jjg@700 55 import com.sun.tools.javac.code.Symbol.*;
jjg@1136 56 import com.sun.tools.javac.comp.*;
jjg@1136 57 import com.sun.tools.javac.file.JavacFileManager;
jjg@1136 58 import com.sun.tools.javac.jvm.*;
jjg@1136 59 import com.sun.tools.javac.parser.*;
jjg@1136 60 import com.sun.tools.javac.processing.*;
duke@1 61 import com.sun.tools.javac.tree.*;
jjg@700 62 import com.sun.tools.javac.tree.JCTree.*;
jjg@1136 63 import com.sun.tools.javac.util.*;
jjg@1136 64 import com.sun.tools.javac.util.Log.WriterKind;
jjg@1230 65
jjg@1374 66 import static com.sun.tools.javac.code.TypeTag.CLASS;
jjg@1157 67 import static com.sun.tools.javac.main.Option.*;
jjg@664 68 import static com.sun.tools.javac.util.JCDiagnostic.DiagnosticFlag.*;
duke@1 69 import static com.sun.tools.javac.util.ListBuffer.lb;
duke@1 70
duke@1 71
duke@1 72 /** This class could be the main entry point for GJC when GJC is used as a
duke@1 73 * component in a larger software system. It provides operations to
duke@1 74 * construct a new compiler, and to run a new compiler on a set of source
duke@1 75 * files.
duke@1 76 *
jjg@581 77 * <p><b>This is NOT part of any supported API.
jjg@581 78 * If you write code that depends on this, you do so at your own risk.
duke@1 79 * This code and its internal interfaces are subject to change or
duke@1 80 * deletion without notice.</b>
duke@1 81 */
duke@1 82 public class JavaCompiler implements ClassReader.SourceCompleter {
duke@1 83 /** The context key for the compiler. */
duke@1 84 protected static final Context.Key<JavaCompiler> compilerKey =
duke@1 85 new Context.Key<JavaCompiler>();
duke@1 86
duke@1 87 /** Get the JavaCompiler instance for this context. */
duke@1 88 public static JavaCompiler instance(Context context) {
duke@1 89 JavaCompiler instance = context.get(compilerKey);
duke@1 90 if (instance == null)
duke@1 91 instance = new JavaCompiler(context);
duke@1 92 return instance;
duke@1 93 }
duke@1 94
duke@1 95 /** The current version number as a string.
duke@1 96 */
duke@1 97 public static String version() {
duke@1 98 return version("release"); // mm.nn.oo[-milestone]
duke@1 99 }
duke@1 100
duke@1 101 /** The current full version number as a string.
duke@1 102 */
duke@1 103 public static String fullVersion() {
duke@1 104 return version("full"); // mm.mm.oo[-milestone]-build
duke@1 105 }
duke@1 106
duke@1 107 private static final String versionRBName = "com.sun.tools.javac.resources.version";
duke@1 108 private static ResourceBundle versionRB;
duke@1 109
duke@1 110 private static String version(String key) {
duke@1 111 if (versionRB == null) {
duke@1 112 try {
duke@1 113 versionRB = ResourceBundle.getBundle(versionRBName);
duke@1 114 } catch (MissingResourceException e) {
jjg@597 115 return Log.getLocalizedString("version.not.available");
duke@1 116 }
duke@1 117 }
duke@1 118 try {
duke@1 119 return versionRB.getString(key);
duke@1 120 }
duke@1 121 catch (MissingResourceException e) {
jjg@597 122 return Log.getLocalizedString("version.not.available");
duke@1 123 }
duke@1 124 }
duke@1 125
jjg@119 126 /**
jjg@119 127 * Control how the compiler's latter phases (attr, flow, desugar, generate)
jjg@119 128 * are connected. Each individual file is processed by each phase in turn,
jjg@119 129 * but with different compile policies, you can control the order in which
jjg@119 130 * each class is processed through its next phase.
jjg@119 131 *
jjg@119 132 * <p>Generally speaking, the compiler will "fail fast" in the face of
jjg@119 133 * errors, although not aggressively so. flow, desugar, etc become no-ops
jjg@119 134 * once any errors have occurred. No attempt is currently made to determine
jjg@119 135 * if it might be safe to process a class through its next phase because
jjg@119 136 * it does not depend on any unrelated errors that might have occurred.
jjg@119 137 */
jjg@119 138 protected static enum CompilePolicy {
jjg@119 139 /**
jjg@119 140 * Just attribute the parse trees.
duke@1 141 */
duke@1 142 ATTR_ONLY,
duke@1 143
jjg@119 144 /**
duke@1 145 * Just attribute and do flow analysis on the parse trees.
duke@1 146 * This should catch most user errors.
duke@1 147 */
duke@1 148 CHECK_ONLY,
duke@1 149
jjg@119 150 /**
duke@1 151 * Attribute everything, then do flow analysis for everything,
duke@1 152 * then desugar everything, and only then generate output.
jjg@119 153 * This means no output will be generated if there are any
jjg@119 154 * errors in any classes.
duke@1 155 */
duke@1 156 SIMPLE,
duke@1 157
jjg@119 158 /**
jjg@119 159 * Groups the classes for each source file together, then process
jjg@119 160 * each group in a manner equivalent to the {@code SIMPLE} policy.
jjg@119 161 * This means no output will be generated if there are any
jjg@119 162 * errors in any of the classes in a source file.
duke@1 163 */
duke@1 164 BY_FILE,
duke@1 165
jjg@119 166 /**
duke@1 167 * Completely process each entry on the todo list in turn.
duke@1 168 * -- this is the same for 1.5.
duke@1 169 * Means output might be generated for some classes in a compilation unit
duke@1 170 * and not others.
duke@1 171 */
duke@1 172 BY_TODO;
duke@1 173
duke@1 174 static CompilePolicy decode(String option) {
duke@1 175 if (option == null)
duke@1 176 return DEFAULT_COMPILE_POLICY;
duke@1 177 else if (option.equals("attr"))
duke@1 178 return ATTR_ONLY;
duke@1 179 else if (option.equals("check"))
duke@1 180 return CHECK_ONLY;
duke@1 181 else if (option.equals("simple"))
duke@1 182 return SIMPLE;
duke@1 183 else if (option.equals("byfile"))
duke@1 184 return BY_FILE;
duke@1 185 else if (option.equals("bytodo"))
duke@1 186 return BY_TODO;
duke@1 187 else
duke@1 188 return DEFAULT_COMPILE_POLICY;
duke@1 189 }
duke@1 190 }
duke@1 191
duke@1 192 private static CompilePolicy DEFAULT_COMPILE_POLICY = CompilePolicy.BY_TODO;
duke@1 193
jjg@119 194 protected static enum ImplicitSourcePolicy {
duke@1 195 /** Don't generate or process implicitly read source files. */
duke@1 196 NONE,
duke@1 197 /** Generate classes for implicitly read source files. */
duke@1 198 CLASS,
duke@1 199 /** Like CLASS, but generate warnings if annotation processing occurs */
duke@1 200 UNSET;
duke@1 201
duke@1 202 static ImplicitSourcePolicy decode(String option) {
duke@1 203 if (option == null)
duke@1 204 return UNSET;
duke@1 205 else if (option.equals("none"))
duke@1 206 return NONE;
duke@1 207 else if (option.equals("class"))
duke@1 208 return CLASS;
duke@1 209 else
duke@1 210 return UNSET;
duke@1 211 }
duke@1 212 }
duke@1 213
duke@1 214 /** The log to be used for error reporting.
duke@1 215 */
duke@1 216 public Log log;
duke@1 217
jjg@12 218 /** Factory for creating diagnostic objects
jjg@12 219 */
jjg@12 220 JCDiagnostic.Factory diagFactory;
jjg@12 221
duke@1 222 /** The tree factory module.
duke@1 223 */
duke@1 224 protected TreeMaker make;
duke@1 225
duke@1 226 /** The class reader.
duke@1 227 */
duke@1 228 protected ClassReader reader;
duke@1 229
duke@1 230 /** The class writer.
duke@1 231 */
duke@1 232 protected ClassWriter writer;
duke@1 233
jjg@1230 234 /** The native header writer.
jjg@1230 235 */
jjg@1230 236 protected JNIWriter jniWriter;
jjg@1230 237
duke@1 238 /** The module for the symbol table entry phases.
duke@1 239 */
duke@1 240 protected Enter enter;
duke@1 241
duke@1 242 /** The symbol table.
duke@1 243 */
duke@1 244 protected Symtab syms;
duke@1 245
duke@1 246 /** The language version.
duke@1 247 */
duke@1 248 protected Source source;
duke@1 249
duke@1 250 /** The module for code generation.
duke@1 251 */
duke@1 252 protected Gen gen;
duke@1 253
duke@1 254 /** The name table.
duke@1 255 */
jjg@113 256 protected Names names;
duke@1 257
duke@1 258 /** The attributor.
duke@1 259 */
duke@1 260 protected Attr attr;
duke@1 261
duke@1 262 /** The attributor.
duke@1 263 */
duke@1 264 protected Check chk;
duke@1 265
duke@1 266 /** The flow analyzer.
duke@1 267 */
duke@1 268 protected Flow flow;
duke@1 269
duke@1 270 /** The type eraser.
duke@1 271 */
jjg@119 272 protected TransTypes transTypes;
duke@1 273
rfield@1380 274 /** The lambda translator.
rfield@1380 275 */
rfield@1380 276 protected LambdaToMethod lambdaToMethod;
rfield@1380 277
duke@1 278 /** The syntactic sugar desweetener.
duke@1 279 */
jjg@119 280 protected Lower lower;
duke@1 281
duke@1 282 /** The annotation annotator.
duke@1 283 */
duke@1 284 protected Annotate annotate;
duke@1 285
duke@1 286 /** Force a completion failure on this name
duke@1 287 */
duke@1 288 protected final Name completionFailureName;
duke@1 289
duke@1 290 /** Type utilities.
duke@1 291 */
duke@1 292 protected Types types;
duke@1 293
duke@1 294 /** Access to file objects.
duke@1 295 */
duke@1 296 protected JavaFileManager fileManager;
duke@1 297
duke@1 298 /** Factory for parsers.
duke@1 299 */
jjg@111 300 protected ParserFactory parserFactory;
duke@1 301
jjg@1210 302 /** Broadcasting listener for progress events
duke@1 303 */
jjg@1210 304 protected MultiTaskListener taskListener;
duke@1 305
duke@1 306 /**
duke@1 307 * Annotation processing may require and provide a new instance
duke@1 308 * of the compiler to be used for the analyze and generate phases.
duke@1 309 */
duke@1 310 protected JavaCompiler delegateCompiler;
duke@1 311
duke@1 312 /**
jjg@897 313 * Command line options.
jjg@897 314 */
jjg@897 315 protected Options options;
jjg@897 316
jjg@897 317 protected Context context;
jjg@897 318
jjg@897 319 /**
duke@1 320 * Flag set if any annotation processing occurred.
duke@1 321 **/
duke@1 322 protected boolean annotationProcessingOccurred;
duke@1 323
duke@1 324 /**
duke@1 325 * Flag set if any implicit source files read.
duke@1 326 **/
duke@1 327 protected boolean implicitSourceFilesRead;
duke@1 328
duke@1 329 /** Construct a new compiler using a shared context.
duke@1 330 */
jjg@893 331 public JavaCompiler(Context context) {
duke@1 332 this.context = context;
duke@1 333 context.put(compilerKey, this);
duke@1 334
duke@1 335 // if fileManager not already set, register the JavacFileManager to be used
duke@1 336 if (context.get(JavaFileManager.class) == null)
duke@1 337 JavacFileManager.preRegister(context);
duke@1 338
jjg@113 339 names = Names.instance(context);
duke@1 340 log = Log.instance(context);
jjg@12 341 diagFactory = JCDiagnostic.Factory.instance(context);
duke@1 342 reader = ClassReader.instance(context);
duke@1 343 make = TreeMaker.instance(context);
duke@1 344 writer = ClassWriter.instance(context);
jjg@1230 345 jniWriter = JNIWriter.instance(context);
duke@1 346 enter = Enter.instance(context);
duke@1 347 todo = Todo.instance(context);
duke@1 348
duke@1 349 fileManager = context.get(JavaFileManager.class);
jjg@111 350 parserFactory = ParserFactory.instance(context);
duke@1 351
duke@1 352 try {
duke@1 353 // catch completion problems with predefineds
duke@1 354 syms = Symtab.instance(context);
duke@1 355 } catch (CompletionFailure ex) {
duke@1 356 // inlined Check.completionError as it is not initialized yet
jjg@12 357 log.error("cant.access", ex.sym, ex.getDetailValue());
duke@1 358 if (ex instanceof ClassReader.BadClassFile)
duke@1 359 throw new Abort();
duke@1 360 }
duke@1 361 source = Source.instance(context);
duke@1 362 attr = Attr.instance(context);
duke@1 363 chk = Check.instance(context);
duke@1 364 gen = Gen.instance(context);
duke@1 365 flow = Flow.instance(context);
duke@1 366 transTypes = TransTypes.instance(context);
duke@1 367 lower = Lower.instance(context);
duke@1 368 annotate = Annotate.instance(context);
duke@1 369 types = Types.instance(context);
jjg@1210 370 taskListener = MultiTaskListener.instance(context);
duke@1 371
duke@1 372 reader.sourceCompleter = this;
duke@1 373
jjg@897 374 options = Options.instance(context);
duke@1 375
rfield@1380 376 lambdaToMethod = LambdaToMethod.instance(context);
rfield@1380 377
jjg@700 378 verbose = options.isSet(VERBOSE);
jjg@700 379 sourceOutput = options.isSet(PRINTSOURCE); // used to be -s
jjg@700 380 stubOutput = options.isSet("-stubs");
jjg@700 381 relax = options.isSet("-relax");
jjg@700 382 printFlat = options.isSet("-printflat");
jjg@700 383 attrParseOnly = options.isSet("-attrparseonly");
jjg@700 384 encoding = options.get(ENCODING);
jjg@700 385 lineDebugInfo = options.isUnset(G_CUSTOM) ||
jjg@700 386 options.isSet(G_CUSTOM, "lines");
jjg@700 387 genEndPos = options.isSet(XJCOV) ||
duke@1 388 context.get(DiagnosticListener.class) != null;
jjg@700 389 devVerbose = options.isSet("dev");
jjg@700 390 processPcks = options.isSet("process.packages");
jjg@700 391 werror = options.isSet(WERROR);
duke@1 392
jjg@757 393 if (source.compareTo(Source.DEFAULT) < 0) {
jjg@757 394 if (options.isUnset(XLINT_CUSTOM, "-" + LintCategory.OPTIONS.option)) {
jjg@757 395 if (fileManager instanceof BaseFileManager) {
jjg@757 396 if (((BaseFileManager) fileManager).isDefaultBootClassPath())
jjg@757 397 log.warning(LintCategory.OPTIONS, "source.no.bootclasspath", source.name);
jjg@757 398 }
jjg@757 399 }
jjg@757 400 }
jjg@757 401
jjg@700 402 verboseCompilePolicy = options.isSet("verboseCompilePolicy");
duke@1 403
duke@1 404 if (attrParseOnly)
duke@1 405 compilePolicy = CompilePolicy.ATTR_ONLY;
duke@1 406 else
duke@1 407 compilePolicy = CompilePolicy.decode(options.get("compilePolicy"));
duke@1 408
duke@1 409 implicitSourcePolicy = ImplicitSourcePolicy.decode(options.get("-implicit"));
duke@1 410
duke@1 411 completionFailureName =
jjg@700 412 options.isSet("failcomplete")
duke@1 413 ? names.fromString(options.get("failcomplete"))
duke@1 414 : null;
jjg@257 415
jjg@1340 416 shouldStopPolicyIfError =
jjg@1340 417 options.isSet("shouldStopPolicy") // backwards compatible
jjg@257 418 ? CompileState.valueOf(options.get("shouldStopPolicy"))
jjg@1340 419 : options.isSet("shouldStopPolicyIfError")
jjg@1340 420 ? CompileState.valueOf(options.get("shouldStopPolicyIfError"))
jjg@1340 421 : CompileState.INIT;
jjg@1340 422 shouldStopPolicyIfNoError =
jjg@1340 423 options.isSet("shouldStopPolicyIfNoError")
jjg@1340 424 ? CompileState.valueOf(options.get("shouldStopPolicyIfNoError"))
jjg@1340 425 : CompileState.GENERATE;
jjg@1340 426
jjg@700 427 if (options.isUnset("oldDiags"))
mcimadamore@288 428 log.setDiagnosticFormatter(RichDiagnosticFormatter.instance(context));
duke@1 429 }
duke@1 430
duke@1 431 /* Switches:
duke@1 432 */
duke@1 433
duke@1 434 /** Verbose output.
duke@1 435 */
duke@1 436 public boolean verbose;
duke@1 437
duke@1 438 /** Emit plain Java source files rather than class files.
duke@1 439 */
duke@1 440 public boolean sourceOutput;
duke@1 441
duke@1 442 /** Emit stub source files rather than class files.
duke@1 443 */
duke@1 444 public boolean stubOutput;
duke@1 445
duke@1 446 /** Generate attributed parse tree only.
duke@1 447 */
duke@1 448 public boolean attrParseOnly;
duke@1 449
duke@1 450 /** Switch: relax some constraints for producing the jsr14 prototype.
duke@1 451 */
duke@1 452 boolean relax;
duke@1 453
duke@1 454 /** Debug switch: Emit Java sources after inner class flattening.
duke@1 455 */
duke@1 456 public boolean printFlat;
duke@1 457
duke@1 458 /** The encoding to be used for source input.
duke@1 459 */
duke@1 460 public String encoding;
duke@1 461
duke@1 462 /** Generate code with the LineNumberTable attribute for debugging
duke@1 463 */
duke@1 464 public boolean lineDebugInfo;
duke@1 465
duke@1 466 /** Switch: should we store the ending positions?
duke@1 467 */
duke@1 468 public boolean genEndPos;
duke@1 469
duke@1 470 /** Switch: should we debug ignored exceptions
duke@1 471 */
duke@1 472 protected boolean devVerbose;
duke@1 473
duke@1 474 /** Switch: should we (annotation) process packages as well
duke@1 475 */
duke@1 476 protected boolean processPcks;
duke@1 477
jjg@215 478 /** Switch: treat warnings as errors
jjg@215 479 */
jjg@215 480 protected boolean werror;
jjg@215 481
duke@1 482 /** Switch: is annotation processing requested explitly via
duke@1 483 * CompilationTask.setProcessors?
duke@1 484 */
duke@1 485 protected boolean explicitAnnotationProcessingRequested = false;
duke@1 486
duke@1 487 /**
duke@1 488 * The policy for the order in which to perform the compilation
duke@1 489 */
duke@1 490 protected CompilePolicy compilePolicy;
duke@1 491
duke@1 492 /**
duke@1 493 * The policy for what to do with implicitly read source files
duke@1 494 */
duke@1 495 protected ImplicitSourcePolicy implicitSourcePolicy;
duke@1 496
duke@1 497 /**
duke@1 498 * Report activity related to compilePolicy
duke@1 499 */
duke@1 500 public boolean verboseCompilePolicy;
duke@1 501
jjg@257 502 /**
jjg@1340 503 * Policy of how far to continue compilation after errors have occurred.
jjg@1340 504 * Set this to minimum CompileState (INIT) to stop as soon as possible
jjg@1340 505 * after errors.
jjg@257 506 */
jjg@1340 507 public CompileState shouldStopPolicyIfError;
jjg@257 508
jjg@1340 509 /**
jjg@1340 510 * Policy of how far to continue compilation when no errors have occurred.
jjg@1340 511 * Set this to maximum CompileState (GENERATE) to perform full compilation.
jjg@1340 512 * Set this lower to perform partial compilation, such as -proc:only.
jjg@1340 513 */
jjg@1340 514 public CompileState shouldStopPolicyIfNoError;
jjg@1340 515
jjg@1340 516 /** A queue of all as yet unattributed classes.oLo
duke@1 517 */
duke@1 518 public Todo todo;
duke@1 519
jjg@1096 520 /** A list of items to be closed when the compilation is complete.
jjg@1096 521 */
jjg@1096 522 public List<Closeable> closeables = List.nil();
jjg@1096 523
jjg@257 524 /** Ordered list of compiler phases for each compilation unit. */
jjg@310 525 public enum CompileState {
jjg@1340 526 INIT(0),
jjg@257 527 PARSE(1),
jjg@257 528 ENTER(2),
jjg@257 529 PROCESS(3),
jjg@257 530 ATTR(4),
jjg@257 531 FLOW(5),
jjg@257 532 TRANSTYPES(6),
rfield@1380 533 UNLAMBDA(7),
rfield@1380 534 LOWER(8),
rfield@1380 535 GENERATE(9);
rfield@1380 536
jjg@77 537 CompileState(int value) {
jjg@77 538 this.value = value;
jjg@77 539 }
jjg@1340 540 boolean isAfter(CompileState other) {
jjg@1340 541 return value > other.value;
jjg@1340 542 }
jjg@1340 543 public static CompileState max(CompileState a, CompileState b) {
jjg@1340 544 return a.value > b.value ? a : b;
jjg@77 545 }
jjg@77 546 private int value;
jjg@77 547 };
jjg@257 548 /** Partial map to record which compiler phases have been executed
jjg@257 549 * for each compilation unit. Used for ATTR and FLOW phases.
jjg@257 550 */
jjg@77 551 protected class CompileStates extends HashMap<Env<AttrContext>,CompileState> {
jjg@198 552 private static final long serialVersionUID = 1812267524140424433L;
jjg@77 553 boolean isDone(Env<AttrContext> env, CompileState cs) {
jjg@77 554 CompileState ecs = get(env);
jjg@1340 555 return (ecs != null) && !cs.isAfter(ecs);
jjg@77 556 }
jjg@77 557 }
jjg@77 558 private CompileStates compileStates = new CompileStates();
duke@1 559
duke@1 560 /** The set of currently compiled inputfiles, needed to ensure
duke@1 561 * we don't accidentally overwrite an input file when -s is set.
duke@1 562 * initialized by `compile'.
duke@1 563 */
duke@1 564 protected Set<JavaFileObject> inputFiles = new HashSet<JavaFileObject>();
duke@1 565
jjg@257 566 protected boolean shouldStop(CompileState cs) {
jjg@1340 567 CompileState shouldStopPolicy = (errorCount() > 0 || unrecoverableError())
jjg@1340 568 ? shouldStopPolicyIfError
jjg@1340 569 : shouldStopPolicyIfNoError;
jjg@1340 570 return cs.isAfter(shouldStopPolicy);
jjg@257 571 }
jjg@257 572
duke@1 573 /** The number of errors reported so far.
duke@1 574 */
duke@1 575 public int errorCount() {
duke@1 576 if (delegateCompiler != null && delegateCompiler != this)
duke@1 577 return delegateCompiler.errorCount();
jjg@215 578 else {
jjg@215 579 if (werror && log.nerrors == 0 && log.nwarnings > 0) {
jjg@215 580 log.error("warnings.and.werror");
jjg@215 581 }
jjg@215 582 }
jjg@642 583 return log.nerrors;
duke@1 584 }
duke@1 585
jjg@257 586 protected final <T> Queue<T> stopIfError(CompileState cs, Queue<T> queue) {
jjg@257 587 return shouldStop(cs) ? ListBuffer.<T>lb() : queue;
duke@1 588 }
duke@1 589
jjg@257 590 protected final <T> List<T> stopIfError(CompileState cs, List<T> list) {
jjg@257 591 return shouldStop(cs) ? List.<T>nil() : list;
duke@1 592 }
duke@1 593
duke@1 594 /** The number of warnings reported so far.
duke@1 595 */
duke@1 596 public int warningCount() {
duke@1 597 if (delegateCompiler != null && delegateCompiler != this)
duke@1 598 return delegateCompiler.warningCount();
duke@1 599 else
duke@1 600 return log.nwarnings;
duke@1 601 }
duke@1 602
duke@1 603 /** Try to open input stream with given name.
duke@1 604 * Report an error if this fails.
duke@1 605 * @param filename The file name of the input stream to be opened.
duke@1 606 */
duke@1 607 public CharSequence readSource(JavaFileObject filename) {
duke@1 608 try {
duke@1 609 inputFiles.add(filename);
duke@1 610 return filename.getCharContent(false);
duke@1 611 } catch (IOException e) {
jjg@510 612 log.error("error.reading.file", filename, JavacFileManager.getMessage(e));
duke@1 613 return null;
duke@1 614 }
duke@1 615 }
duke@1 616
duke@1 617 /** Parse contents of input stream.
duke@1 618 * @param filename The name of the file from which input stream comes.
jjg@1358 619 * @param content The characters to be parsed.
duke@1 620 */
duke@1 621 protected JCCompilationUnit parse(JavaFileObject filename, CharSequence content) {
duke@1 622 long msec = now();
duke@1 623 JCCompilationUnit tree = make.TopLevel(List.<JCTree.JCAnnotation>nil(),
duke@1 624 null, List.<JCTree>nil());
duke@1 625 if (content != null) {
duke@1 626 if (verbose) {
jjg@909 627 log.printVerbose("parsing.started", filename);
duke@1 628 }
jjg@1210 629 if (!taskListener.isEmpty()) {
duke@1 630 TaskEvent e = new TaskEvent(TaskEvent.Kind.PARSE, filename);
duke@1 631 taskListener.started(e);
duke@1 632 }
jjg@111 633 Parser parser = parserFactory.newParser(content, keepComments(), genEndPos, lineDebugInfo);
jjg@111 634 tree = parser.parseCompilationUnit();
duke@1 635 if (verbose) {
jjg@909 636 log.printVerbose("parsing.done", Long.toString(elapsed(msec)));
duke@1 637 }
duke@1 638 }
duke@1 639
duke@1 640 tree.sourcefile = filename;
duke@1 641
jjg@1210 642 if (content != null && !taskListener.isEmpty()) {
duke@1 643 TaskEvent e = new TaskEvent(TaskEvent.Kind.PARSE, tree);
duke@1 644 taskListener.finished(e);
duke@1 645 }
duke@1 646
duke@1 647 return tree;
duke@1 648 }
duke@1 649 // where
duke@1 650 public boolean keepComments = false;
duke@1 651 protected boolean keepComments() {
duke@1 652 return keepComments || sourceOutput || stubOutput;
duke@1 653 }
duke@1 654
duke@1 655
duke@1 656 /** Parse contents of file.
duke@1 657 * @param filename The name of the file to be parsed.
duke@1 658 */
duke@1 659 @Deprecated
jjg@663 660 public JCTree.JCCompilationUnit parse(String filename) {
duke@1 661 JavacFileManager fm = (JavacFileManager)fileManager;
duke@1 662 return parse(fm.getJavaFileObjectsFromStrings(List.of(filename)).iterator().next());
duke@1 663 }
duke@1 664
duke@1 665 /** Parse contents of file.
duke@1 666 * @param filename The name of the file to be parsed.
duke@1 667 */
duke@1 668 public JCTree.JCCompilationUnit parse(JavaFileObject filename) {
duke@1 669 JavaFileObject prev = log.useSource(filename);
duke@1 670 try {
duke@1 671 JCTree.JCCompilationUnit t = parse(filename, readSource(filename));
duke@1 672 if (t.endPositions != null)
duke@1 673 log.setEndPosTable(filename, t.endPositions);
duke@1 674 return t;
duke@1 675 } finally {
duke@1 676 log.useSource(prev);
duke@1 677 }
duke@1 678 }
duke@1 679
jjg@937 680 /** Resolve an identifier which may be the binary name of a class or
jjg@937 681 * the Java name of a class or package.
jjg@937 682 * @param name The name to resolve
jjg@937 683 */
jjg@937 684 public Symbol resolveBinaryNameOrIdent(String name) {
jjg@937 685 try {
jjg@937 686 Name flatname = names.fromString(name.replace("/", "."));
jjg@937 687 return reader.loadClass(flatname);
jjg@937 688 } catch (CompletionFailure ignore) {
jjg@937 689 return resolveIdent(name);
jjg@937 690 }
jjg@937 691 }
jjg@937 692
duke@1 693 /** Resolve an identifier.
duke@1 694 * @param name The identifier to resolve
duke@1 695 */
duke@1 696 public Symbol resolveIdent(String name) {
duke@1 697 if (name.equals(""))
duke@1 698 return syms.errSymbol;
duke@1 699 JavaFileObject prev = log.useSource(null);
duke@1 700 try {
duke@1 701 JCExpression tree = null;
duke@1 702 for (String s : name.split("\\.", -1)) {
duke@1 703 if (!SourceVersion.isIdentifier(s)) // TODO: check for keywords
duke@1 704 return syms.errSymbol;
duke@1 705 tree = (tree == null) ? make.Ident(names.fromString(s))
duke@1 706 : make.Select(tree, names.fromString(s));
duke@1 707 }
duke@1 708 JCCompilationUnit toplevel =
duke@1 709 make.TopLevel(List.<JCTree.JCAnnotation>nil(), null, List.<JCTree>nil());
duke@1 710 toplevel.packge = syms.unnamedPackage;
duke@1 711 return attr.attribIdent(tree, toplevel);
duke@1 712 } finally {
duke@1 713 log.useSource(prev);
duke@1 714 }
duke@1 715 }
duke@1 716
duke@1 717 /** Emit plain Java source for a class.
duke@1 718 * @param env The attribution environment of the outermost class
duke@1 719 * containing this class.
duke@1 720 * @param cdef The class definition to be printed.
duke@1 721 */
duke@1 722 JavaFileObject printSource(Env<AttrContext> env, JCClassDecl cdef) throws IOException {
duke@1 723 JavaFileObject outFile
duke@1 724 = fileManager.getJavaFileForOutput(CLASS_OUTPUT,
duke@1 725 cdef.sym.flatname.toString(),
duke@1 726 JavaFileObject.Kind.SOURCE,
duke@1 727 null);
duke@1 728 if (inputFiles.contains(outFile)) {
duke@1 729 log.error(cdef.pos(), "source.cant.overwrite.input.file", outFile);
duke@1 730 return null;
duke@1 731 } else {
duke@1 732 BufferedWriter out = new BufferedWriter(outFile.openWriter());
duke@1 733 try {
duke@1 734 new Pretty(out, true).printUnit(env.toplevel, cdef);
duke@1 735 if (verbose)
jjg@909 736 log.printVerbose("wrote.file", outFile);
duke@1 737 } finally {
duke@1 738 out.close();
duke@1 739 }
duke@1 740 return outFile;
duke@1 741 }
duke@1 742 }
duke@1 743
duke@1 744 /** Generate code and emit a class file for a given class
duke@1 745 * @param env The attribution environment of the outermost class
duke@1 746 * containing this class.
duke@1 747 * @param cdef The class definition from which code is generated.
duke@1 748 */
duke@1 749 JavaFileObject genCode(Env<AttrContext> env, JCClassDecl cdef) throws IOException {
duke@1 750 try {
jjg@257 751 if (gen.genClass(env, cdef) && (errorCount() == 0))
duke@1 752 return writer.writeClass(cdef.sym);
duke@1 753 } catch (ClassWriter.PoolOverflow ex) {
duke@1 754 log.error(cdef.pos(), "limit.pool");
duke@1 755 } catch (ClassWriter.StringOverflow ex) {
duke@1 756 log.error(cdef.pos(), "limit.string.overflow",
duke@1 757 ex.value.substring(0, 20));
duke@1 758 } catch (CompletionFailure ex) {
duke@1 759 chk.completionError(cdef.pos(), ex);
duke@1 760 }
duke@1 761 return null;
duke@1 762 }
duke@1 763
duke@1 764 /** Complete compiling a source file that has been accessed
duke@1 765 * by the class file reader.
duke@1 766 * @param c The class the source file of which needs to be compiled.
duke@1 767 */
duke@1 768 public void complete(ClassSymbol c) throws CompletionFailure {
duke@1 769 // System.err.println("completing " + c);//DEBUG
duke@1 770 if (completionFailureName == c.fullname) {
duke@1 771 throw new CompletionFailure(c, "user-selected completion failure by class name");
duke@1 772 }
duke@1 773 JCCompilationUnit tree;
duke@1 774 JavaFileObject filename = c.classfile;
duke@1 775 JavaFileObject prev = log.useSource(filename);
duke@1 776
duke@1 777 try {
duke@1 778 tree = parse(filename, filename.getCharContent(false));
duke@1 779 } catch (IOException e) {
jjg@510 780 log.error("error.reading.file", filename, JavacFileManager.getMessage(e));
duke@1 781 tree = make.TopLevel(List.<JCTree.JCAnnotation>nil(), null, List.<JCTree>nil());
duke@1 782 } finally {
duke@1 783 log.useSource(prev);
duke@1 784 }
duke@1 785
jjg@1210 786 if (!taskListener.isEmpty()) {
duke@1 787 TaskEvent e = new TaskEvent(TaskEvent.Kind.ENTER, tree);
duke@1 788 taskListener.started(e);
duke@1 789 }
duke@1 790
duke@1 791 enter.complete(List.of(tree), c);
duke@1 792
jjg@1210 793 if (!taskListener.isEmpty()) {
duke@1 794 TaskEvent e = new TaskEvent(TaskEvent.Kind.ENTER, tree);
duke@1 795 taskListener.finished(e);
duke@1 796 }
duke@1 797
duke@1 798 if (enter.getEnv(c) == null) {
duke@1 799 boolean isPkgInfo =
duke@1 800 tree.sourcefile.isNameCompatible("package-info",
duke@1 801 JavaFileObject.Kind.SOURCE);
duke@1 802 if (isPkgInfo) {
duke@1 803 if (enter.getEnv(tree.packge) == null) {
jjg@12 804 JCDiagnostic diag =
jjg@12 805 diagFactory.fragment("file.does.not.contain.package",
duke@1 806 c.location());
jjg@12 807 throw reader.new BadClassFile(c, filename, diag);
duke@1 808 }
duke@1 809 } else {
jjg@12 810 JCDiagnostic diag =
jjg@12 811 diagFactory.fragment("file.doesnt.contain.class",
jjg@12 812 c.getQualifiedName());
jjg@12 813 throw reader.new BadClassFile(c, filename, diag);
duke@1 814 }
duke@1 815 }
duke@1 816
duke@1 817 implicitSourceFilesRead = true;
duke@1 818 }
duke@1 819
duke@1 820 /** Track when the JavaCompiler has been used to compile something. */
duke@1 821 private boolean hasBeenUsed = false;
duke@1 822 private long start_msec = 0;
duke@1 823 public long elapsed_msec = 0;
duke@1 824
duke@1 825 public void compile(List<JavaFileObject> sourceFileObject)
duke@1 826 throws Throwable {
duke@1 827 compile(sourceFileObject, List.<String>nil(), null);
duke@1 828 }
duke@1 829
duke@1 830 /**
duke@1 831 * Main method: compile a list of files, return all compiled classes
duke@1 832 *
duke@1 833 * @param sourceFileObjects file objects to be compiled
duke@1 834 * @param classnames class names to process for annotations
duke@1 835 * @param processors user provided annotation processors to bypass
duke@1 836 * discovery, {@code null} means that no processors were provided
duke@1 837 */
duke@1 838 public void compile(List<JavaFileObject> sourceFileObjects,
duke@1 839 List<String> classnames,
duke@1 840 Iterable<? extends Processor> processors)
duke@1 841 {
duke@1 842 if (processors != null && processors.iterator().hasNext())
duke@1 843 explicitAnnotationProcessingRequested = true;
duke@1 844 // as a JavaCompiler can only be used once, throw an exception if
duke@1 845 // it has been used before.
duke@1 846 if (hasBeenUsed)
duke@1 847 throw new AssertionError("attempt to reuse JavaCompiler");
duke@1 848 hasBeenUsed = true;
duke@1 849
jjg@897 850 // forcibly set the equivalent of -Xlint:-options, so that no further
jjg@897 851 // warnings about command line options are generated from this point on
jjg@1157 852 options.put(XLINT_CUSTOM.text + "-" + LintCategory.OPTIONS.option, "true");
jjg@1157 853 options.remove(XLINT_CUSTOM.text + LintCategory.OPTIONS.option);
jjg@897 854
duke@1 855 start_msec = now();
jjg@757 856
duke@1 857 try {
duke@1 858 initProcessAnnotations(processors);
duke@1 859
duke@1 860 // These method calls must be chained to avoid memory leaks
jjg@257 861 delegateCompiler =
jjg@257 862 processAnnotations(
jjg@257 863 enterTrees(stopIfError(CompileState.PARSE, parseFiles(sourceFileObjects))),
jjg@257 864 classnames);
duke@1 865
duke@1 866 delegateCompiler.compile2();
duke@1 867 delegateCompiler.close();
duke@1 868 elapsed_msec = delegateCompiler.elapsed_msec;
duke@1 869 } catch (Abort ex) {
duke@1 870 if (devVerbose)
jjg@757 871 ex.printStackTrace(System.err);
jjg@372 872 } finally {
jjg@372 873 if (procEnvImpl != null)
jjg@372 874 procEnvImpl.close();
duke@1 875 }
duke@1 876 }
duke@1 877
duke@1 878 /**
duke@1 879 * The phases following annotation processing: attribution,
duke@1 880 * desugar, and finally code generation.
duke@1 881 */
duke@1 882 private void compile2() {
duke@1 883 try {
duke@1 884 switch (compilePolicy) {
duke@1 885 case ATTR_ONLY:
duke@1 886 attribute(todo);
duke@1 887 break;
duke@1 888
duke@1 889 case CHECK_ONLY:
duke@1 890 flow(attribute(todo));
duke@1 891 break;
duke@1 892
duke@1 893 case SIMPLE:
duke@1 894 generate(desugar(flow(attribute(todo))));
duke@1 895 break;
duke@1 896
jjg@119 897 case BY_FILE: {
jjg@119 898 Queue<Queue<Env<AttrContext>>> q = todo.groupByFile();
jjg@257 899 while (!q.isEmpty() && !shouldStop(CompileState.ATTR)) {
jjg@119 900 generate(desugar(flow(attribute(q.remove()))));
jjg@119 901 }
jjg@119 902 }
duke@1 903 break;
duke@1 904
duke@1 905 case BY_TODO:
jjg@119 906 while (!todo.isEmpty())
jjg@119 907 generate(desugar(flow(attribute(todo.remove()))));
duke@1 908 break;
duke@1 909
duke@1 910 default:
jjg@816 911 Assert.error("unknown compile policy");
duke@1 912 }
duke@1 913 } catch (Abort ex) {
duke@1 914 if (devVerbose)
jjg@757 915 ex.printStackTrace(System.err);
duke@1 916 }
duke@1 917
duke@1 918 if (verbose) {
jjg@70 919 elapsed_msec = elapsed(start_msec);
jjg@909 920 log.printVerbose("total", Long.toString(elapsed_msec));
duke@1 921 }
duke@1 922
duke@1 923 reportDeferredDiagnostics();
duke@1 924
duke@1 925 if (!log.hasDiagnosticListener()) {
duke@1 926 printCount("error", errorCount());
duke@1 927 printCount("warn", warningCount());
duke@1 928 }
duke@1 929 }
duke@1 930
duke@1 931 private List<JCClassDecl> rootClasses;
duke@1 932
duke@1 933 /**
duke@1 934 * Parses a list of files.
duke@1 935 */
jjg@663 936 public List<JCCompilationUnit> parseFiles(Iterable<JavaFileObject> fileObjects) {
jjg@257 937 if (shouldStop(CompileState.PARSE))
duke@1 938 return List.nil();
duke@1 939
duke@1 940 //parse all files
duke@1 941 ListBuffer<JCCompilationUnit> trees = lb();
sundar@678 942 Set<JavaFileObject> filesSoFar = new HashSet<JavaFileObject>();
sundar@678 943 for (JavaFileObject fileObject : fileObjects) {
sundar@678 944 if (!filesSoFar.contains(fileObject)) {
sundar@678 945 filesSoFar.add(fileObject);
sundar@678 946 trees.append(parse(fileObject));
sundar@678 947 }
sundar@678 948 }
duke@1 949 return trees.toList();
duke@1 950 }
duke@1 951
duke@1 952 /**
jjg@1340 953 * Enter the symbols found in a list of parse trees if the compilation
jjg@1340 954 * is expected to proceed beyond anno processing into attr.
jjg@1340 955 * As a side-effect, this puts elements on the "todo" list.
jjg@1340 956 * Also stores a list of all top level classes in rootClasses.
jjg@1340 957 */
jjg@1340 958 public List<JCCompilationUnit> enterTreesIfNeeded(List<JCCompilationUnit> roots) {
jjg@1340 959 if (shouldStop(CompileState.ATTR))
jjg@1340 960 return List.nil();
jjg@1340 961 return enterTrees(roots);
jjg@1340 962 }
jjg@1340 963
jjg@1340 964 /**
duke@1 965 * Enter the symbols found in a list of parse trees.
duke@1 966 * As a side-effect, this puts elements on the "todo" list.
duke@1 967 * Also stores a list of all top level classes in rootClasses.
duke@1 968 */
duke@1 969 public List<JCCompilationUnit> enterTrees(List<JCCompilationUnit> roots) {
duke@1 970 //enter symbols for all files
jjg@1210 971 if (!taskListener.isEmpty()) {
duke@1 972 for (JCCompilationUnit unit: roots) {
duke@1 973 TaskEvent e = new TaskEvent(TaskEvent.Kind.ENTER, unit);
duke@1 974 taskListener.started(e);
duke@1 975 }
duke@1 976 }
duke@1 977
duke@1 978 enter.main(roots);
duke@1 979
jjg@1210 980 if (!taskListener.isEmpty()) {
duke@1 981 for (JCCompilationUnit unit: roots) {
duke@1 982 TaskEvent e = new TaskEvent(TaskEvent.Kind.ENTER, unit);
duke@1 983 taskListener.finished(e);
duke@1 984 }
duke@1 985 }
duke@1 986
duke@1 987 //If generating source, remember the classes declared in
duke@1 988 //the original compilation units listed on the command line.
duke@1 989 if (sourceOutput || stubOutput) {
duke@1 990 ListBuffer<JCClassDecl> cdefs = lb();
duke@1 991 for (JCCompilationUnit unit : roots) {
duke@1 992 for (List<JCTree> defs = unit.defs;
duke@1 993 defs.nonEmpty();
duke@1 994 defs = defs.tail) {
duke@1 995 if (defs.head instanceof JCClassDecl)
duke@1 996 cdefs.append((JCClassDecl)defs.head);
duke@1 997 }
duke@1 998 }
duke@1 999 rootClasses = cdefs.toList();
duke@1 1000 }
jjg@654 1001
jjg@654 1002 // Ensure the input files have been recorded. Although this is normally
jjg@654 1003 // done by readSource, it may not have been done if the trees were read
jjg@654 1004 // in a prior round of annotation processing, and the trees have been
jjg@654 1005 // cleaned and are being reused.
jjg@654 1006 for (JCCompilationUnit unit : roots) {
jjg@654 1007 inputFiles.add(unit.sourcefile);
jjg@654 1008 }
jjg@654 1009
duke@1 1010 return roots;
duke@1 1011 }
duke@1 1012
duke@1 1013 /**
duke@1 1014 * Set to true to enable skeleton annotation processing code.
duke@1 1015 * Currently, we assume this variable will be replaced more
duke@1 1016 * advanced logic to figure out if annotation processing is
duke@1 1017 * needed.
duke@1 1018 */
duke@1 1019 boolean processAnnotations = false;
duke@1 1020
duke@1 1021 /**
duke@1 1022 * Object to handle annotation processing.
duke@1 1023 */
jjg@372 1024 private JavacProcessingEnvironment procEnvImpl = null;
duke@1 1025
duke@1 1026 /**
duke@1 1027 * Check if we should process annotations.
duke@1 1028 * If so, and if no scanner is yet registered, then set up the DocCommentScanner
duke@1 1029 * to catch doc comments, and set keepComments so the parser records them in
duke@1 1030 * the compilation unit.
duke@1 1031 *
duke@1 1032 * @param processors user provided annotation processors to bypass
duke@1 1033 * discovery, {@code null} means that no processors were provided
duke@1 1034 */
jjg@663 1035 public void initProcessAnnotations(Iterable<? extends Processor> processors) {
duke@1 1036 // Process annotations if processing is not disabled and there
duke@1 1037 // is at least one Processor available.
jjg@700 1038 if (options.isSet(PROC, "none")) {
duke@1 1039 processAnnotations = false;
duke@1 1040 } else if (procEnvImpl == null) {
duke@1 1041 procEnvImpl = new JavacProcessingEnvironment(context, processors);
duke@1 1042 processAnnotations = procEnvImpl.atLeastOneProcessor();
duke@1 1043
duke@1 1044 if (processAnnotations) {
duke@1 1045 options.put("save-parameter-names", "save-parameter-names");
duke@1 1046 reader.saveParameterNames = true;
duke@1 1047 keepComments = true;
jjg@695 1048 genEndPos = true;
jjg@1210 1049 if (!taskListener.isEmpty())
duke@1 1050 taskListener.started(new TaskEvent(TaskEvent.Kind.ANNOTATION_PROCESSING));
mcimadamore@1347 1051 log.deferAll();
duke@1 1052 } else { // free resources
duke@1 1053 procEnvImpl.close();
duke@1 1054 }
duke@1 1055 }
duke@1 1056 }
duke@1 1057
duke@1 1058 // TODO: called by JavacTaskImpl
jjg@663 1059 public JavaCompiler processAnnotations(List<JCCompilationUnit> roots) {
duke@1 1060 return processAnnotations(roots, List.<String>nil());
duke@1 1061 }
duke@1 1062
duke@1 1063 /**
jjg@1210 1064 * Process any annotations found in the specified compilation units.
duke@1 1065 * @param roots a list of compilation units
duke@1 1066 * @return an instance of the compiler in which to complete the compilation
duke@1 1067 */
jjg@664 1068 // Implementation note: when this method is called, log.deferredDiagnostics
jjg@664 1069 // will have been set true by initProcessAnnotations, meaning that any diagnostics
jjg@664 1070 // that are reported will go into the log.deferredDiagnostics queue.
jjg@664 1071 // By the time this method exits, log.deferDiagnostics must be set back to false,
jjg@664 1072 // and all deferredDiagnostics must have been handled: i.e. either reported
jjg@664 1073 // or determined to be transient, and therefore suppressed.
duke@1 1074 public JavaCompiler processAnnotations(List<JCCompilationUnit> roots,
jjg@663 1075 List<String> classnames) {
jjg@257 1076 if (shouldStop(CompileState.PROCESS)) {
jjg@642 1077 // Errors were encountered.
jjg@664 1078 // Unless all the errors are resolve errors, the errors were parse errors
jjg@642 1079 // or other errors during enter which cannot be fixed by running
jjg@642 1080 // any annotation processors.
jjg@664 1081 if (unrecoverableError()) {
jjg@664 1082 log.reportDeferredDiagnostics();
duke@1 1083 return this;
jjg@664 1084 }
duke@1 1085 }
duke@1 1086
duke@1 1087 // ASSERT: processAnnotations and procEnvImpl should have been set up by
duke@1 1088 // by initProcessAnnotations
duke@1 1089
duke@1 1090 // NOTE: The !classnames.isEmpty() checks should be refactored to Main.
duke@1 1091
duke@1 1092 if (!processAnnotations) {
duke@1 1093 // If there are no annotation processors present, and
duke@1 1094 // annotation processing is to occur with compilation,
duke@1 1095 // emit a warning.
jjg@700 1096 if (options.isSet(PROC, "only")) {
duke@1 1097 log.warning("proc.proc-only.requested.no.procs");
duke@1 1098 todo.clear();
duke@1 1099 }
duke@1 1100 // If not processing annotations, classnames must be empty
duke@1 1101 if (!classnames.isEmpty()) {
duke@1 1102 log.error("proc.no.explicit.annotation.processing.requested",
duke@1 1103 classnames);
duke@1 1104 }
jjg@664 1105 log.reportDeferredDiagnostics();
duke@1 1106 return this; // continue regular compilation
duke@1 1107 }
duke@1 1108
duke@1 1109 try {
duke@1 1110 List<ClassSymbol> classSymbols = List.nil();
duke@1 1111 List<PackageSymbol> pckSymbols = List.nil();
duke@1 1112 if (!classnames.isEmpty()) {
duke@1 1113 // Check for explicit request for annotation
duke@1 1114 // processing
duke@1 1115 if (!explicitAnnotationProcessingRequested()) {
duke@1 1116 log.error("proc.no.explicit.annotation.processing.requested",
duke@1 1117 classnames);
jjg@664 1118 log.reportDeferredDiagnostics();
duke@1 1119 return this; // TODO: Will this halt compilation?
duke@1 1120 } else {
duke@1 1121 boolean errors = false;
duke@1 1122 for (String nameStr : classnames) {
jjg@937 1123 Symbol sym = resolveBinaryNameOrIdent(nameStr);
jjh@1197 1124 if (sym == null ||
jjh@1197 1125 (sym.kind == Kinds.PCK && !processPcks) ||
jjh@1197 1126 sym.kind == Kinds.ABSENT_TYP) {
duke@1 1127 log.error("proc.cant.find.class", nameStr);
duke@1 1128 errors = true;
duke@1 1129 continue;
duke@1 1130 }
duke@1 1131 try {
duke@1 1132 if (sym.kind == Kinds.PCK)
duke@1 1133 sym.complete();
duke@1 1134 if (sym.exists()) {
duke@1 1135 if (sym.kind == Kinds.PCK)
duke@1 1136 pckSymbols = pckSymbols.prepend((PackageSymbol)sym);
duke@1 1137 else
duke@1 1138 classSymbols = classSymbols.prepend((ClassSymbol)sym);
duke@1 1139 continue;
duke@1 1140 }
jjg@816 1141 Assert.check(sym.kind == Kinds.PCK);
duke@1 1142 log.warning("proc.package.does.not.exist", nameStr);
duke@1 1143 pckSymbols = pckSymbols.prepend((PackageSymbol)sym);
duke@1 1144 } catch (CompletionFailure e) {
duke@1 1145 log.error("proc.cant.find.class", nameStr);
duke@1 1146 errors = true;
duke@1 1147 continue;
duke@1 1148 }
duke@1 1149 }
jjg@664 1150 if (errors) {
jjg@664 1151 log.reportDeferredDiagnostics();
duke@1 1152 return this;
jjg@664 1153 }
duke@1 1154 }
duke@1 1155 }
jjg@372 1156 try {
jjg@372 1157 JavaCompiler c = procEnvImpl.doProcessing(context, roots, classSymbols, pckSymbols);
jjg@372 1158 if (c != this)
jjg@372 1159 annotationProcessingOccurred = c.annotationProcessingOccurred = true;
jjg@664 1160 // doProcessing will have handled deferred diagnostics
mcimadamore@1347 1161 Assert.check(c.log.deferredDiagFilter == null
jjg@816 1162 && c.log.deferredDiagnostics.size() == 0);
jjg@372 1163 return c;
jjg@372 1164 } finally {
jjg@372 1165 procEnvImpl.close();
jjg@372 1166 }
duke@1 1167 } catch (CompletionFailure ex) {
jjg@12 1168 log.error("cant.access", ex.sym, ex.getDetailValue());
jjg@664 1169 log.reportDeferredDiagnostics();
duke@1 1170 return this;
jjg@664 1171 }
jjg@664 1172 }
duke@1 1173
jjg@664 1174 private boolean unrecoverableError() {
jjg@664 1175 for (JCDiagnostic d: log.deferredDiagnostics) {
jjg@726 1176 if (d.getKind() == JCDiagnostic.Kind.ERROR && !d.isFlagSet(RECOVERABLE))
jjg@664 1177 return true;
duke@1 1178 }
jjg@664 1179 return false;
duke@1 1180 }
duke@1 1181
duke@1 1182 boolean explicitAnnotationProcessingRequested() {
duke@1 1183 return
duke@1 1184 explicitAnnotationProcessingRequested ||
jjg@902 1185 explicitAnnotationProcessingRequested(options);
jjg@902 1186 }
jjg@902 1187
jjg@902 1188 static boolean explicitAnnotationProcessingRequested(Options options) {
jjg@902 1189 return
jjg@700 1190 options.isSet(PROCESSOR) ||
jjg@700 1191 options.isSet(PROCESSORPATH) ||
jjg@700 1192 options.isSet(PROC, "only") ||
jjg@700 1193 options.isSet(XPRINT);
duke@1 1194 }
duke@1 1195
duke@1 1196 /**
duke@1 1197 * Attribute a list of parse trees, such as found on the "todo" list.
duke@1 1198 * Note that attributing classes may cause additional files to be
duke@1 1199 * parsed and entered via the SourceCompleter.
duke@1 1200 * Attribution of the entries in the list does not stop if any errors occur.
duke@1 1201 * @returns a list of environments for attributd classes.
duke@1 1202 */
jjg@70 1203 public Queue<Env<AttrContext>> attribute(Queue<Env<AttrContext>> envs) {
duke@1 1204 ListBuffer<Env<AttrContext>> results = lb();
jjg@70 1205 while (!envs.isEmpty())
jjg@70 1206 results.append(attribute(envs.remove()));
jjg@257 1207 return stopIfError(CompileState.ATTR, results);
duke@1 1208 }
duke@1 1209
duke@1 1210 /**
duke@1 1211 * Attribute a parse tree.
duke@1 1212 * @returns the attributed parse tree
duke@1 1213 */
duke@1 1214 public Env<AttrContext> attribute(Env<AttrContext> env) {
jjg@77 1215 if (compileStates.isDone(env, CompileState.ATTR))
jjg@77 1216 return env;
jjg@77 1217
duke@1 1218 if (verboseCompilePolicy)
jjg@604 1219 printNote("[attribute " + env.enclClass.sym + "]");
duke@1 1220 if (verbose)
jjg@909 1221 log.printVerbose("checking.attribution", env.enclClass.sym);
duke@1 1222
jjg@1210 1223 if (!taskListener.isEmpty()) {
duke@1 1224 TaskEvent e = new TaskEvent(TaskEvent.Kind.ANALYZE, env.toplevel, env.enclClass.sym);
duke@1 1225 taskListener.started(e);
duke@1 1226 }
duke@1 1227
duke@1 1228 JavaFileObject prev = log.useSource(
duke@1 1229 env.enclClass.sym.sourcefile != null ?
duke@1 1230 env.enclClass.sym.sourcefile :
duke@1 1231 env.toplevel.sourcefile);
duke@1 1232 try {
jjg@931 1233 attr.attrib(env);
mcimadamore@676 1234 if (errorCount() > 0 && !shouldStop(CompileState.ATTR)) {
mcimadamore@676 1235 //if in fail-over mode, ensure that AST expression nodes
mcimadamore@676 1236 //are correctly initialized (e.g. they have a type/symbol)
mcimadamore@1348 1237 attr.postAttr(env.tree);
mcimadamore@676 1238 }
jjg@77 1239 compileStates.put(env, CompileState.ATTR);
duke@1 1240 }
duke@1 1241 finally {
duke@1 1242 log.useSource(prev);
duke@1 1243 }
duke@1 1244
duke@1 1245 return env;
duke@1 1246 }
duke@1 1247
duke@1 1248 /**
duke@1 1249 * Perform dataflow checks on attributed parse trees.
duke@1 1250 * These include checks for definite assignment and unreachable statements.
duke@1 1251 * If any errors occur, an empty list will be returned.
duke@1 1252 * @returns the list of attributed parse trees
duke@1 1253 */
jjg@70 1254 public Queue<Env<AttrContext>> flow(Queue<Env<AttrContext>> envs) {
duke@1 1255 ListBuffer<Env<AttrContext>> results = lb();
jjg@70 1256 for (Env<AttrContext> env: envs) {
jjg@70 1257 flow(env, results);
duke@1 1258 }
jjg@257 1259 return stopIfError(CompileState.FLOW, results);
duke@1 1260 }
duke@1 1261
duke@1 1262 /**
duke@1 1263 * Perform dataflow checks on an attributed parse tree.
duke@1 1264 */
jjg@70 1265 public Queue<Env<AttrContext>> flow(Env<AttrContext> env) {
duke@1 1266 ListBuffer<Env<AttrContext>> results = lb();
duke@1 1267 flow(env, results);
jjg@257 1268 return stopIfError(CompileState.FLOW, results);
duke@1 1269 }
duke@1 1270
duke@1 1271 /**
duke@1 1272 * Perform dataflow checks on an attributed parse tree.
duke@1 1273 */
jjg@119 1274 protected void flow(Env<AttrContext> env, Queue<Env<AttrContext>> results) {
duke@1 1275 try {
jjg@257 1276 if (shouldStop(CompileState.FLOW))
duke@1 1277 return;
duke@1 1278
jjg@77 1279 if (relax || compileStates.isDone(env, CompileState.FLOW)) {
jjg@119 1280 results.add(env);
duke@1 1281 return;
duke@1 1282 }
duke@1 1283
duke@1 1284 if (verboseCompilePolicy)
jjg@257 1285 printNote("[flow " + env.enclClass.sym + "]");
duke@1 1286 JavaFileObject prev = log.useSource(
duke@1 1287 env.enclClass.sym.sourcefile != null ?
duke@1 1288 env.enclClass.sym.sourcefile :
duke@1 1289 env.toplevel.sourcefile);
duke@1 1290 try {
duke@1 1291 make.at(Position.FIRSTPOS);
duke@1 1292 TreeMaker localMake = make.forToplevel(env.toplevel);
mcimadamore@617 1293 flow.analyzeTree(env, localMake);
jjg@77 1294 compileStates.put(env, CompileState.FLOW);
duke@1 1295
jjg@257 1296 if (shouldStop(CompileState.FLOW))
duke@1 1297 return;
duke@1 1298
jjg@119 1299 results.add(env);
duke@1 1300 }
duke@1 1301 finally {
duke@1 1302 log.useSource(prev);
duke@1 1303 }
duke@1 1304 }
duke@1 1305 finally {
jjg@1210 1306 if (!taskListener.isEmpty()) {
duke@1 1307 TaskEvent e = new TaskEvent(TaskEvent.Kind.ANALYZE, env.toplevel, env.enclClass.sym);
duke@1 1308 taskListener.finished(e);
duke@1 1309 }
duke@1 1310 }
duke@1 1311 }
duke@1 1312
duke@1 1313 /**
duke@1 1314 * Prepare attributed parse trees, in conjunction with their attribution contexts,
duke@1 1315 * for source or code generation.
duke@1 1316 * If any errors occur, an empty list will be returned.
duke@1 1317 * @returns a list containing the classes to be generated
duke@1 1318 */
jjg@70 1319 public Queue<Pair<Env<AttrContext>, JCClassDecl>> desugar(Queue<Env<AttrContext>> envs) {
duke@1 1320 ListBuffer<Pair<Env<AttrContext>, JCClassDecl>> results = lb();
jjg@70 1321 for (Env<AttrContext> env: envs)
jjg@70 1322 desugar(env, results);
jjg@257 1323 return stopIfError(CompileState.FLOW, results);
duke@1 1324 }
duke@1 1325
mcimadamore@359 1326 HashMap<Env<AttrContext>, Queue<Pair<Env<AttrContext>, JCClassDecl>>> desugaredEnvs =
mcimadamore@359 1327 new HashMap<Env<AttrContext>, Queue<Pair<Env<AttrContext>, JCClassDecl>>>();
mcimadamore@359 1328
duke@1 1329 /**
duke@1 1330 * Prepare attributed parse trees, in conjunction with their attribution contexts,
duke@1 1331 * for source or code generation. If the file was not listed on the command line,
duke@1 1332 * the current implicitSourcePolicy is taken into account.
duke@1 1333 * The preparation stops as soon as an error is found.
duke@1 1334 */
jjg@77 1335 protected void desugar(final Env<AttrContext> env, Queue<Pair<Env<AttrContext>, JCClassDecl>> results) {
jjg@257 1336 if (shouldStop(CompileState.TRANSTYPES))
duke@1 1337 return;
duke@1 1338
duke@1 1339 if (implicitSourcePolicy == ImplicitSourcePolicy.NONE
duke@1 1340 && !inputFiles.contains(env.toplevel.sourcefile)) {
duke@1 1341 return;
duke@1 1342 }
duke@1 1343
mcimadamore@359 1344 if (compileStates.isDone(env, CompileState.LOWER)) {
mcimadamore@359 1345 results.addAll(desugaredEnvs.get(env));
mcimadamore@359 1346 return;
mcimadamore@359 1347 }
mcimadamore@359 1348
jjg@77 1349 /**
mcimadamore@359 1350 * Ensure that superclasses of C are desugared before C itself. This is
mcimadamore@359 1351 * required for two reasons: (i) as erasure (TransTypes) destroys
mcimadamore@359 1352 * information needed in flow analysis and (ii) as some checks carried
mcimadamore@359 1353 * out during lowering require that all synthetic fields/methods have
mcimadamore@359 1354 * already been added to C and its superclasses.
jjg@77 1355 */
jjg@77 1356 class ScanNested extends TreeScanner {
mcimadamore@95 1357 Set<Env<AttrContext>> dependencies = new LinkedHashSet<Env<AttrContext>>();
jjg@257 1358 @Override
jjg@77 1359 public void visitClassDef(JCClassDecl node) {
jjg@77 1360 Type st = types.supertype(node.sym.type);
jjg@1374 1361 if (st.hasTag(CLASS)) {
jjg@77 1362 ClassSymbol c = st.tsym.outermostClass();
jjg@77 1363 Env<AttrContext> stEnv = enter.getEnv(c);
mcimadamore@95 1364 if (stEnv != null && env != stEnv) {
mcimadamore@95 1365 if (dependencies.add(stEnv))
mcimadamore@95 1366 scan(stEnv.tree);
mcimadamore@95 1367 }
jjg@77 1368 }
jjg@77 1369 super.visitClassDef(node);
jjg@77 1370 }
duke@1 1371 }
jjg@77 1372 ScanNested scanner = new ScanNested();
jjg@77 1373 scanner.scan(env.tree);
jjg@77 1374 for (Env<AttrContext> dep: scanner.dependencies) {
mcimadamore@359 1375 if (!compileStates.isDone(dep, CompileState.FLOW))
mcimadamore@359 1376 desugaredEnvs.put(dep, desugar(flow(attribute(dep))));
jjg@77 1377 }
duke@1 1378
mcimadamore@95 1379 //We need to check for error another time as more classes might
mcimadamore@95 1380 //have been attributed and analyzed at this stage
jjg@257 1381 if (shouldStop(CompileState.TRANSTYPES))
mcimadamore@95 1382 return;
mcimadamore@95 1383
duke@1 1384 if (verboseCompilePolicy)
jjg@257 1385 printNote("[desugar " + env.enclClass.sym + "]");
duke@1 1386
duke@1 1387 JavaFileObject prev = log.useSource(env.enclClass.sym.sourcefile != null ?
duke@1 1388 env.enclClass.sym.sourcefile :
duke@1 1389 env.toplevel.sourcefile);
duke@1 1390 try {
duke@1 1391 //save tree prior to rewriting
duke@1 1392 JCTree untranslated = env.tree;
duke@1 1393
duke@1 1394 make.at(Position.FIRSTPOS);
duke@1 1395 TreeMaker localMake = make.forToplevel(env.toplevel);
duke@1 1396
duke@1 1397 if (env.tree instanceof JCCompilationUnit) {
duke@1 1398 if (!(stubOutput || sourceOutput || printFlat)) {
jjg@257 1399 if (shouldStop(CompileState.LOWER))
jjg@257 1400 return;
duke@1 1401 List<JCTree> pdef = lower.translateTopLevelClass(env, env.tree, localMake);
duke@1 1402 if (pdef.head != null) {
jjg@816 1403 Assert.check(pdef.tail.isEmpty());
jjg@70 1404 results.add(new Pair<Env<AttrContext>, JCClassDecl>(env, (JCClassDecl)pdef.head));
duke@1 1405 }
duke@1 1406 }
duke@1 1407 return;
duke@1 1408 }
duke@1 1409
duke@1 1410 if (stubOutput) {
duke@1 1411 //emit stub Java source file, only for compilation
duke@1 1412 //units enumerated explicitly on the command line
duke@1 1413 JCClassDecl cdef = (JCClassDecl)env.tree;
duke@1 1414 if (untranslated instanceof JCClassDecl &&
duke@1 1415 rootClasses.contains((JCClassDecl)untranslated) &&
duke@1 1416 ((cdef.mods.flags & (Flags.PROTECTED|Flags.PUBLIC)) != 0 ||
duke@1 1417 cdef.sym.packge().getQualifiedName() == names.java_lang)) {
jjg@70 1418 results.add(new Pair<Env<AttrContext>, JCClassDecl>(env, removeMethodBodies(cdef)));
duke@1 1419 }
duke@1 1420 return;
duke@1 1421 }
duke@1 1422
jjg@257 1423 if (shouldStop(CompileState.TRANSTYPES))
jjg@257 1424 return;
jjg@257 1425
duke@1 1426 env.tree = transTypes.translateTopLevelClass(env.tree, localMake);
mcimadamore@359 1427 compileStates.put(env, CompileState.TRANSTYPES);
duke@1 1428
rfield@1380 1429 if (shouldStop(CompileState.UNLAMBDA))
rfield@1380 1430 return;
rfield@1380 1431
rfield@1380 1432 env.tree = lambdaToMethod.translateTopLevelClass(env, env.tree, localMake);
rfield@1380 1433 compileStates.put(env, CompileState.UNLAMBDA);
rfield@1380 1434
jjg@257 1435 if (shouldStop(CompileState.LOWER))
duke@1 1436 return;
duke@1 1437
duke@1 1438 if (sourceOutput) {
duke@1 1439 //emit standard Java source file, only for compilation
duke@1 1440 //units enumerated explicitly on the command line
duke@1 1441 JCClassDecl cdef = (JCClassDecl)env.tree;
duke@1 1442 if (untranslated instanceof JCClassDecl &&
duke@1 1443 rootClasses.contains((JCClassDecl)untranslated)) {
jjg@70 1444 results.add(new Pair<Env<AttrContext>, JCClassDecl>(env, cdef));
duke@1 1445 }
duke@1 1446 return;
duke@1 1447 }
duke@1 1448
duke@1 1449 //translate out inner classes
duke@1 1450 List<JCTree> cdefs = lower.translateTopLevelClass(env, env.tree, localMake);
mcimadamore@359 1451 compileStates.put(env, CompileState.LOWER);
duke@1 1452
jjg@257 1453 if (shouldStop(CompileState.LOWER))
duke@1 1454 return;
duke@1 1455
duke@1 1456 //generate code for each class
duke@1 1457 for (List<JCTree> l = cdefs; l.nonEmpty(); l = l.tail) {
duke@1 1458 JCClassDecl cdef = (JCClassDecl)l.head;
jjg@70 1459 results.add(new Pair<Env<AttrContext>, JCClassDecl>(env, cdef));
duke@1 1460 }
duke@1 1461 }
duke@1 1462 finally {
duke@1 1463 log.useSource(prev);
duke@1 1464 }
duke@1 1465
duke@1 1466 }
duke@1 1467
duke@1 1468 /** Generates the source or class file for a list of classes.
duke@1 1469 * The decision to generate a source file or a class file is
duke@1 1470 * based upon the compiler's options.
duke@1 1471 * Generation stops if an error occurs while writing files.
duke@1 1472 */
jjg@70 1473 public void generate(Queue<Pair<Env<AttrContext>, JCClassDecl>> queue) {
jjg@70 1474 generate(queue, null);
duke@1 1475 }
duke@1 1476
jjg@119 1477 public void generate(Queue<Pair<Env<AttrContext>, JCClassDecl>> queue, Queue<JavaFileObject> results) {
jjg@257 1478 if (shouldStop(CompileState.GENERATE))
jjg@257 1479 return;
jjg@257 1480
duke@1 1481 boolean usePrintSource = (stubOutput || sourceOutput || printFlat);
duke@1 1482
jjg@70 1483 for (Pair<Env<AttrContext>, JCClassDecl> x: queue) {
duke@1 1484 Env<AttrContext> env = x.fst;
duke@1 1485 JCClassDecl cdef = x.snd;
duke@1 1486
duke@1 1487 if (verboseCompilePolicy) {
jjg@257 1488 printNote("[generate "
duke@1 1489 + (usePrintSource ? " source" : "code")
jjg@119 1490 + " " + cdef.sym + "]");
duke@1 1491 }
duke@1 1492
jjg@1210 1493 if (!taskListener.isEmpty()) {
duke@1 1494 TaskEvent e = new TaskEvent(TaskEvent.Kind.GENERATE, env.toplevel, cdef.sym);
duke@1 1495 taskListener.started(e);
duke@1 1496 }
duke@1 1497
duke@1 1498 JavaFileObject prev = log.useSource(env.enclClass.sym.sourcefile != null ?
duke@1 1499 env.enclClass.sym.sourcefile :
duke@1 1500 env.toplevel.sourcefile);
duke@1 1501 try {
duke@1 1502 JavaFileObject file;
duke@1 1503 if (usePrintSource)
duke@1 1504 file = printSource(env, cdef);
jjg@1230 1505 else {
jjg@1230 1506 if (fileManager.hasLocation(StandardLocation.NATIVE_HEADER_OUTPUT)
jjg@1230 1507 && jniWriter.needsHeader(cdef.sym)) {
jjg@1230 1508 jniWriter.write(cdef.sym);
jjg@1230 1509 }
duke@1 1510 file = genCode(env, cdef);
jjg@1230 1511 }
duke@1 1512 if (results != null && file != null)
jjg@119 1513 results.add(file);
duke@1 1514 } catch (IOException ex) {
duke@1 1515 log.error(cdef.pos(), "class.cant.write",
duke@1 1516 cdef.sym, ex.getMessage());
duke@1 1517 return;
duke@1 1518 } finally {
duke@1 1519 log.useSource(prev);
duke@1 1520 }
duke@1 1521
jjg@1210 1522 if (!taskListener.isEmpty()) {
duke@1 1523 TaskEvent e = new TaskEvent(TaskEvent.Kind.GENERATE, env.toplevel, cdef.sym);
duke@1 1524 taskListener.finished(e);
duke@1 1525 }
duke@1 1526 }
duke@1 1527 }
duke@1 1528
duke@1 1529 // where
jjg@70 1530 Map<JCCompilationUnit, Queue<Env<AttrContext>>> groupByFile(Queue<Env<AttrContext>> envs) {
duke@1 1531 // use a LinkedHashMap to preserve the order of the original list as much as possible
jjg@70 1532 Map<JCCompilationUnit, Queue<Env<AttrContext>>> map = new LinkedHashMap<JCCompilationUnit, Queue<Env<AttrContext>>>();
jjg@70 1533 for (Env<AttrContext> env: envs) {
jjg@70 1534 Queue<Env<AttrContext>> sublist = map.get(env.toplevel);
jjg@70 1535 if (sublist == null) {
jjg@70 1536 sublist = new ListBuffer<Env<AttrContext>>();
jjg@70 1537 map.put(env.toplevel, sublist);
duke@1 1538 }
jjg@70 1539 sublist.add(env);
duke@1 1540 }
duke@1 1541 return map;
duke@1 1542 }
duke@1 1543
duke@1 1544 JCClassDecl removeMethodBodies(JCClassDecl cdef) {
duke@1 1545 final boolean isInterface = (cdef.mods.flags & Flags.INTERFACE) != 0;
duke@1 1546 class MethodBodyRemover extends TreeTranslator {
jjg@257 1547 @Override
duke@1 1548 public void visitMethodDef(JCMethodDecl tree) {
duke@1 1549 tree.mods.flags &= ~Flags.SYNCHRONIZED;
duke@1 1550 for (JCVariableDecl vd : tree.params)
duke@1 1551 vd.mods.flags &= ~Flags.FINAL;
duke@1 1552 tree.body = null;
duke@1 1553 super.visitMethodDef(tree);
duke@1 1554 }
jjg@257 1555 @Override
duke@1 1556 public void visitVarDef(JCVariableDecl tree) {
duke@1 1557 if (tree.init != null && tree.init.type.constValue() == null)
duke@1 1558 tree.init = null;
duke@1 1559 super.visitVarDef(tree);
duke@1 1560 }
jjg@257 1561 @Override
duke@1 1562 public void visitClassDef(JCClassDecl tree) {
duke@1 1563 ListBuffer<JCTree> newdefs = lb();
duke@1 1564 for (List<JCTree> it = tree.defs; it.tail != null; it = it.tail) {
duke@1 1565 JCTree t = it.head;
duke@1 1566 switch (t.getTag()) {
jjg@1127 1567 case CLASSDEF:
duke@1 1568 if (isInterface ||
duke@1 1569 (((JCClassDecl) t).mods.flags & (Flags.PROTECTED|Flags.PUBLIC)) != 0 ||
duke@1 1570 (((JCClassDecl) t).mods.flags & (Flags.PRIVATE)) == 0 && ((JCClassDecl) t).sym.packge().getQualifiedName() == names.java_lang)
duke@1 1571 newdefs.append(t);
duke@1 1572 break;
jjg@1127 1573 case METHODDEF:
duke@1 1574 if (isInterface ||
duke@1 1575 (((JCMethodDecl) t).mods.flags & (Flags.PROTECTED|Flags.PUBLIC)) != 0 ||
duke@1 1576 ((JCMethodDecl) t).sym.name == names.init ||
duke@1 1577 (((JCMethodDecl) t).mods.flags & (Flags.PRIVATE)) == 0 && ((JCMethodDecl) t).sym.packge().getQualifiedName() == names.java_lang)
duke@1 1578 newdefs.append(t);
duke@1 1579 break;
jjg@1127 1580 case VARDEF:
duke@1 1581 if (isInterface || (((JCVariableDecl) t).mods.flags & (Flags.PROTECTED|Flags.PUBLIC)) != 0 ||
duke@1 1582 (((JCVariableDecl) t).mods.flags & (Flags.PRIVATE)) == 0 && ((JCVariableDecl) t).sym.packge().getQualifiedName() == names.java_lang)
duke@1 1583 newdefs.append(t);
duke@1 1584 break;
duke@1 1585 default:
duke@1 1586 break;
duke@1 1587 }
duke@1 1588 }
duke@1 1589 tree.defs = newdefs.toList();
duke@1 1590 super.visitClassDef(tree);
duke@1 1591 }
duke@1 1592 }
duke@1 1593 MethodBodyRemover r = new MethodBodyRemover();
duke@1 1594 return r.translate(cdef);
duke@1 1595 }
duke@1 1596
duke@1 1597 public void reportDeferredDiagnostics() {
jjg@903 1598 if (errorCount() == 0
jjg@903 1599 && annotationProcessingOccurred
duke@1 1600 && implicitSourceFilesRead
duke@1 1601 && implicitSourcePolicy == ImplicitSourcePolicy.UNSET) {
duke@1 1602 if (explicitAnnotationProcessingRequested())
duke@1 1603 log.warning("proc.use.implicit");
duke@1 1604 else
duke@1 1605 log.warning("proc.use.proc.or.implicit");
duke@1 1606 }
duke@1 1607 chk.reportDeferredDiagnostics();
duke@1 1608 }
duke@1 1609
duke@1 1610 /** Close the compiler, flushing the logs
duke@1 1611 */
duke@1 1612 public void close() {
duke@1 1613 close(true);
duke@1 1614 }
duke@1 1615
jjg@113 1616 public void close(boolean disposeNames) {
duke@1 1617 rootClasses = null;
duke@1 1618 reader = null;
duke@1 1619 make = null;
duke@1 1620 writer = null;
duke@1 1621 enter = null;
duke@1 1622 if (todo != null)
duke@1 1623 todo.clear();
duke@1 1624 todo = null;
duke@1 1625 parserFactory = null;
duke@1 1626 syms = null;
duke@1 1627 source = null;
duke@1 1628 attr = null;
duke@1 1629 chk = null;
duke@1 1630 gen = null;
duke@1 1631 flow = null;
duke@1 1632 transTypes = null;
duke@1 1633 lower = null;
duke@1 1634 annotate = null;
duke@1 1635 types = null;
duke@1 1636
duke@1 1637 log.flush();
duke@1 1638 try {
duke@1 1639 fileManager.flush();
duke@1 1640 } catch (IOException e) {
duke@1 1641 throw new Abort(e);
duke@1 1642 } finally {
duke@1 1643 if (names != null && disposeNames)
duke@1 1644 names.dispose();
duke@1 1645 names = null;
jjg@1096 1646
jjg@1096 1647 for (Closeable c: closeables) {
jjg@1096 1648 try {
jjg@1096 1649 c.close();
jjg@1096 1650 } catch (IOException e) {
jjg@1096 1651 // When javac uses JDK 7 as a baseline, this code would be
jjg@1096 1652 // better written to set any/all exceptions from all the
jjg@1096 1653 // Closeables as suppressed exceptions on the FatalError
jjg@1096 1654 // that is thrown.
jjg@1096 1655 JCDiagnostic msg = diagFactory.fragment("fatal.err.cant.close");
jjg@1096 1656 throw new FatalError(msg, e);
jjg@1096 1657 }
jjg@1096 1658 }
duke@1 1659 }
duke@1 1660 }
duke@1 1661
jjg@257 1662 protected void printNote(String lines) {
jjg@1136 1663 log.printRawLines(Log.WriterKind.NOTICE, lines);
jjg@257 1664 }
jjg@257 1665
duke@1 1666 /** Print numbers of errors and warnings.
duke@1 1667 */
duke@1 1668 protected void printCount(String kind, int count) {
duke@1 1669 if (count != 0) {
jjg@604 1670 String key;
duke@1 1671 if (count == 1)
jjg@604 1672 key = "count." + kind;
duke@1 1673 else
jjg@604 1674 key = "count." + kind + ".plural";
jjg@1136 1675 log.printLines(WriterKind.ERROR, key, String.valueOf(count));
jjg@1135 1676 log.flush(Log.WriterKind.ERROR);
duke@1 1677 }
duke@1 1678 }
duke@1 1679
duke@1 1680 private static long now() {
duke@1 1681 return System.currentTimeMillis();
duke@1 1682 }
duke@1 1683
duke@1 1684 private static long elapsed(long then) {
duke@1 1685 return now() - then;
duke@1 1686 }
duke@1 1687
duke@1 1688 public void initRound(JavaCompiler prev) {
jjg@695 1689 genEndPos = prev.genEndPos;
duke@1 1690 keepComments = prev.keepComments;
duke@1 1691 start_msec = prev.start_msec;
duke@1 1692 hasBeenUsed = true;
jjg@1096 1693 closeables = prev.closeables;
jjg@1096 1694 prev.closeables = List.nil();
jjg@1340 1695 shouldStopPolicyIfError = prev.shouldStopPolicyIfError;
jjg@1340 1696 shouldStopPolicyIfNoError = prev.shouldStopPolicyIfNoError;
duke@1 1697 }
duke@1 1698
duke@1 1699 public static void enableLogging() {
duke@1 1700 Logger logger = Logger.getLogger(com.sun.tools.javac.Main.class.getPackage().getName());
duke@1 1701 logger.setLevel(Level.ALL);
duke@1 1702 for (Handler h : logger.getParent().getHandlers()) {
duke@1 1703 h.setLevel(Level.ALL);
duke@1 1704 }
duke@1 1705
duke@1 1706 }
duke@1 1707 }

mercurial