Support top-level field declaration and assignment in analyzer2dart.

pkg/compiler/lib/src/dart_backend/backend_ast_emitter.dart

 // Copyright (c) 2014, 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 backend_ast_emitter;
 
 import '../tree_ir/tree_ir_nodes.dart' as tree;
 import 'backend_ast_nodes.dart';
 import '../constants/expressions.dart';
 import '../constants/values.dart';
@@ skipping 62 matching lines @@
   ExecutableDefinition emit(tree.ExecutableDefinition definition) {
     if (definition is tree.FieldDefinition) {
       return emitField(definition);
     }
     assert(definition is tree.FunctionDefinition);
     return emitFunction(definition);
   }
 
   FieldDefinition emitField(tree.FieldDefinition definition) {
     currentElement = definition.element;
-    visitStatement(definition.body);
-    List<Statement> bodyParts;
-    for (tree.Variable variable in variableNames.keys) {
-      if (!declaredVariables.contains(variable)) {
-        addDeclaration(variable);
+    Expression initializer;
+    if (definition.hasInitializer) {
+      visitStatement(definition.body);
+      List<Statement> bodyParts;
+      for (tree.Variable variable in variableNames.keys) {
+        if (!declaredVariables.contains(variable)) {
+          addDeclaration(variable);
+        }
       }
-    }
-    if (variables.length > 0) {
-      bodyParts = new List<Statement>();
-      bodyParts.add(new VariableDeclarations(variables));
-      bodyParts.addAll(statementBuffer);
-    } else {
-      bodyParts = statementBuffer;
+      if (variables.length > 0) {
+        bodyParts = new List<Statement>();
+        bodyParts.add(new VariableDeclarations(variables));
+        bodyParts.addAll(statementBuffer);
+      } else {
+        bodyParts = statementBuffer;
+      }
+      initializer = ensureExpression(bodyParts);
     }
 
-    return new FieldDefinition(definition.element, ensureExpression(bodyParts));
+    return new FieldDefinition(definition.element, initializer);
   }
 
   /// Returns an expression that will evaluate all of [bodyParts].
   /// If [bodyParts] is a single [Return] return its value.
   /// Otherwise wrap the body-parts in an immediately invoked closure.
   Expression ensureExpression(List<Statement> bodyParts) {
     if (bodyParts.length == 1) {
       Statement onlyStatement = bodyParts.single;
       if (onlyStatement is Return) {
         return onlyStatement.expression;
@@ skipping 848 matching lines @@
       : super(name, ElementKind.VARIABLE, enclosingElement, variables, null);
 
   ExecutableElement get executableContext => enclosingElement;
 
   ExecutableElement get memberContext => executableContext.memberContext;
 
   bool get isLocal => true;
 
   LibraryElement get implementationLibrary => enclosingElement.library;
 }