Split ast based parts from InferrerEngineImpl

pkg/compiler/lib/src/inferrer/type_graph_inferrer.dart

 // Copyright (c) 2013, 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 type_graph_inferrer;
 
 import 'dart:collection' show Queue;
 
 import '../compiler.dart' show Compiler;
 import '../elements/elements.dart';
 import '../elements/entities.dart';
 import '../tree/tree.dart' as ast show Node;
 import '../types/masks.dart'
     show CommonMasks, ContainerTypeMask, MapTypeMask, TypeMask;
 import '../types/types.dart' show TypesInferrer;
 import '../universe/selector.dart' show Selector;
 import '../world.dart' show ClosedWorld, ClosedWorldRefiner;
+import 'ast_inferrer_engine.dart';
 import 'inferrer_engine.dart';
 import 'type_graph_nodes.dart';
 
 /**
  * A work queue for the inferrer. It filters out nodes that are tagged as
  * [TypeInformation.doNotEnqueue], as well as ensures through
  * [TypeInformation.inQueue] that a node is in the queue only once at
  * a time.
  */
 class WorkQueue {
@@ skipping 30 matching lines @@
   TypeGraphInferrer(this.compiler, this.closedWorld, this.closedWorldRefiner);
 
   String get name => 'Graph inferrer';
 
   CommonMasks get commonMasks => closedWorld.commonMasks;
 
   TypeMask get _dynamicType => commonMasks.dynamicType;
 
   void analyzeMain(FunctionEntity main) {
     inferrer =
-        new InferrerEngineImpl(compiler, closedWorld, closedWorldRefiner, main);
+        new AstInferrerEngine(compiler, closedWorld, closedWorldRefiner, main);
     inferrer.runOverAllElements();
   }
 
   TypeMask getReturnTypeOfMember(MemberElement element) {
     if (compiler.disableTypeInference) return _dynamicType;
     // Currently, closure calls return dynamic.
     if (element is! MethodElement) return _dynamicType;
     return inferrer.types.getInferredTypeOfMember(element).type;
   }
 
@@ skipping 69 matching lines @@
     if (compiler.disableTypeInference) return false;
     MemberTypeInformation info =
         inferrer.types.getInferredTypeOfMember(element);
     return info.isCalledOnce();
   }
 
   void clear() {
     inferrer.clear();
   }
 }