Implement implicit constructors in mixin applications.

sdk/lib/_internal/compiler/implementation/resolution/members.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.
 
 part of resolution;
 
 abstract class TreeElements {
   Element get currentElement;
   Set<Node> get superUses;
 
@@ skipping 288 matching lines @@
         if (isConstructor) {
           if (tree.returnType != null) {
             error(tree, MessageKind.CONSTRUCTOR_WITH_RETURN_TYPE);
           }
           resolveConstructorImplementation(element, tree);
         }
         ResolverVisitor visitor = visitorFor(element);
         visitor.useElement(tree, element);
         visitor.setupFunction(tree, element);
 
-        if (isConstructor) {
+        if (isConstructor && element is! ForwardingConstructorElement) {

[ahe, 2013/04/15 13:36:46]

Can you call a method instead?

           // Even if there is no initializer list we still have to do the
           // resolution in case there is an implicit super constructor call.
           InitializerResolver resolver = new InitializerResolver(visitor);
           FunctionElement redirection =
               resolver.resolveInitializers(element, tree);
           if (redirection != null) {
             resolveRedirectingConstructor(resolver, tree, element, redirection);
           }
+        } else if (element is ForwardingConstructorElement) {

[ahe, 2013/04/15 13:36:46]

Can you call a method instead?

+          // Initializers will be cehcked on the original constructor.
         } else if (tree.initializers != null) {
           error(tree, MessageKind.FUNCTION_WITH_INITIALIZER);
         }
         visitBody(visitor, tree.body);
 
         // Get the resolution tree and check that the resolved
         // function doesn't use 'super' if it is mixed into another
         // class. This is the part of the 'super' mixin check that
         // happens when a function is resolved after the mixin
         // application has been performed.
@@ skipping 2165 matching lines @@
     resolveSelector(node.send);
     resolveArguments(node.send.argumentsNode);
     useElement(node.send, constructor);
     if (Elements.isUnresolved(constructor)) return constructor;
     Selector callSelector = mapping.getSelector(node.send);
     if (!callSelector.applies(constructor, compiler)) {
       warnArgumentMismatch(node.send, constructor);
       compiler.backend.registerThrowNoSuchMethod(mapping);
     }
     compiler.withCurrentElement(constructor, () {
-      FunctionExpression tree = constructor.parseNode(compiler);
+      FunctionElement target = constructor;
+      if (constructor is ForwardingConstructorElement) {

[ahe, 2013/04/15 13:36:46]

Can you call a method instead.

+        target = constructor.superConstructor;
+      }
+      FunctionExpression tree = target.parseNode(compiler);

[ahe, 2013/04/15 13:36:46]

What happens if your superclass is itself a mixin application?

       compiler.resolver.resolveConstructorImplementation(constructor, tree);
     });
 
     if (constructor.defaultImplementation != constructor) {
       // Support for deprecated interface support.
       // TODO(ngeoffray): Remove once we remove such support.
       world.registerStaticUse(constructor.declaration);
       world.registerInstantiatedClass(
           constructor.getEnclosingClass().declaration, mapping);
       constructor = constructor.defaultImplementation;
@@ skipping 665 matching lines @@
 
     // The class that is the result of a mixin application implements
     // the interface of the class that was mixed in so always prepend
     // that to the interface list.
     interfaces = interfaces.prepend(mixinType);
     assert(mixinApplication.interfaces == null);
     mixinApplication.interfaces = interfaces;
 
     assert(mixinApplication.mixin == null);
     mixinApplication.mixin = resolveMixinFor(mixinApplication, mixinType);
+
+    // Create forwarding constructors for constructor defined in the super class

[ahe, 2013/04/15 13:36:46]

superclass is one word.

+    // because they are now hidden by the mixin application.
+    ClassElement superclass = supertype.element;
+    bool constructorsAdded = false;

[ahe, 2013/04/15 13:36:46]

Where is this used?

+    superclass.forEachLocalMember((Element member) {
+      if (!member.isConstructor() || member.isSynthesized) return;
+      assert(!member.isFactoryConstructor());

[ahe, 2013/04/15 13:36:46]

Please use assert(invariant(...))

+      FunctionElement constructor = member;
+      SourceString constructorName;
+      if (constructor.name == superclass.name) {
+        if (constructor.computeSignature(compiler).parameterCount == 0) {
+          return;
+        }
+        constructorName = mixinApplication.name;
+      } else {
+        SourceString selector =
+            Elements.deconstructConstructorName(constructor.name, superclass);
+        constructorName =
+            Elements.constructConstructorName(mixinApplication.name, selector);
+      }
+      Element forwarder =
+          new ForwardingConstructorElementX(constructorName, constructor,
+                                            mixinApplication);
+      mixinApplication.addToScope(forwarder, compiler);
+      constructorsAdded = true;
+    });
     mixinApplication.addDefaultConstructorIfNeeded(compiler);
     calculateAllSupertypes(mixinApplication);
   }
 
   ClassElement resolveMixinFor(MixinApplicationElement mixinApplication,
                                DartType mixinType) {
     ClassElement mixin = mixinType.element;
     mixin.ensureResolved(compiler);
 
     // Check for cycles in the mixin chain.
@@ skipping 677 matching lines @@
     return e;
   }
 
   /// Assumed to be called by [resolveRedirectingFactory].
   Element visitReturn(Return node) {
     Node expression = node.expression;
     return finishConstructorReference(visit(expression),
                                       expression, expression);
   }
 }