Fasta type inference prototype #2

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:kernel/ast.dart' show DartType, TreeNode;
 
 import 'shadow_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 {
   /// Creates a statement block.
   ShadowBlock block(List<ShadowStatement> statements, int charOffset);
 
+  /// Note: needed because some kernel constructors require us to pass in a
+  /// List<Expression>.
+  List<ShadowExpression> expressionList(int length);
+
   /// Creates an integer literal.
   ShadowIntLiteral intLiteral(value, int charOffset);
 
   /// Creates a list literal expression.
   ///
   /// If the list literal did not have an explicitly declared type argument,
   /// [typeArgument] should be `null`.
   ShadowListLiteral listLiteral(List<ShadowExpression> expressions,
       DartType typeArgument, bool isConst, int charOffset);
 
@@ skipping 12 matching lines @@
   ///
   /// If the variable declaration did not have an explicitly declared type,
   /// [type] should be `null`.
   ShadowVariableDeclaration variableDeclaration(String name,
       {DartType type,
       ShadowExpression initializer,
       int charOffset: TreeNode.noOffset,
       bool isFinal: false,
       bool isConst: false});
 }