Implement named constructors and resolving of redirecting constructors and super-initializers.

frog/leg/ssa/builder.dart

 // Copyright (c) 2011, 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 Interceptors {
   Compiler compiler;
   Interceptors(Compiler this.compiler);
 
   SourceString mapOperatorToMethodName(Operator op) {
     String name = op.source.stringValue;
@@ skipping 179 matching lines @@
   }
 
   HGraph buildFactory(ClassElement classElement,
                       ConstructorBodyElement bodyElement,
                       FunctionElement functionElement) {
     openFunction(functionElement);
 
     FunctionExpression function = functionElement.parseNode(compiler, compiler);
     NodeList initializers = function.initializers;
     NodeList parameters = function.parameters;
+    Send redirectConstructor;
+    Send superConstructor;

[ngeoffray, 2012/01/19 14:36:33]

Why adding these?

[karlklose, 2012/01/19 16:06:26]

Removed.

     // Run through the initializers.
     if (initializers !== null) {
       for (Link<Node> link = initializers.nodes;
            !link.isEmpty();
            link = link.tail) {
         assert(link.head is Send);
         if (link.head is !SendSet) {
           compiler.unimplemented('SsaBuilder.buildFactory super-init');
+        } else {
+          SendSet init = link.head;
+          Link<Node> arguments = init.arguments;
+          assert(!arguments.isEmpty() && arguments.tail.isEmpty());
+          visit(arguments.head);
+          HInstruction value = pop();
+          updateDefinition(init, value);
         }
-        SendSet init = link.head;
-        Link<Node> arguments = init.arguments;
-        assert(!arguments.isEmpty() && arguments.tail.isEmpty());
-        visit(arguments.head);
-        HInstruction value = pop();
-        updateDefinition(init, value);
       }
     }
 
     // Call the JavaScript constructor with the fields as argument.
     // TODO(floitsch): allow super calls.
     // TODO(floitsch): allow inits at field declarations.
     List<HInstruction> fieldValues = <HInstruction>[];
     for (Element member in classElement.members) {
       if (member.isInstanceMember() && member.kind == ElementKind.FIELD) {
         HInstruction value = definitions[member];
         if (value === null) {
           value = new HLiteral(null, HType.UNKNOWN);
           add(value);
         }
         fieldValues.add(value);
       }
     }
     HForeignNew newObject = new HForeignNew(classElement, fieldValues);
     add(newObject);
 
     // Call the method body.
     String methodName = compiler.namer.getName(bodyElement);
     List bodyCallInputs = <HInstruction>[];
     bodyCallInputs.add(newObject);
     for (Link link = parameters.nodes; !link.isEmpty(); link = link.tail) {
       Link<Node> identifierLink = link.head.definitions.nodes;
       // We expect exactly one identifier.
       assert(!identifierLink.isEmpty() && identifierLink.tail.isEmpty());
       if (identifierLink.head is !Identifier) {
-        compiler.unimplemented(
-            "SsaBuilder.buildFactory non-identifier");
+        compiler.unimplemented("SsaBuilder.buildFactory non-identifier");
       }
       Identifier name = identifierLink.head;
       Element parameterElement = elements[name];
       HInstruction currentValue = definitions[parameterElement];
       bodyCallInputs.add(currentValue);
     }
     add(new HInvokeDynamicMethod(methodName, bodyCallInputs));
     close(new HReturn(newObject)).addSuccessor(graph.exit);
     return closeFunction();
   }
@@ skipping 542 matching lines @@
   }
 
   void generateGetter(Send send, Element element) {
     if (Elements.isStaticOrTopLevelField(element)) {
       push(new HStatic(element));
     } else if (element === null || Elements.isInstanceField(element)) {
       HInstruction receiver;
       if (send.receiver == null) {
         receiver = thisDefinition;
         if (receiver === null) {
-          compiler.unimplemented("Ssa.generateGetter.", node: send);
+          compiler.unimplemented("SsaBuilder.generateGetter.", node: send);
         }
       } else {
         visit(send.receiver);
         receiver = pop();
       }
       SourceString getterName = send.selector.asIdentifier().source;
       Element staticInterceptor = null;
       if (methodInterceptionEnabled) {
         staticInterceptor = interceptors.getStaticGetInterceptor(getterName);
       }
@@ skipping 598 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     compiler.unimplemented('SsaBuilder.visitCatchBlock', node: node);
   }
 
   visitTypedef(Typedef node) {
     compiler.unimplemented('SsaBuilder.visitTypedef', node: node);
   }
 }