Add top level type inference logic for integer literals.

pkg/front_end/lib/src/fasta/source/source_library_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.source_library_builder;
 
+import 'package:front_end/src/fasta/scanner/token.dart' show SymbolToken, Token;
+
+import 'package:front_end/src/fasta/type_inference/type_inferrer.dart'
+    show TypeInferrer;
+
 import 'package:kernel/ast.dart' show AsyncMarker, ProcedureKind;
 
 import '../combinator.dart' show Combinator;
 
 import '../errors.dart' show inputError, internalError;
 
 import '../export.dart' show Export;
 
 import '../import.dart' show Import;
 
@@ skipping 147 matching lines @@
   void addNamedMixinApplication(
       List<MetadataBuilder> metadata,
       String name,
       List<TypeVariableBuilder> typeVariables,
       int modifiers,
       T mixinApplication,
       List<T> interfaces,
       int charOffset);
 
   void addField(List<MetadataBuilder> metadata, int modifiers, T type,
-      String name, int charOffset);
+      String name, int charOffset, Token initializer);
 
   void addFields(List<MetadataBuilder> metadata, int modifiers, T type,
-      List<Object> namesAndOffsets) {
-    for (int i = 0; i < namesAndOffsets.length; i += 2) {
-      String name = namesAndOffsets[i];
-      int charOffset = namesAndOffsets[i + 1];
-      addField(metadata, modifiers, type, name, charOffset);
+      List<Object> namesOffsetsAndInitializers) {
+    for (int i = 0; i < namesOffsetsAndInitializers.length; i += 4) {
+      String name = namesOffsetsAndInitializers[i];
+      int charOffset = namesOffsetsAndInitializers[i + 1];
+      Token initializer;
+      if (type == null) {
+        initializer = namesOffsetsAndInitializers[i + 2];
+        Token afterInitializer = namesOffsetsAndInitializers[i + 3];
+        // TODO(paulberry): figure out a way to do this without using
+        // Token.previous.
+        afterInitializer?.previous
+            ?.setNext(new SymbolToken.eof(afterInitializer.offset));
+      }
+      addField(metadata, modifiers, type, name, charOffset, initializer);
     }
   }
 
   void addProcedure(
       List<MetadataBuilder> metadata,
       int modifiers,
       T returnType,
       String name,
       List<TypeVariableBuilder> typeVariables,
       List<FormalParameterBuilder> formals,
@@ skipping 270 matching lines @@
       count += member.resolveConstructors(this);
     });
     return count;
   }
 
   List<TypeVariableBuilder> copyTypeVariables(
       List<TypeVariableBuilder> original);
 
   @override
   String get fullNameForErrors => name ?? "<library '$relativeFileUri'>";
+
+  @override
+  void prepareInitializerInference(TypeInferrer typeInferrer,
+      LibraryBuilder library, ClassBuilder currentClass) {
+    forEach((String name, Builder member) {
+      member.prepareInitializerInference(typeInferrer, library, currentClass);
+    });
+  }
 }
 
 /// Unlike [Scope], this scope is used during construction of builders to
 /// ensure types and members are added to and resolved in the correct location.
 class DeclarationBuilder<T extends TypeBuilder> {
   final DeclarationBuilder<T> parent;
 
   final Map<String, Builder> members;
 
   final Map<String, Builder> constructors;
@@ skipping 74 matching lines @@
   /// synthesize type variables on the factory matching the class'.
   void addFactoryDeclaration(
       ProcedureBuilder procedure, DeclarationBuilder<T> factoryDeclaration) {
     factoryDeclarations[procedure] = factoryDeclaration;
   }
 
   Scope toScope(Scope parent) {
     return new Scope(members, setters, parent, isModifiable: false);
   }
 }