Refactor SsaBuilder.visitSuperSend.

pkg/compiler/lib/src/resolution/send_resolver.dart

 // Copyright (c) 2015, 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 dart2js.semantics_visitor;
 
 enum SendStructureKind {
   GET,
   SET,
   INVOKE,
@@ skipping 216 matching lines @@
     if (semantics == null) {
       return internalError(node, 'No semantics for $node');
     }
     Selector selector = elements.getSelector(node);
     switch (kind) {
       case SendStructureKind.GET:
         return new GetStructure(semantics, selector);
       case SendStructureKind.SET:
         return new SetStructure(semantics, selector);
       case SendStructureKind.INVOKE:
+        if (semantics.kind == AccessKind.SUPER_METHOD) {
+          // TODO(johnniwinther): Find all statically resolved case that should
+          // go here (top level, static, local, ...).
+          if (!selector.callStructure.signatureApplies(semantics.element)) {
+            return new IncompatibleInvokeStructure(semantics, selector);
+          }
+        }
         return new InvokeStructure(semantics, selector);
       case SendStructureKind.UNARY:
         return new UnaryStructure(semantics, unaryOperator, selector);
       case SendStructureKind.NOT:
         assert(selector == null);
         return new NotStructure(semantics, selector);
       case SendStructureKind.BINARY:
         return new BinaryStructure(semantics, binaryOperator, selector);
       case SendStructureKind.INDEX:
         return new IndexStructure(semantics, selector);
@@ skipping 74 matching lines @@
           return new ConstantAccess.typedefTypeLiteral(constant);
         case TypeKind.TYPE_VARIABLE:
           return new StaticAccess.typeParameterTypeLiteral(dartType.element);
         case TypeKind.DYNAMIC:
           return new ConstantAccess.dynamicTypeLiteral(constant);
         default:
           return internalError(node, "Unexpected type literal type: $dartType");
       }
     } else if (node.isSuperCall) {
       if (Elements.isUnresolved(element)) {
-        return new StaticAccess.unresolved(element);
+        return new StaticAccess.unresolvedSuper(element);
       } else if (isCompound && Elements.isUnresolved(getter)) {
         // TODO(johnniwinther): Ensure that [getter] is not null. This happens
         // in the case of missing super getter.
         return new StaticAccess.unresolved(getter);
       } else if (element.isField) {
         if (getter != null && getter != element) {
           CompoundAccessKind accessKind;
           if (getter.isField) {
             accessKind = CompoundAccessKind.SUPER_FIELD_FIELD;
           } else if (getter.isGetter) {
@@ skipping 436 matching lines @@
       return internalError(node, "Unexpected variable $element.");
     }
     if (element.isConst) {
       ConstantExpression constant = elements.getConstant(element.initializer);
       return new ConstantVariableStructure(kind, node, element, constant);
     } else {
       return new NonConstantVariableStructure(kind, node, element);
     }
   }
 }