WIP: Compute constant expressions in resolution.

pkg/compiler/lib/src/constants/constructors.dart

 // Copyright (c) 2015, 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.constants.constructors;
 
 import '../dart_types.dart';
 import '../elements/elements.dart' show
     ConstructorElement,
     FieldElement;
 import '../universe/call_structure.dart' show
     CallStructure;
 import '../util/util.dart';
 import 'evaluation.dart';
 import 'expressions.dart';
 
 enum ConstantConstructorKind {
   GENERATIVE,
   REDIRECTING_GENERATIVE,
   REDIRECTING_FACTORY,
+  ERRONEOUS,
 }
 
 /// Definition of a constant constructor.
 abstract class ConstantConstructor {
   ConstantConstructorKind get kind;
 
   /// Computes the type of the instance created in a const constructor
   /// invocation with type [newType].
   InterfaceType computeInstanceType(InterfaceType newType);
 
   /// Computes the constant expressions of the fields of the created instance
   /// in a const constructor invocation with [arguments].
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments,
       CallStructure callStructure);
 
+  ConstructorElement get parentConstructor;
+
   accept(ConstantConstructorVisitor visitor, arg);
 }
 
 abstract class ConstantConstructorVisitor<R, A> {
   const ConstantConstructorVisitor();
 
   R visit(ConstantConstructor constantConstructor, A context) {
     return constantConstructor.accept(this, context);
   }
 
   R visitGenerative(GenerativeConstantConstructor constructor, A arg);
   R visitRedirectingGenerative(
       RedirectingGenerativeConstantConstructor constructor, A arg);
   R visitRedirectingFactory(
       RedirectingFactoryConstantConstructor constructor, A arg);
+  R visitErroneous(ErroneousConstantConstructor constructor, A arg);
 }
 
 /// A generative constant constructor.
 class GenerativeConstantConstructor implements ConstantConstructor{
   final InterfaceType type;
   final Map<dynamic/*int|String*/, ConstantExpression> defaultValues;
   final Map<FieldElement, ConstantExpression> fieldMap;
   final ConstructedConstantExpression superConstructorInvocation;
 
   GenerativeConstantConstructor(
       this.type,
       this.defaultValues,
       this.fieldMap,
       this.superConstructorInvocation);
 
   ConstantConstructorKind get kind => ConstantConstructorKind.GENERATIVE;
 
   InterfaceType computeInstanceType(InterfaceType newType) {
     return type.substByContext(newType);
   }
 
+  ConstructorElement get parentConstructor {
+    if (superConstructorInvocation != null) {
+      return superConstructorInvocation.target;
+    }
+    return null;
+  }
+
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments,
       CallStructure callStructure) {
     NormalizedArguments args = new NormalizedArguments(
         defaultValues, callStructure, arguments);
     Map<FieldElement, ConstantExpression> appliedFieldMap =
         applyFields(args, superConstructorInvocation);
     fieldMap.forEach((FieldElement field, ConstantExpression constant) {
      appliedFieldMap[field] = constant.apply(args);
     });
@@ skipping 72 matching lines @@
   final ConstructedConstantExpression thisConstructorInvocation;
 
   RedirectingGenerativeConstantConstructor(
       this.defaultValues,
       this.thisConstructorInvocation);
 
   ConstantConstructorKind get kind {
     return ConstantConstructorKind.REDIRECTING_GENERATIVE;
   }
 
+  ConstructorElement get parentConstructor {
+    return thisConstructorInvocation.target;
+  }
+
   InterfaceType computeInstanceType(InterfaceType newType) {
     return thisConstructorInvocation.computeInstanceType()
         .substByContext(newType);
   }
 
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments,
       CallStructure callStructure) {
     NormalizedArguments args =
         new NormalizedArguments(defaultValues, callStructure, arguments);
@@ skipping 36 matching lines @@
 /// A redirecting factory constant constructor.
 class RedirectingFactoryConstantConstructor implements ConstantConstructor {
   final ConstructedConstantExpression targetConstructorInvocation;
 
   RedirectingFactoryConstantConstructor(this.targetConstructorInvocation);
 
   ConstantConstructorKind get kind {
     return ConstantConstructorKind.REDIRECTING_FACTORY;
   }
 
+  ConstructorElement get parentConstructor {
+    return targetConstructorInvocation.target;
+  }
+
   InterfaceType computeInstanceType(InterfaceType newType) {
     return targetConstructorInvocation.computeInstanceType()
         .substByContext(newType);
   }
 
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments,
       CallStructure callStructure) {
     ConstantConstructor constantConstructor =
         targetConstructorInvocation.target.constantConstructor;
@@ skipping 15 matching lines @@
   }
 
   String toString() {
     StringBuffer sb = new StringBuffer();
     sb.write("{");
     sb.write("'constructor': ${targetConstructorInvocation.getText()}");
     sb.write("}");
     return sb.toString();
   }
 }
+
+/// An erroneous constant constructor.
+class ErroneousConstantConstructor implements ConstantConstructor {
+  const ErroneousConstantConstructor();
+
+  @override
+  accept(ConstantConstructorVisitor visitor, arg) {
+    return visitor.visitErroneous(this, arg);
+  }
+
+  @override
+  Map<FieldElement, ConstantExpression> computeInstanceFields(
+      List<ConstantExpression> arguments, CallStructure callStructure) {
+    return null;
+  }
+
+  @override
+  InterfaceType computeInstanceType(InterfaceType newType) {
+    throw new UnsupportedError(
+        'ErroneousConstantConstructor.computeInstanceType is unsupported.');
+  }
+
+  @override
+  ConstantConstructorKind get kind => ConstantConstructorKind.ERRONEOUS;
+
+  @override
+  ConstructorElement get parentConstructor => null;
+}