dart2dart

lib/compiler/implementation/dart_backend/renamer.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.
 
 /**
  * Renames only top-level elements that would let to ambiguity if not renamed.
- * TODO(smok): Make sure that top-level fields and methods correctly renamed.
+ * TODO(smok): Make sure that top-level fields are correctly renamed.
  */
 class ConflictingRenamer extends Renamer {
   final Compiler compiler;
   final Map<Element, String> renamed;
   final Set<String> usedTopLevelIdentifiers;
   TreeElements contextElements;
   Element context;
 
   Map<Element, TreeElements> get resolvedElements() =>
       compiler.enqueuer.resolution.resolvedElements;
 
   ConflictingRenamer(this.compiler) :
       renamed = new Map<Element, String>(),
       usedTopLevelIdentifiers = new Set<String>();
 
   void setContext(Element element) {
     this.context = element;
     contextElements = resolvedElements[element];
   }
 
+  String getFactoryName(FunctionExpression node) {

[Anton Muhin, 2012/07/27 11:15:34]

nit: arrow syntax?  here and below

[Roman, 2012/07/27 11:32:45]

Done.

+    return node.name.asSend().selector.asIdentifier().source.slowToString();
+  }
+
+  bool isNamedConstructor(Element element) {
+    return element.isGenerativeConstructor()
+        && element.asFunctionElement().cachedNode.name is Send;
+  }
+
   String renameSendMethod(Send send) {
-    // Rename only if this Send is a function call.
-    if (contextElements[send] !== null && contextElements[send].isFunction()) {
-      return renameElement(contextElements[send]);
+    if (contextElements[send] === null) {

[Anton Muhin, 2012/07/27 11:15:34]

nit: single line

[Roman, 2012/07/27 11:32:45]

Done.

+      return null;
     } else {
-      return null;
+      Element element = contextElements[send];
+      if (element.isTopLevel()) {
+        return renameElement(element);
+      } else if (isNamedConstructor(element)
+          && !Initializers.isConstructorRedirect(send)

[Anton Muhin, 2012/07/27 11:15:34]

why those &&! conditions?

[Roman, 2012/07/27 11:32:45]

We don't want to rename redirects to this(arg) in cases like:
class A{
  A(arg);
  A():this(5);
}

Otherwise "this" will be renamed to "A". Same with "super".
Added comments.

+          && !Initializers.isSuperConstructorCall(send)) {
+        FunctionExpression constructor = element.asFunctionElement().cachedNode;
+        return '${renameType(element.getEnclosingClass().type)}'
+            '.${getFactoryName(constructor)}';
+      } else {
+        return null;
+      }
     }
   }
 
   String renameTypeName(TypeAnnotation typeAnnotation) {
-    if (contextElements === null
-        || contextElements.getType(typeAnnotation) === null) {
-      // We have no info about this type from resolver.
-      // This happens for class member fields.
-      // TODO(smok): Maybe resolver should have this information, fix if so.
-      if (context.isField()
-          && context.variables.computeType(compiler) !== null) {
-        // A field.
-        return renameType(context.variables.type);
-      } else {
-        return typeAnnotation.typeName.unparse();
-      }
-    }
-
-    // TODO(smok): Check if resolver can help us identifying factory
-    // constructors.
-    Type type = contextElements.getType(typeAnnotation);
-    if (typeAnnotation.typeName is Send
-        && typeAnnotation.typeName.receiver.source.slowToString() 
-            == type.name.slowToString()) {
-      // Got factory invocation. Need to rename first part.
-      return "${renameType(type)}."
-          "${typeAnnotation.typeName.selector.source.slowToString()}";
+    Type type;
+    if (context.isClass()) {
+      // This only happens if we're unparsing class declaration.
+      type = new TypeResolver(compiler)
+          .resolveTypeAnnotation(typeAnnotation, null, context);
+    } else {
+      type = compiler.resolveTypeAnnotation(context, typeAnnotation);
     }
     return renameType(type);
   }
 
   String renameType(Type type) => renameElement(type.element);
 
   String renameIdentifier(Identifier node) {
     if (context.isGenerativeConstructor()) {
-      // This is either a factory constructor or simple one.
-      // TODO(smok): Check if resolver can help us identifying factory
+      // This is either a named constructor or simple one.
+      // TODO(smok): Check if resolver can help us identifying named
       // constructors.
       var enclosingClass = context.getEnclosingClass();
       if (node.token.slowToString() == context.name.slowToString()
           || enclosingClass.name.slowToString() == node.token.slowToString()) {
         return renameElement(enclosingClass);
       }
     }
     if (context.isFunction() && context.cachedNode.name == node) {
       return renameElement(context);
     }
@@ skipping 14 matching lines @@
     // local identifiers.
     String name = originalName;
     while (usedTopLevelIdentifiers.contains(name)) {
       name = "_$name";
     }
     usedTopLevelIdentifiers.add(name);
     renamed[element] = name;
     return name;
   }
 }