Compile time constants with fields.

frog/leg/compile_time_constants.dart

 // Copyright (c) 2012, 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.
 
 class Constant implements Hashable {
   const Constant();
 
   bool isNull() => false;
   bool isBool() => false;
   bool isTrue() => false;
@@ skipping 479 matching lines @@
       Constant result = initialVariableValues[element];
       return result;
     }
     // TODO(floitsch): keep track of currently compiling elements so that we
     // don't end up in an infinite loop: final x = y; final y = x;
     TreeElements definitions = compiler.analyzeElement(element);
     Constant constant =  compileVariableWithDefinitions(element, definitions);
     return constant;
   }
 
-  compileVariableWithDefinitions(VariableElement element,
-                                 TreeElements definitions) {
+  Constant compileVariableWithDefinitions(VariableElement element,
+                                          TreeElements definitions) {
     return measure(() {
       Node node = element.parseNode(compiler);
       assert(node !== null);
       SendSet assignment = node.asSendSet();
       var value;
       if (assignment === null) {
         // No initial value.
         value = new NullConstant();
       } else {
         Node right = assignment.arguments.head;
         CompileTimeConstantEvaluator evaluator =
             new CompileTimeConstantEvaluator(this, definitions, compiler);
         value = evaluator.evaluate(right);
       }
       initialVariableValues[element] = value;
       return value;
     });
   }
 
-  ConstructedConstant compileObjectConstruction(Node node,
-                                                Type type,
-                                                List arguments) {
-    if (!arguments.isEmpty()) {
-      compiler.unimplemented("ConstantHandler with arguments", node: node);
-    }
-    ClassElement classElement = type.element;
-    for (Element member in classElement.members) {
-      if (Elements.isInstanceField(member)) {
-        compiler.unimplemented("ConstantHandler with fields", node: node);
-      }
-    }
-    if (classElement.superclass != compiler.coreLibrary.find(Types.OBJECT)) {
-      compiler.unimplemented("ConstantHandler with super", node: node);
-    }
-    compiler.registerInstantiatedClass(classElement);
-    Constant constant = new ConstructedConstant(type, arguments);
-    registerCompileTimeConstant(constant);
-    return constant;
-  }
-
-  ListConstant compileListLiteral(Node node,
-                                  Type type,
-                                  List<Constant> arguments) {
-    Constant constant = new ListConstant(type, arguments);
-    registerCompileTimeConstant(constant);
-    return constant;
-  }
-
   /**
    * Returns a [List] of static non final fields that need to be initialized.
    * The list must be evaluated in order since the fields might depend on each
    * other.
    */
   List<VariableElement> getStaticNonFinalFieldsForEmission() {
     return initialVariableValues.getKeys().filter((element) {
       return element.kind == ElementKind.FIELD
           && !element.isInstanceMember()
           && !element.modifiers.isFinal();
@@ skipping 110 matching lines @@
     }
   }
 
   String getJsConstructor(ClassElement element) {
     return compiler.namer.isolatePropertyAccess(element);
   }
 }
 
 class CompileTimeConstantEvaluator extends AbstractVisitor {
   final ConstantHandler constantHandler;
-  final TreeElements definitions;
+  final TreeElements elements;
   final Compiler compiler;
+  final Map<Element, Constant> definitions = null;
 
   CompileTimeConstantEvaluator(this.constantHandler,
-                               this.definitions,
+                               this.elements,
                                this.compiler);
 
+  CompileTimeConstantEvaluator.withDefinitions(this.constantHandler,
+                                               this.elements,
+                                               this.compiler,
+                                               this.definitions);
+
   Constant evaluate(Node node) {
     return node.accept(this);
   }
 
   visitNode(Node node) {
     compiler.unimplemented("CompileTimeConstantEvaluator", node: node);
   }
 
   Constant visitLiteralBool(LiteralBool node) {
     // TODO(floitsch): make BoolConstant a factory and cache the two values
@@ skipping 12 matching lines @@
   Constant visitLiteralList(LiteralList node) {
     if (!node.isConst()) error(node);
     List<Constant> arguments = <Constant>[];
     for (Link<Node> link = node.elements.nodes;
          !link.isEmpty();
          link = link.tail) {
       arguments.add(evaluate(link.head));
     }
     // TODO(floitsch): get type from somewhere.
     Type type = null;
-    return constantHandler.compileListLiteral(node, type, arguments);
+    Constant constant = new ListConstant(type, arguments);
+    constantHandler.registerCompileTimeConstant(constant);
+    return constant;
   }
 
   Constant visitLiteralMap(LiteralMap node) {
     // TODO(floitsch): check for isConst, once the parser adds it into the node.
     // if (!node.isConst()) error(node);
     List<StringConstant> keys = <StringConstant>[];
     List<Constant> values = <Constant>[];
     bool hasProtoKey = false;
     for (Link<Node> link = node.entries.nodes;
          !link.isEmpty();
@@ skipping 36 matching lines @@
 
   Constant visitLiteralNull(LiteralNull node) {
     return new NullConstant();
   }
 
   Constant visitLiteralString(LiteralString node) {
     return new StringConstant(node.dartString);
   }
 
   // TODO(floitsch): provide better error-messages.
-  visitSend(Send send) {
-    Element element = definitions[send];
+  Constant visitSend(Send send) {
+    Element element = elements[send];
     if (Elements.isStaticOrTopLevelField(element)) {
       if (element.modifiers === null ||
           !element.modifiers.isFinal()) {
         error(send);
       }
       return constantHandler.compileVariable(element);
     } else if (send.isPrefix) {
       assert(send.isOperator);
       Constant receiverConstant = evaluate(send.receiver);
       Operator op = send.selector;
       Constant folded;
       switch (op.source.stringValue) {
         case "!":
           folded = const NotOperation().fold(receiverConstant);
           break;
         case "-":
           folded = const NegateOperation().fold(receiverConstant);
           break;
         case "~":
           folded = const BitNotOperation().fold(receiverConstant);
           break;
         default:
           compiler.internalError("Unexpected operator.", node: op);
           break;
       }
       if (folded === null) error(send);
       return folded;
+    } else if (Elements.isLocal(element)) {
+      if (definitions === null) error(send);

[ngeoffray, 2012/03/12 14:02:53]

What does it mean to not have a definitions? Not being in a function context?
Could you somehow abstract that?

[floitsch, 2012/03/12 14:37:53]

Done.

+      Constant constant = definitions[element];
+      if (constant === null) {
+        compiler.internalError("Local variable without value", node: send);
+      }
+      return constant;
     } else if (send.isOperator && !send.isPostfix) {
       assert(send.argumentCount() == 1);
       Constant left = evaluate(send.receiver);
       Constant right = evaluate(send.argumentsNode.nodes.head);
       Operator op = send.selector.asOperator();
       Constant folded;
       switch (op.source.stringValue) {
         case "+":
           if (left.isString() && !right.isString()) {
             // At the moment only compile-time concatenation of two strings is
@@ skipping 74 matching lines @@
       if (folded === null) error(send);
       return folded;
     }
     return super.visitSend(send);
   }
 
   visitSendSet(SendSet node) {
     error(node);
   }
 
-  visitNewExpression(NewExpression node) {
-    if (!node.isConst()) error(node);
-    Send send = node.send;
-    List arguments;
-    if (send.arguments.isEmpty()) {
-      arguments = const [];
-    } else {
-      arguments = [];
-      for (Link<Node> link = send.arguments;
-           !link.isEmpty();
-           link = link.tail) {
-        arguments.add(evaluate(link.head));
+  Constant visitNewExpression(NewExpression node) {
+    List<Constant> compileArguments() {
+      if (!node.isConst()) error(node);
+      Send send = node.send;
+      List<Constant> arguments;
+      if (send.arguments.isEmpty()) {
+        arguments = const [];

[ngeoffray, 2012/03/12 14:02:53]

const <Constant>[];

[floitsch, 2012/03/12 14:37:53]

Done.

+      } else {
+        arguments = [];

[ngeoffray, 2012/03/12 14:02:53]

<Constant>[];

[floitsch, 2012/03/12 14:37:53]

Done.

+        for (Link<Node> link = send.arguments;
+             !link.isEmpty();
+             link = link.tail) {
+          arguments.add(evaluate(link.head));
+        }
+      }
+      return arguments;
+    }
+
+    void assignArgumentsToParameters(
+        List<Constant> arguments,
+        FunctionParameters parameters,
+        Map<Element, Constant> constructorDefinitions) {
+      if (arguments.length != parameters.parameterCount) {
+        if (arguments.length < parameters.parameterCount &&
+            arguments.length >= parameters.requiredParameterCount) {
+          compiler.unimplemented("ConstantHandler with optional arguments",
+                                 node: node);
+        } else {
+          error(node);
+        }
+      }
+      int index = 0;
+      parameters.forEachParameter((Element parameter) {
+        constructorDefinitions[parameter] = arguments[index++];
+      });
+    }
+
+    void compileInitializers(Link<Node> initializers,
+                             CompileTimeConstantEvaluator evaluator,
+                             TreeElements constructorElements,
+                             Map<Element, Constant> constructorDefinitions) {
+      for (Link<Node> link = initializers; !link.isEmpty(); link = link.tail) {
+        assert(link.head is Send);
+        if (link.head is !SendSet) {
+          // A super initializer or constructor redirection.
+          Send call = link.head;
+          assert(Initializers.isSuperConstructorCall(call) ||
+                 Initializers.isConstructorRedirect(call));
+          compiler.unimplemented("ConstantHandler with this or super",
+                                 node: call);
+        } else {
+          // A field initializer.
+          SendSet init = link.head;
+          Link<Node> arguments = init.arguments;
+          assert(!arguments.isEmpty() && arguments.tail.isEmpty());
+          Constant fieldValue = evaluator.evaluate(arguments.head);
+          constructorDefinitions[constructorElements[init]] = fieldValue;
+        }
       }
     }
+
+    List<Constant> buildJsConstructorArguments(
+        ClassElement classElement,
+        Map<Element, Constant> constructorDefinitions) {
+      List<Constant> fieldValues = <Constant>[];
+      for (Element member in classElement.members) {
+        if (member.isInstanceMember() && member.kind == ElementKind.FIELD) {
+          Constant fieldValue = constructorDefinitions[member];
+          if (fieldValue === null) {
+            // Use the default value.
+            fieldValue = constantHandler.compileVariable(member);
+          }
+          fieldValues.add(fieldValue);
+        }
+      }
+      if (classElement.superclass != compiler.coreLibrary.find(Types.OBJECT)) {
+        compiler.unimplemented("ConstantHandler with super", node: node);
+      }
+      return fieldValues;
+    }
+
     // TODO(floitsch): get the type from somewhere.
-    Element constructorElement = definitions[node.send];
-    ClassElement classElement = constructorElement.enclosingElement;
+    FunctionElement constructor = elements[node.send];
+    ClassElement classElement = constructor.enclosingElement;
+    TreeElements constructorElements =
+        compiler.resolver.resolveMethodElement(constructor);
+    FunctionExpression functionNode = constructor.parseNode(compiler);
+    NodeList initializerList = functionNode.initializers;
+    FunctionParameters parameters = constructor.computeParameters(compiler);
+
+    Map<Element, Constant> constructorDefinitions =
+        new Map<Element, Constant>();
+
+    List<Constant> arguments = compileArguments();
+    assignArgumentsToParameters(arguments, parameters, constructorDefinitions);
+    CompileTimeConstantEvaluator initializerEvaluator =
+        new CompileTimeConstantEvaluator.withDefinitions(
+            constantHandler, constructorElements, compiler,
+            constructorDefinitions);
+    if (initializerList !== null) {
+      Link<Node> initializers = functionNode.initializers.nodes;
+      compileInitializers(initializers,
+                          initializerEvaluator,
+                          constructorElements,
+                          constructorDefinitions);
+    }
+    List<Constant> fieldValues =
+        buildJsConstructorArguments(classElement, constructorDefinitions);
+
+    compiler.registerInstantiatedClass(classElement);
     Type type = new SimpleType(classElement.name, classElement);
-    return constantHandler.compileObjectConstruction(node,
-                                                     type,
-                                                     arguments);
+    Constant constant = new ConstructedConstant(type, fieldValues);
+    constantHandler.registerCompileTimeConstant(constant);
+    return constant;
   }
 
   error(Node node) {
     // TODO(floitsch): get the list of constants that are currently compiled
     // and present some kind of stack-trace.
     MessageKind kind = MessageKind.NOT_A_COMPILE_TIME_CONSTANT;
     compiler.reportError(node, new CompileTimeConstantError(kind, const []));
   }
 }