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