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