Introduce initial plumbing for type inference in fasta.

pkg/front_end/lib/src/fasta/kernel/body_builder.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.body_builder;
 
 import '../fasta_codes.dart'
     show FastaMessage, codeExpectedButGot, codeExpectedFunctionBody;
 
 import '../parser/parser.dart' show FormalParameterType, optional;
 
 import '../parser/identifier_context.dart' show IdentifierContext;
 
+import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'

[ahe, 2017/04/18 15:49:59]

Make relative?

[Paul Berry, 2017/04/18 16:33:17]

I actually prefer absolute imports, and I was hoping that we could transition
all imports in fasta to absolute ones--let's talk about this in person.

+    show KernelVariableDeclaration;
+
+import 'package:front_end/src/fasta/type_inference/type_inferrer.dart'
+    show TypeInferrer;
+
 import 'package:kernel/ast.dart';
 
 import 'package:kernel/clone.dart' show CloneVisitor;
 
 import 'package:kernel/transformations/flags.dart' show TransformerFlag;
 
 import 'package:kernel/class_hierarchy.dart' show ClassHierarchy;
 
 import 'package:kernel/core_types.dart' show CoreTypes;
 
@@ skipping 48 matching lines @@
   final Map<String, FieldInitializer> fieldInitializers =
       <String, FieldInitializer>{};
 
   final Scope enclosingScope;
 
   final bool isDartLibrary;
 
   @override
   final Uri uri;
 
+  final TypeInferrer<Statement, Expression, KernelVariableDeclaration, Field>
+      _typeInferrer;

[ahe, 2017/04/18 15:49:59]

I prefer to keep things public unless implementing public API.

[Paul Berry, 2017/04/18 16:33:17]

Heh, I prefer the reverse.  Let's talk about this too :)

+
   Scope formalParameterScope;
 
   bool inInitializer = false;
 
   bool inCatchClause = false;
 
   int functionNestingLevel = 0;
 
   Statement compileTimeErrorInTry;
 
@@ skipping 13 matching lines @@
 
   BodyBuilder(
       KernelLibraryBuilder library,
       this.member,
       Scope scope,
       this.formalParameterScope,
       this.hierarchy,
       this.coreTypes,
       this.classBuilder,
       this.isInstanceMember,
-      this.uri)
+      this.uri,
+      this._typeInferrer)
       : enclosingScope = scope,
         library = library,
         isDartLibrary = library.uri.scheme == "dart",
         super(scope);
 
   bool get hasParserError => recoverableErrors.isNotEmpty;
 
   bool get inConstructor {
     return functionNestingLevel == 0 && member is KernelConstructorBuilder;
   }
@@ skipping 290 matching lines @@
       if (asyncModifier != AsyncMarker.Sync) {
         // TODO(ahe): Change this to a null check.
         addCompileTimeError(body?.fileOffset,
             "Can't be marked as ${asyncModifier}: ${builder.name}");
       }
     } else if (builder is KernelProcedureBuilder) {
       builder.asyncModifier = asyncModifier;
     } else {
       internalError("Unhandled: ${builder.runtimeType}");
     }
+    _typeInferrer.inferBody(body, uri);
     builder.body = body;
     if (formals?.optional != null) {
       Iterator<FormalParameterBuilder> formalBuilders =
           builder.formals.skip(formals.required.length).iterator;
       for (VariableDeclaration parameter in formals.optional.formals) {
         bool hasMore = formalBuilders.moveNext();
         assert(hasMore);
         VariableDeclaration realParameter = formalBuilders.current.target;
         Expression initializer = parameter.initializer ?? new NullLiteral();
         realParameter.initializer = initializer..parent = realParameter;
@@ skipping 2504 matching lines @@
   } else if (node is PrefixBuilder) {
     return node.name;
   } else if (node is ThisAccessor) {
     return node.isSuper ? "super" : "this";
   } else if (node is FastaAccessor) {
     return node.plainNameForRead;
   } else {
     return internalError("Unhandled: ${node.runtimeType}");
   }
 }