Implement --analyze-all option.

dart/sdk/lib/_internal/compiler/implementation/compiler.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of dart2js;
 
 /**
  * If true, print a warning for each method that was resolved, but not
  * compiled.
  */
@@ skipping 84 matching lines @@
   final Map<String, LibraryElement> libraries;
   int nextFreeClassId = 0;
   World world;
   String assembledCode;
   Types types;
 
   final bool enableMinification;
   final bool enableTypeAssertions;
   final bool enableUserAssertions;
   final bool enableConcreteTypeInference;
+  final bool analyzeAll;
 
   bool disableInlining = false;
 
   final Tracer tracer;
 
   CompilerTask measuredTask;
   Element _currentElement;
   LibraryElement coreLibrary;
   LibraryElement coreImplLibrary;
   LibraryElement isolateLibrary;
@@ skipping 91 matching lines @@
   bool hasCrashed = false;
 
   Compiler({this.tracer: const Tracer(),
             this.enableTypeAssertions: false,
             this.enableUserAssertions: false,
             this.enableConcreteTypeInference: false,
             this.enableMinification: false,
             bool emitJavaScript: true,
             bool generateSourceMap: true,
             bool disallowUnsafeEval: false,
+            this.analyzeAll: false,
             List<String> strips: const []})
       : libraries = new Map<String, LibraryElement>(),
         progress = new Stopwatch() {
     progress.start();
     world = new World(this);
     scanner = new ScannerTask(this);
     dietParser = new DietParserTask(this);
     parser = new ParserTask(this);
     patchParser = new PatchParserTask(this);
     libraryLoader = new LibraryLoaderTask(this);
@@ skipping 291 matching lines @@
       if (!main.isFunction()) reportFatalError('main is not a function', main);
       FunctionElement mainMethod = main;
       FunctionSignature parameters = mainMethod.computeSignature(this);
       parameters.forEachParameter((Element parameter) {
         reportFatalError('main cannot have parameters', parameter);
       });
     }
 
     log('Resolving...');
     phase = PHASE_RESOLVING;
+    if (analyzeAll) libraries.forEach(fullyEnqueueLibrary);
     backend.enqueueHelpers(enqueuer.resolution);
     processQueue(enqueuer.resolution, main);
     log('Resolved ${enqueuer.resolution.resolvedElements.length} elements.');
 
     if (compilationFailed) return;
 
     log('Inferring types...');
     typesTask.onResolutionComplete(main);
 
     // TODO(ahe): Remove this line. Eventually, enqueuer.resolution
     // should know this.
     world.populate();
 
     log('Compiling...');
     phase = PHASE_COMPILING;
     processQueue(enqueuer.codegen, main);
     log('Compiled ${codegenWorld.generatedCode.length} methods.');
 
     if (compilationFailed) return;
 
     backend.assembleProgram();
 
     checkQueues();
   }
 
+  void fullyEnqueueLibrary(_, LibraryElement library) {

[karlklose, 2012/11/13 08:33:47]

The ignored first argument looks a bit strange. You could use a closure (_, lib)
=> fullyEnqueueLibrary(lib) in l. 529 to get rid of it.

[ahe, 2012/11/13 13:13:43]

Done.

+    library.forEachLocalMember(fullyEnqueueTopLevelElement);
+  }
+
+  void fullyEnqueueTopLevelElement(Element element) {
+    element.computeType(this);

[karlklose, 2012/11/13 08:33:47]

Move this computation to ensureResolved?

[ahe, 2012/11/13 13:13:43]

Well, that wouldn't work.  But making sure that all elements can be enqueued
does.

+    if (element.isClass()) {
+      resolver.resolve(element);

[karlklose, 2012/11/13 08:33:47]

Why do you not use ensureResolved here? Is it to make the handling of typedefs
and classes similar (in ResolverTask.resolve)?

[ahe, 2012/11/13 13:13:43]

Done.

+      ClassElement cls = element;
+      for (Element member in cls.localMembers) {
+        enqueuer.resolution.addToWorkList(member);
+      }
+    } else {
+      enqueuer.resolution.addToWorkList(element);
+    }
+  }
+
   void processQueue(Enqueuer world, Element main) {
     backend.processNativeClasses(world, libraries.values);
     world.addToWorkList(main);
     progress.reset();
     world.forEach((WorkItem work) {
       withCurrentElement(work.element, () => work.run(this, world));
     });
     world.queueIsClosed = true;
     if (compilationFailed) return;
     assert(world.checkNoEnqueuedInvokedInstanceMethods());
@@ skipping 348 matching lines @@
   // TODO(johnniwinther): Use [spannable] and [message] to provide better
   // information on assertion errors.
   if (condition is Function){
     condition = condition();
   }
   if (spannable == null || !condition) {
     throw new SpannableAssertionFailure(spannable, message);
   }
   return true;
 }