Infer types of bool/null/string 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 boolean literal.
+  BoolLiteral boolLiteral(bool value, Token token);
+
   /// 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.
@@ skipping 16 matching lines @@
 
   /// Creates a null literal expression.
   NullLiteral nullLiteral(Token token);
 
   /// Creates a return statement.
   Statement returnStatement(Expression expression, Token token);
 
   /// Creates a read of a static variable.
   StaticGet staticGet(Member readTarget, Token token);
 
+  /// Creates a string concatenation.
+  StringConcatenation stringConcatenation(
+      List<Expression> expressions, Token token);
+
+  /// Creates a string literal.
+  StringLiteral stringLiteral(String value, Token token);
+
   /// Creates a variable declaration statement declaring one variable.
   ///
   /// TODO(paulberry): analyzer makes a distinction between a single variable
   /// declaration and a variable declaration statement (which can contain
   /// multiple variable declarations).  Currently this API only makes sense for
   /// kernel, which desugars each variable declaration to its own statement.
   ///
   /// If the variable declaration did not have an explicitly declared type,
   /// [type] should be `null`.
   VariableDeclaration variableDeclaration(
       String name, Token token, int functionNestingLevel,
       {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);
 }