Use KernelTypeGraphBuilder in KernelInferrerEngine

pkg/compiler/lib/src/kernel/element_map.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.
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../closure.dart';
 import '../common.dart';
 import '../constants/values.dart';
 import '../common_elements.dart';
@@ skipping 197 matching lines @@
 // TODO(johnniwinther,efortuna): Add more when needed.
 // TODO(johnniwinther): Should we split regular into method, field, etc.?
 enum MemberKind {
   // A regular member defined by an [ir.Node].
   regular,
   // A constructor whose initializer is defined by an [ir.Constructor] node.
   constructor,
   // A constructor whose body is defined by an [ir.Constructor] node.
   constructorBody,
   // A closure class `call` method whose body is defined by an
-  // [ir.FunctionExpression].
+  // [ir.FunctionExpression] or [ir.FunctionDeclaration].
   closureCall,
   // A field corresponding to a captured variable in the closure. It does not
   // have a corresponding ir.Node.
   closureField,
 }
 
 /// Definition information for a [MemberEntity].
 abstract class MemberDefinition {
   /// The defined member.
   MemberEntity get member;
@@ skipping 155 matching lines @@
   void leaveInlinedMember(covariant MemberEntity member);
 
   /// Returns the [Local] for [node]. If [isClosureCallMethod] is true, this
   /// gives the locals map permission to also look one scope higher within the
   /// class for the corresponding local. This can happen in the case of free
   /// variables involved with a closure class.
   // TODO(efortuna, johnniwinther): convey this information without a boolean
   // parameter.
   Local getLocalVariable(ir.VariableDeclaration node);
 
+  /// Returns the [ir.FunctionNode] that declared [parameter].
+  ir.FunctionNode getFunctionNodeForParameter(Local parameter);
+
+  /// Returns the [ir.DartType] of [parameter].
+  ir.DartType getParameterType(Local parameter);
+
   /// Returns the [JumpTarget] for the break statement [node].
   JumpTarget getJumpTargetForBreak(ir.BreakStatement node);
 
   /// Returns `true` if [node] should generate a `continue` to its [JumpTarget].
   bool generateContinueForBreak(ir.BreakStatement node);
 
   /// Returns the [JumpTarget] defined by the labelled statement [node] or
   /// `null` if [node] is not a jump target.
   JumpTarget getJumpTargetForLabel(ir.LabeledStatement node);
 
@@ skipping 53 matching lines @@
       uri = Uri.parse(node.location.file);
       break;
     }
     node = node.parent;
   }
   if (uri != null) {
     return new SourceSpan(uri, offset, offset + 1);
   }
   return null;
 }