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

Thu, 10 Jul 2008 16:50:38 -0700

author
jjg
date
Thu, 10 Jul 2008 16:50:38 -0700
changeset 70
62fcf8d73dc5
parent 54
eaf608c64fec
child 77
866db3b5e7b2
permissions
-rw-r--r--

6724551: Use Queues instead of Lists to link compiler phases
Reviewed-by: darcy

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

mercurial