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

Fri, 26 Feb 2010 15:26:58 -0800

author
jjg
date
Fri, 26 Feb 2010 15:26:58 -0800
changeset 510
72833a8a6086
parent 507
dbcba45123cd
child 554
9d9f26857129
permissions
-rw-r--r--

6930076: "null" can incorrectly appear in error message compiler.err.error.reading.file
Reviewed-by: darcy

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

mercurial