Split up TypeInferrer class.

pkg/front_end/lib/src/fasta/source/source_loader.dart

 // Copyright (c) 2016, 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.
 
 library fasta.source_loader;
 
 import 'dart:async' show Future;
 
 import 'dart:typed_data' show Uint8List;
 
 import 'package:front_end/src/base/instrumentation.dart' show Instrumentation;
 
 import 'package:front_end/src/fasta/builder/ast_factory.dart' show AstFactory;
 
 import 'package:front_end/src/fasta/kernel/kernel_ast_factory.dart'
     show KernelAstFactory;
 
 import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'
-    show KernelTypeInferrer;
+    show KernelTypeInferenceEngine;
 
 import 'package:front_end/src/fasta/kernel/kernel_target.dart'
     show KernelTarget;
 
-import 'package:front_end/src/fasta/type_inference/type_inferrer.dart'
-    show TypeInferrer;
+import 'package:front_end/src/fasta/type_inference/type_inference_engine.dart'
+    show TypeInferenceEngine;
 
 import 'package:kernel/ast.dart' show Program;
 
 import 'package:kernel/class_hierarchy.dart' show ClassHierarchy;
 
 import 'package:kernel/core_types.dart' show CoreTypes;
 
 import '../builder/builder.dart' show Builder, ClassBuilder, LibraryBuilder;
 
 import '../compiler_context.dart' show CompilerContext;
@@ skipping 23 matching lines @@
 class SourceLoader<L> extends Loader<L> {
   final Map<Uri, List<int>> sourceBytes = <Uri, List<int>>{};
   final bool excludeSource = CompilerContext.current.options.excludeSource;
 
   // Used when building directly to kernel.
   ClassHierarchy hierarchy;
   CoreTypes coreTypes;
 
   final AstFactory astFactory = new KernelAstFactory();
 
-  TypeInferrer topLevelTypeInferrer;
+  TypeInferenceEngine typeInferenceEngine;
 
   Instrumentation instrumentation;
 
   SourceLoader(KernelTarget target) : super(target);
 
   Future<Token> tokenize(SourceLibraryBuilder library,
       {bool suppressLexicalErrors: false}) async {
     Uri uri = library.fileUri;
     if (uri == null || uri.scheme != "file") {
       return inputError(library.uri, -1, "Not found: ${library.uri}.");
@@ skipping 54 matching lines @@
           listener.uri = part.fileUri;
           parser.parseUnit(tokens);
         }
       }
     }
   }
 
   KernelTarget get target => super.target;
 
   DietListener createDietListener(LibraryBuilder library) {
-    return new DietListener(
-        library, hierarchy, coreTypes, createLocalTypeInferrer());
+    return new DietListener(library, hierarchy, coreTypes, typeInferenceEngine);
   }
 
   void resolveParts() {
     List<Uri> parts = <Uri>[];
     builders.forEach((Uri uri, LibraryBuilder library) {
       if (library is SourceLibraryBuilder) {
         if (library.isPart) {
           library.validatePart();
           parts.add(uri);
         } else {
@@ skipping 216 matching lines @@
   }
 
   void checkOverrides(List<SourceClassBuilder> sourceClasses) {
     assert(hierarchy != null);
     for (SourceClassBuilder builder in sourceClasses) {
       builder.checkOverrides(hierarchy);
     }
     ticker.logMs("Checked overrides");
   }
 
-  void createTopLevelTypeInferrer() {
-    topLevelTypeInferrer =
-        new KernelTypeInferrer(instrumentation, target.strongMode);
+  void createTypeInferenceEngine() {
+    typeInferenceEngine =
+        new KernelTypeInferenceEngine(instrumentation, target.strongMode);
   }
 
   /// Performs the first phase of top level initializer inference, which
   /// consists of creating kernel objects for all fields and top level variables
   /// that might be subject to type inference, and records dependencies between
   /// them.
   void prepareInitializerInference() {
-    topLevelTypeInferrer.coreTypes = coreTypes;
-    topLevelTypeInferrer.classHierarchy = hierarchy;
+    typeInferenceEngine.prepareTopLevel(coreTypes, hierarchy);
     builders.forEach((Uri uri, LibraryBuilder library) {
       if (library is SourceLibraryBuilder) {
-        library.prepareInitializerInference(
-            topLevelTypeInferrer, library, null);
+        library.prepareInitializerInference(typeInferenceEngine, library, null);
       }
     });
     ticker.logMs("Prepared initializer inference");
   }
 
   /// Performs the second phase of top level initializer inference, which is to
   /// visit fields and top level variables in topologically-sorted order and
   /// assign their types.
   void performInitializerInference() {
-    topLevelTypeInferrer.performInitializerInference();
+    typeInferenceEngine.finishTopLevel();
     ticker.logMs("Performed initializer inference");
   }
 
-  /// Creates the type inferrer that should be used inside of method bodies.
-  TypeInferrer createLocalTypeInferrer() {
-    // For kernel, the top level and local type inferrers are the same.
-    return topLevelTypeInferrer;
-  }
-
   List<Uri> getDependencies() => sourceBytes.keys.toList();
 }