Support serialization of the compiler backbone.

pkg/compiler/lib/src/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.
  */
 const bool REPORT_EXCESS_RESOLUTION = false;
 
 /**
  * Contains backend-specific data that is used throughout the compilation of
  * one work item.
  */
 class ItemCompilationContext {
 }
 
 abstract class WorkItem {
   final ItemCompilationContext compilationContext;
   /**
    * Documentation wanted -- johnniwinther
    *
    * Invariant: [element] must be a declaration element.
    */
   final AstElement element;
 
-  TreeElements get resolutionTree;
-
   WorkItem(this.element, this.compilationContext) {
     assert(invariant(element, element.isDeclaration));
   }
 
   WorldImpact run(Compiler compiler, Enqueuer world);
 }
 
 /// [WorkItem] used exclusively by the [ResolutionEnqueuer].
 class ResolutionWorkItem extends WorkItem {
-  TreeElements resolutionTree;
+  bool _isAnalyzed = false;
 
   ResolutionWorkItem(AstElement element,
                      ItemCompilationContext compilationContext)
       : super(element, compilationContext);
 
   WorldImpact run(Compiler compiler, ResolutionEnqueuer world) {
     WorldImpact impact = compiler.analyze(this, world);
-    resolutionTree = element.resolvedAst.elements;
+    _isAnalyzed = true;
     return impact;
   }
 
-  bool isAnalyzed() => resolutionTree != null;
+  bool get isAnalyzed => _isAnalyzed;
 }
 
 // TODO(johnniwinther): Split this class into interface and implementation.
 // TODO(johnniwinther): Move this implementation to the JS backend.
 class CodegenRegistry extends Registry {
   final Compiler compiler;
   final TreeElements treeElements;
 
   CodegenRegistry(this.compiler, this.treeElements);
 
@@ skipping 874 matching lines @@
       _currentElement = old;
     }
   }
 
   List<CompilerTask> tasks;
   ScannerTask scanner;
   DietParserTask dietParser;
   ParserTask parser;
   PatchParserTask patchParser;
   LibraryLoaderTask libraryLoader;
+  SerializationTask serialization;
   ResolverTask resolver;
   closureMapping.ClosureTask closureToClassMapper;
   TypeCheckerTask checker;
   IrBuilderTask irBuilder;
   ti.TypesTask typesTask;
   Backend backend;
 
   GenericTask reuseLibraryTask;
 
   /// The constant environment for the frontend interpretation of compile-time
@@ skipping 151 matching lines @@
     } else {
       backend = new dart_backend.DartBackend(this, strips,
                                              multiFile: dart2dartMultiFile);
       if (dumpInfo) {
         throw new ArgumentError('--dump-info is not supported for dart2dart.');
       }
     }
 
     tasks = [
       libraryLoader = new LibraryLoaderTask(this),
+      serialization = new SerializationTask(this),
       scanner = new ScannerTask(this),
       dietParser = new DietParserTask(this),
       parser = new ParserTask(this),
       patchParser = new PatchParserTask(this),
       resolver = new ResolverTask(this, backend.constantCompilerTask),
       closureToClassMapper = new closureMapping.ClosureTask(this),
       checker = new TypeCheckerTask(this),
       irBuilder = new IrBuilderTask(this, sourceInformationFactory),
       typesTask = new ti.TypesTask(this),
       constants = backend.constantCompilerTask,
@@ skipping 607 matching lines @@
     }
     if (verbose) {
       progress.reset();
     }
     world.forEach((WorkItem work) {
       withCurrentElement(work.element, () {
         world.applyImpact(work.element, work.run(this, world));
       });
     });
     world.queueIsClosed = true;
+    //print('------------ $world is closed --------------');

[floitsch, 2015/06/26 20:54:03]

remove.

[Johnni Winther, 2015/07/03 12:13:44]

Done.

     assert(compilationFailed || world.checkNoEnqueuedInvokedInstanceMethods());
   }
 
   /**
    * Perform various checks of the queues. This includes checking that
    * the queues are empty (nothing was added after we stopped
    * processing the queues). Also compute the number of methods that
    * were resolved, but not compiled (aka excess resolution).
    */
   checkQueues() {
@@ skipping 53 matching lines @@
     if (tree != null && !analyzeSignaturesOnly && !suppressWarnings) {
       // Only analyze nodes with a corresponding [TreeElements].
       checker.check(element);
     }
     world.registerResolvedElement(element);
     return worldImpact;
   }
 
   WorldImpact analyze(ResolutionWorkItem work, ResolutionEnqueuer world) {
     assert(invariant(work.element, identical(world, enqueuer.resolution)));
-    assert(invariant(work.element, !work.isAnalyzed(),
+    assert(invariant(work.element, !work.isAnalyzed,
         message: 'Element ${work.element} has already been analyzed'));
     if (shouldPrintProgress) {
       // TODO(ahe): Add structured diagnostics to the compiler API and
       // use it to separate this from the --verbose option.
       if (phase == PHASE_RESOLVING) {
         log('Resolved ${enqueuer.resolution.resolvedElements.length} '
             'elements.');
         progress.reset();
       }
     }
@@ skipping 403 matching lines @@
                      f(int beginOffset, int endOffset)) {
     final beginOffset = begin.charOffset;
     final endOffset = end.charOffset + end.charCount;
 
     // [begin] and [end] might be the same for the same empty token. This
     // happens for instance when scanning '$$'.
     assert(endOffset >= beginOffset);
     return f(beginOffset, endOffset);
   }
 
+  int get hashCode {
+    return 13 * uri.hashCode +
+           17 * begin.hashCode +
+           19 * end.hashCode;
+  }
+
+  bool operator ==(other) {
+    if (identical(this, other)) return true;
+    if (other is! SourceSpan) return false;
+    return uri == other.uri &&
+           begin == other.begin &&
+           end == other.end;
+  }
+
   String toString() => 'SourceSpan($uri, $begin, $end)';
 }
 
 /// Flag that can be used in assertions to assert that a code path is only
 /// executed as part of development.
 ///
 /// This flag is automatically set to true if helper methods like, [debugPrint],
 /// [debugWrapPrint], [trace], and [reportHere] are called.
 bool DEBUG_MODE = false;
 
@@ skipping 154 matching lines @@
   const AnyLocation();
 
   bool inSameLocation(Uri uri) => true;
 
   String relativize(Uri baseUri) => '$baseUri';
 }
 
 class _CompilerCoreTypes implements CoreTypes {
   final Compiler compiler;
 
-  ClassElementX objectClass;
-  ClassElementX boolClass;
-  ClassElementX numClass;
-  ClassElementX intClass;
-  ClassElementX doubleClass;
-  ClassElementX stringClass;
-  ClassElementX functionClass;
-  ClassElementX nullClass;
-  ClassElementX listClass;
-  ClassElementX typeClass;
-  ClassElementX mapClass;
-  ClassElementX symbolClass;
-  ClassElementX stackTraceClass;
-  ClassElementX futureClass;
-  ClassElementX iterableClass;
-  ClassElementX streamClass;
+  ClassElement objectClass;
+  ClassElement boolClass;
+  ClassElement numClass;
+  ClassElement intClass;
+  ClassElement doubleClass;
+  ClassElement stringClass;
+  ClassElement functionClass;
+  ClassElement nullClass;
+  ClassElement listClass;
+  ClassElement typeClass;
+  ClassElement mapClass;
+  ClassElement symbolClass;
+  ClassElement stackTraceClass;
+  ClassElement futureClass;
+  ClassElement iterableClass;
+  ClassElement streamClass;
 
   _CompilerCoreTypes(this.compiler);
 
   @override
   InterfaceType get objectType => objectClass.computeType(compiler);
 
   @override
   InterfaceType get boolType => boolClass.computeType(compiler);
 
   @override
@@ skipping 65 matching lines @@
   InterfaceType streamType([DartType elementType]) {
     InterfaceType type = streamClass.computeType(compiler);
     if (elementType == null) {
       return streamClass.rawType;
     }
     return type.createInstantiation([elementType]);
   }
 }
 
 typedef void InternalErrorFunction(Spannable location, String message);