Add top level type inference logic for integer literals.

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/builder/ast_factory.dart' show AstFactory;
 
 import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart'
-    show KernelVariableDeclaration;
+    show KernelField, KernelVariableDeclaration;
 
 import 'package:front_end/src/fasta/type_inference/type_inferrer.dart'
-    show TypeInferrer;
+    show FieldNode, 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 49 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;
+  final TypeInferrer<Statement, Expression, KernelVariableDeclaration,
+      KernelField> _typeInferrer;
 
   final AstFactory astFactory;
 
+  /// If not `null`, dependencies on fields are accumulated into this list.

[karlklose, 2017/04/21 11:11:01]

Maybe add a short comment on when this is `null`.

[Paul Berry, 2017/04/21 11:32:25]

Done.

+  final List<FieldNode<KernelField>> fieldDependencies;
+
   /// Only used when [member] is a constructor. It tracks if an implicit super
   /// initializer is needed.
   ///
   /// An implicit super initializer isn't needed
   ///
   /// 1. if the current class is Object,
   /// 2. if there is an explicit super initializer,
   /// 3. if there is a redirecting (this) initializer, or
   /// 4. if a compile-time error prevented us from generating code for an
   ///    initializer. This avoids cascading errors.
@@ skipping 29 matching lines @@
       KernelLibraryBuilder library,
       this.member,
       Scope scope,
       this.formalParameterScope,
       this.hierarchy,
       this.coreTypes,
       this.classBuilder,
       this.isInstanceMember,
       this.uri,
       this._typeInferrer,
-      this.astFactory)
+      this.astFactory,
+      {this.fieldDependencies})
       : enclosingScope = scope,
         library = library,
         isDartLibrary = library.uri.scheme == "dart",
         needsImplicitSuperInitializer =
             coreTypes.objectClass != classBuilder?.cls,
         super(scope);
 
   bool get hasParserError => recoverableErrors.isNotEmpty;
 
   bool get inConstructor {
@@ skipping 908 matching lines @@
     assert(isConst == constantExpressionRequired);
     push(astFactory.variableDeclaration(identifier.name,
         initializer: initializer,
         type: currentLocalVariableType,
         isFinal: isFinal,
         isConst: isConst,
         equalsCharOffset: equalsCharOffset));
   }
 
   @override
-  void endFieldInitializer(Token assignmentOperator) {
+  void endFieldInitializer(Token assignmentOperator, Token token) {
     debugEvent("FieldInitializer");
     assert(assignmentOperator.stringValue == "=");
     push(popForValue());
   }
 
   @override
   void handleNoFieldInitializer(Token token) {
     debugEvent("NoFieldInitializer");
     if (constantExpressionRequired) {
       addCompileTimeError(
@@ skipping 1522 matching lines @@
           new VariableDeclaration.forValue(argument, isFinal: true),
           expression);
     }
     return expression;
   }
 
   @override
   void debugEvent(String name) {
     // printEvent(name);
   }
+
+  @override
+  StaticGet makeStaticGet(Member readTarget, int offset) {
+    // TODO(paulberry): only record the dependencies mandated by the top level
+    // type inference spec.
+    if (fieldDependencies != null && readTarget is KernelField) {
+      var fieldNode = _typeInferrer.getFieldNodeForReadTarget(readTarget);
+      if (fieldNode != null) {
+        fieldDependencies.add(fieldNode);
+      }
+    }
+    return astFactory.staticGet(readTarget, offset);
+  }
 }
 
 // TODO(ahe): Shouldn't need to be an expression.
 class Identifier extends InvalidExpression {
   final String name;
 
   Identifier(this.name, int charOffset) {
     fileOffset = charOffset;
   }
 
@@ skipping 448 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}");
   }
 }