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

frog/leg/namer.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.
 
 /**
  * Assigns JavaScript identifiers to Dart variables, class-names and members.
  */
 class Namer {
   final Compiler compiler;
 
@@ skipping 73 matching lines @@
       name = "\$$name";
       assert(!jsReserved.contains(name));
     }
     return name;
   }
 
   String getBailoutName(Element element) {
     return '${getName(element)}\$bailout';
   }
 
+  SourceString getConstructorName(FunctionElement constructor) {
+    String dartName = constructor.name.stringValue;
+    return new SourceString(dartName.replaceFirst('\.', '\$'));
+  }
+
   /**
    * Returns a preferred JS-id for the given element. The returned id is
    * guaranteed to be a valid JS-id. Globals and static fields are furthermore
    * guaranteed to be unique.
    *
    * For accessing statics consider calling
    * [isolateAccess]/[isolateBailoutAccess] or [isolatePropertyAccess] instead.
    */
   String getName(Element element) {
     if (element.isInstanceMember()) {
-      return instanceName(element.name);
+      SourceString name;
+      if (element.kind == ElementKind.GENERATIVE_CONSTRUCTOR_BODY) {
+        ConstructorBodyElement bodyElement = element;
+        name = getConstructorName(bodyElement.constructor);
+      } else {
+        name = element.name;
+      }
+      return instanceName(name);
     }
-
     String cached = globals[element];
     if (cached !== null) return cached;
 
-    String guess = _computeGuess(element);
+    String guess;
+    if (element.kind == ElementKind.GENERATIVE_CONSTRUCTOR) {
+      guess = getConstructorName(element).stringValue;
+    } else {
+      guess = _computeGuess(element);
+    }
     switch (element.kind) {
       case ElementKind.VARIABLE:
       case ElementKind.PARAMETER:
         // The name is not guaranteed to be unique.
         return guess;
 
+      case ElementKind.GENERATIVE_CONSTRUCTOR:
       case ElementKind.FUNCTION:
       case ElementKind.CLASS:
-      case ElementKind.GENERATIVE_CONSTRUCTOR:
       case ElementKind.FIELD:
         // We need to make sure the name is unique.
         int usedCount = usedGlobals[guess];
         if (usedCount === null) {
           // No element with this name has been used before.
           usedGlobals[guess] = 1;
           globals[element] = guess;
           return guess;
         } else {
           // Not the first time we see an element with this name. Append a
@@ skipping 27 matching lines @@
   }
 
   String isolateBailoutAccess(Element element) {
     return '${isolateAccess(element)}\$bailout';
   }
 
   String operatorIs(ClassElement element) {
     return 'is\$${getName(element)}';
   }
 }