dart2js cps: Access to lazily initialized fields.

pkg/compiler/lib/src/cps_ir/cps_ir_builder.dart

 // Copyright (c) 2013, 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 dart2js.ir_builder;
 
 import '../constants/constant_system.dart';
 import '../constants/expressions.dart';
 import '../constants/values.dart' show PrimitiveConstantValue;
 import '../dart_types.dart';
@@ skipping 891 matching lines @@
 
   ir.ConstructorDefinition makeConstructorDefinition(
       List<ConstantExpression> defaults, List<ir.Initializer> initializers) {
     FunctionElement element = state.currentElement;
     ir.Body body = makeBody();
     return new ir.ConstructorDefinition(
         element, state.thisParameter, state.functionParameters, body, initializers,
         state.localConstants, defaults);
   }
 
+  ir.FunctionDefinition makeLazyFieldInitializer() {
+    ir.Body body = makeBody();
+    FieldElement element = state.currentElement;
+    return new ir.FunctionDefinition(element, null, [], body, [], []);
+  }
+
   /// Create a invocation of the [method] on the super class where the call
   /// structure is defined [callStructure] and the argument values are defined
   /// by [arguments].
   ir.Primitive buildSuperMethodInvocation(MethodElement method,
                                           CallStructure callStructure,
                                           List<ir.Primitive> arguments) {
     // TODO(johnniwinther): This shouldn't be necessary.
     SelectorKind kind = Elements.isOperatorName(method.name)
         ? SelectorKind.OPERATOR : SelectorKind.CALL;
     Selector selector =
@@ skipping 155 matching lines @@
       List<ir.Primitive> arguments,
       {SourceInformation sourceInformation}) {
     Selector selector =
         new Selector(SelectorKind.CALL, function.memberName, callStructure);
     return _buildInvokeStatic(
         function, selector, arguments, sourceInformation);
   }
 
   /// Create a read access of the static [field].
   ir.Primitive buildStaticFieldGet(FieldElement field,
-                                   {SourceInformation sourceInformation}) {
+                                   SourceInformation sourceInformation) {
     return addPrimitive(new ir.GetStatic(field, sourceInformation));
   }
 
+  /// Create a read access of a static [field] that might not have been
+  /// initialized yet.
+  ir.Primitive buildStaticFieldLazyGet(FieldElement field,
+                                       SourceInformation sourceInformation) {
+    return _continueWithExpression(
+        (k) => new ir.GetLazyStatic(field, k, sourceInformation));
+  }
+
   /// Create a getter invocation of the static [getter].
   ir.Primitive buildStaticGetterGet(MethodElement getter,
                                     {SourceInformation sourceInformation}) {
     Selector selector = new Selector.getter(getter.name, getter.library);
     return _buildInvokeStatic(
         getter, selector, const <ir.Primitive>[], sourceInformation);
   }
 
   /// Create a read access of the static [function], i.e. a closurization of
   /// [function].
   ir.Primitive buildStaticFunctionGet(MethodElement function,
                                       {SourceInformation sourceInformation}) {
     return addPrimitive(new ir.GetStatic(function, sourceInformation));
   }
 
   /// Create a write access to the static [field] with the [value].
   ir.Primitive buildStaticFieldSet(FieldElement field,
                                    ir.Primitive value,
-                                   {SourceInformation sourceInformation}) {
+                                   [SourceInformation sourceInformation]) {
     add(new ir.SetStatic(field, value, sourceInformation));
     return value;
   }
 
   /// Create a setter invocation of the static [setter] with the [value].
   ir.Primitive buildStaticSetterSet(MethodElement setter,
                                     ir.Primitive value,
                                     {SourceInformation sourceInformation}) {
     Selector selector = new Selector.setter(setter.name, setter.library);
     _buildInvokeStatic(
@@ skipping 1601 matching lines @@
 }
 
 /// Synthetic parameter to a JavaScript factory method that takes the type
 /// argument given for the type variable [variable].
 class TypeInformationParameter implements Local {
   final TypeVariableElement variable;
   final ExecutableElement executableContext;
   TypeInformationParameter(this.variable, this.executableContext);
   String get name => variable.name;
 }