Use KernelTypeGraphBuilder in KernelInferrerEngine

pkg/compiler/lib/src/js_model/locals.dart

 // Copyright (c) 2017, 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 dart2js.js_model.locals;
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../closure.dart';
 import '../common.dart';
@@ skipping 19 matching lines @@
         "Locals map already created for $member.");
     _localsMaps[member] = localsMap;
   }
 }
 
 class KernelToLocalsMapImpl implements KernelToLocalsMap {
   final List<MemberEntity> _members = <MemberEntity>[];
   Map<ir.VariableDeclaration, JLocal> _map = <ir.VariableDeclaration, JLocal>{};
   Map<ir.TreeNode, JJumpTarget> _jumpTargetMap;
   Set<ir.BreakStatement> _breaksAsContinue;
+  List<ir.VariableDeclaration> _parameterList = <ir.VariableDeclaration>[];
 
   MemberEntity get currentMember => _members.last;
 
   // TODO(johnniwinther): Compute this eagerly from the root of the member.
   void _ensureJumpMap(ir.TreeNode node) {
     if (_jumpTargetMap == null) {
       JumpVisitor visitor = new JumpVisitor(currentMember);
 
       // Find the root node for the current member.
       while (node is! ir.Member) {
@@ skipping 80 matching lines @@
 
   @override
   JumpTarget getJumpTargetForWhile(ir.WhileStatement node) {
     _ensureJumpMap(node);
     return _jumpTargetMap[node];
   }
 
   @override
   Local getLocalVariable(ir.VariableDeclaration node) {
     return _map.putIfAbsent(node, () {
-      return new JLocal(
-          node.name, currentMember, node.parent is ir.FunctionNode);
+      Local local;
+      if (node.parent is ir.FunctionNode) {
+        local = new JParameter(_parameterList.length, node.name, currentMember);
+        _parameterList.add(node);
+      } else {
+        local = new JLocal(node.name, currentMember);
+      }
+      return local;
     });
   }
 
   @override
+  ir.FunctionNode getFunctionNodeForParameter(covariant JParameter parameter) {
+    return _parameterList[parameter.parameterIndex].parent;
+  }
+
+  ir.DartType getParameterType(covariant JParameter parameter) {
+    return _parameterList[parameter.parameterIndex].type;
+  }
+
+  @override
   CapturedLoopScope getCapturedLoopScope(
       ClosureDataLookup closureLookup, ir.TreeNode node) {
     return closureLookup.getCapturedLoopScope(node);
   }
 
   @override
   ClosureRepresentationInfo getClosureRepresentationInfo(
       ClosureDataLookup closureLookup, ir.TreeNode node) {
     return closureLookup.getClosureInfo(node);
   }
@@ skipping 184 matching lines @@
     sb.write(isContinueTarget);
     sb.write(')');
     return sb.toString();
   }
 }
 
 class JLocal implements Local {
   final String name;
   final MemberEntity memberContext;
 
+  JLocal(this.name, this.memberContext);
+
   /// True if this local represents a local parameter.
-  final bool isRegularParameter;
-
-  JLocal(this.name, this.memberContext, [isParameter = false])
-      : isRegularParameter = isParameter;
+  bool get isRegularParameter => false;
 
   @override
   Entity get executableContext => memberContext;
 
+  String get _kind => 'local';
+
   String toString() {
     StringBuffer sb = new StringBuffer();
-    sb.write('local(');
+    sb.write('$_kind(');
     if (memberContext.enclosingClass != null) {
       sb.write(memberContext.enclosingClass.name);
       sb.write('.');
     }
     sb.write(memberContext.name);
     sb.write('#');
     sb.write(name);
     sb.write(')');
     return sb.toString();
   }
 }
+
+class JParameter extends JLocal {
+  final int parameterIndex;
+
+  JParameter(this.parameterIndex, String name, MemberEntity memberContext)
+      : super(name, memberContext);
+
+  bool get isRegularParameter => true;
+
+  String get _kind => 'parameter';
+}