Implement super calls.

frog/leg/resolver.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 TreeElements {
   Map<Node, Element> map;
   TreeElements() : map = new LinkedHashMap<Node, Element>();
   operator []=(Node node, Element element) => map[node] = element;
   operator [](Node node) => map[node];
 }
@@ skipping 154 matching lines @@
 
   visit(Node node) {
     if (node == null) return null;
     return node.accept(this);
   }
 
   visitIdentifier(Identifier node) {
     if (node.isThis()) {
       if (!inInstanceContext) error(node, MessageKind.NO_THIS_IN_STATIC);
       return null;
+    } else if (node.isSuper()) {
+      if (!inInstanceContext) error(node, MessageKind.NO_SUPER_IN_STATIC);
+      return null;
     } else {
       Element element = lookup(node, node.source);
       if (element == null) {
         error(node, MessageKind.CANNOT_RESOLVE, [node]);
       }
       return useElement(node, element);
     }
   }
 
   visitTypeAnnotation(TypeAnnotation node) {
@@ skipping 134 matching lines @@
 
     Identifier selector = node.selector.asIdentifier();
     if (selector === null) {
       // We are calling a closure returned from an expression.
       assert(node.selector.asExpression() !== null);
       assert(receiver === null);
       visit(node.selector);
       return null;
     }
 
-    SourceString name = selector.source;
+    SourceString name = selector.asIdentifier().source;
     // No need to assign an element for a logical operation.
     if (isLogicalOperator(selector)) return null;
 
     Element target = null;
-    if (node.isOperator) {
+    if (node.receiver !== null
+        && node.receiver.asIdentifier() !== null
+        && node.receiver.asIdentifier().isSuper()) {
+      ClassElement thisElement = enclosingElement.enclosingElement;

[ngeoffray, 2012/01/10 16:52:50]

I think I'd prefer having a classElement field in ResolverVisitor. It looks like
this does not scale with closures.

[karlklose, 2012/01/11 12:45:17]

Done, added field currentClass.

+      ClassElement superElement = thisElement.superClass;
+      if (superElement === null) {

[ngeoffray, 2012/01/10 16:52:50]

Should we attach the objectElement to the superElement in the Element instead?

[karlklose, 2012/01/11 12:45:17]

Done.

+        superElement = compiler.universe.find(compiler.types.OBJECT);
+      }
+      target = superElement.lookupLocalMember(name);
+      if (target == null) {
+        error(node, MessageKind.METHOD_NOT_FOUND, [superElement.name, name]);
+      }
+    } else if (node.isOperator) {
       return null;
     } else if (node.receiver === null) {
       target = lookup(node, name);
       if (target == null && !enclosingElement.isInstanceMember()) {
         error(node, MessageKind.CANNOT_RESOLVE, [name]);
       }
     } else if (receiver === null) {
       return null;
     } else if (receiver.kind === ElementKind.CLASS) {
       ClassElement receiverClass = receiver;
       target = receiverClass.resolve(compiler).lookupLocalMember(name);
       if (target == null) {
-        error(node, MessageKind.METHOD_NOT_FOUND, [receiver, name]);
+        error(node, MessageKind.METHOD_NOT_FOUND, [receiver.name, name]);
       } else if (target.isInstanceMember()) {
-        error(node, MessageKind.MEMBER_NOT_STATIC, [receiver, name]);
+        error(node, MessageKind.MEMBER_NOT_STATIC, [receiver.name, name]);
       }
     }
     return target;
   }
 
   visitSend(Send node) {
     Element target = resolveSend(node);
     // TODO(ngeoffray): If target is a field, check that there's a
     // getter.
     return useElement(node, target);
@@ skipping 354 matching lines @@
 class TopScope extends Scope {
   Universe universe;
 
   TopScope(Universe this.universe) : super(null, null);
   Element lookup(SourceString name) => universe.find(name);
 
   Element add(Element element) {
     throw "Cannot add an element in the top scope";
   }
 }