Split inference type-info accessors into members, parameters and local functions

pkg/compiler/lib/src/inferrer/builder_kernel.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 '../compiler.dart';
 import '../elements/elements.dart';
 import '../elements/entities.dart';
 import '../kernel/kernel.dart';
 import '../ssa/kernel_ast_adapter.dart';
 import '../tree/tree.dart' as ast;
 import '../universe/side_effects.dart' show SideEffects;
 import 'inferrer_engine.dart';
 import 'locals_handler.dart';
 import 'type_graph_nodes.dart';
 import 'type_system.dart';
 
 /// [KernelTypeGraphBuilder] constructs a type-inference graph for a particular
 /// element.
 ///
 /// Calling [run] will start the work of visiting the body of the code to
 /// construct a set of inference-nodes that abstractly represent what the code
 /// is doing.
 class KernelTypeGraphBuilder extends ir.Visitor<TypeInformation> {
   final Compiler compiler;
-  final AstElement originalElement;
+  final MemberElement originalElement;
   // TODO(efortuna): Remove this.
-  final Element outermostElement;
+  final MemberElement outermostElement;
   final ir.Node analyzedNode;
   final ResolvedAst resolvedAst;
   final TypeSystem types;
   LocalsHandler locals;
   final InferrerEngine inferrer;
   SideEffects sideEffects = new SideEffects.empty();
   int loopLevel = 0;
   bool get inLoop => loopLevel > 0;
 
   final Set<Entity> capturedVariables = new Set<Entity>();
@@ skipping 16 matching lines @@
     if (resolvedAst.kind == ResolvedAstKind.PARSED) {
       node = resolvedAst.node;
     }
     FieldInitializationScope fieldScope = (analyzedNode is ir.Constructor)
         ? new FieldInitializationScope(types)
         : null;
     locals =
         new LocalsHandler(inferrer, types, compiler.options, node, fieldScope);
   }
 
-  factory KernelTypeGraphBuilder(Element element, ResolvedAst resolvedAst,
+  factory KernelTypeGraphBuilder(MemberElement element, ResolvedAst resolvedAst,
       Compiler compiler, InferrerEngine inferrer,
       [LocalsHandler handler]) {
     var adapter = _createKernelAdapter(compiler, resolvedAst);
     var node = adapter.getMemberNode(element);
     return new KernelTypeGraphBuilder.internal(
         element,
         resolvedAst,
         element.outermostEnclosingMemberOrTopLevel.implementation,
         inferrer,
         compiler,
@@ skipping 85 matching lines @@
           : types.simplifyPhi(null, null, elementType);
       TypeInformation containerType =
           listLiteral.isConst ? types.constListType : types.growableListType;
       // TODO(efortuna): Change signature of allocateList and the rest of
       // type_system to deal with Kernel elements.
       return types.allocateList(containerType, astAdapter.getNode(listLiteral),
           outermostElement, elementType, length);
     });
   }
 }