Infer types of double literals.

pkg/front_end/lib/src/fasta/builder/ast_factory.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:front_end/src/fasta/scanner.dart' show Token;
 import 'package:front_end/src/fasta/type_inference/type_promotion.dart';
 import 'package:kernel/ast.dart';
 
 /// An abstract class containing factory methods that create AST objects.
 ///
@@ skipping 20 matching lines @@
 /// having a `toLocation` method on AstFactory that changes tokens to an
 /// abstract type (`int` for kernel, `Token` for analyzer).
 ///
 /// TODO(paulberry): in order to interface with analyzer, we'll need to
 /// shadow-ify [DartType], since analyzer ASTs need to be able to record the
 /// exact tokens that were used to specify a type.
 abstract class AstFactory<V> {
   /// Creates a statement block.
   Block block(List<Statement> statements, Token beginToken);
 
+  /// Creates a double literal.
+  DoubleLiteral doubleLiteral(double value, Token token);
+
   /// Creates an expression statement.
   ExpressionStatement expressionStatement(Expression expression);
 
   /// Creates a function expression.
   FunctionExpression functionExpression(FunctionNode function, Token token);
 
   /// Creates an `if` statement.
   Statement ifStatement(
       Expression condition, Statement thenPart, Statement elsePart);
 
   /// Creates an integer literal.
-  IntLiteral intLiteral(value, Token token);
+  IntLiteral intLiteral(int value, Token token);
 
   /// Creates an `is` expression.
   Expression isExpression(
       Expression expression, DartType type, Token token, bool isInverted);
 
   /// Creates a list literal expression.
   ///
   /// If the list literal did not have an explicitly declared type argument,
   /// [typeArgument] should be `null`.
   ListLiteral listLiteral(List<Expression> expressions, DartType typeArgument,
@@ skipping 22 matching lines @@
       {DartType type,
       Expression initializer,
       Token equalsToken,
       bool isFinal: false,
       bool isConst: false});
 
   /// Creates a read of a local variable.
   variableGet(VariableDeclaration variable, TypePromotionFact<V> fact,
       TypePromotionScope scope, Token token);
 }