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

Fri, 09 May 2014 09:36:35 +0200

author
jlahoda
date
Fri, 09 May 2014 09:36:35 +0200
changeset 2386
f8e84de96252
parent 2166
31fe30e2deac
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8040822: Duplicated notifications can be sent to TaskListener
Summary: The analyze finished event must only be sent on the first call to JavaCompiler.flow for a given class.
Reviewed-by: jjg

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

mercurial