Refactor SsaBuilder.visitSuperSend.

pkg/compiler/lib/src/resolution/semantic_visitor.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.
 
 library dart2js.semantics_visitor;
 
 import '../constants/expressions.dart';
 import '../dart2jslib.dart' show invariant;
 import '../dart_types.dart';
 import '../elements/elements.dart';
@@ skipping 494 matching lines @@
   ///        m() { super.foo(null, 42); }
   ///     }
   ///
   R visitSuperMethodInvoke(
       Send node,
       MethodElement method,
       NodeList arguments,
       CallStructure callStructure,
       A arg);
 
+  /// Invocation of the super [method] with incompatible [arguments].
+  ///
+  /// For instance
+  ///     class B {
+  ///       foo(a, b) {}
+  ///     }
+  ///     class C extends B {
+  ///        m() { super.foo(null); } // One argument missing.
+  ///     }
+  ///
+  R visitSuperMethodIncompatibleInvoke(
+      Send node,
+      MethodElement method,
+      NodeList arguments,
+      CallStructure callStructure,
+      A arg);
+
   /// Assignment of [rhs] to the super [method].
   ///
   /// For instance
   ///     class B {
   ///       foo(a, b) {}
   ///     }
   ///     class C extends B {
   ///        m() { super.foo = rhs; }
   ///     }
   ///
@@ skipping 750 matching lines @@
       A arg);
 
   /// Index expression `super[index]` where 'operator []' is unresolved.
   ///
   /// For instance:
   ///     class B {}
   ///     class C extends B {
   ///       m(a) => super[a];
   ///     }
   ///
-  R errorUnresolvedSuperIndex(
+  R visitUnresolvedSuperIndex(
       Send node,
       Element element,
       Node index,
       A arg);
 
   /// Prefix operation on an index expression `operator super[index]` where
   /// 'operator []' or 'operator []=' is unresolved and the operation
   /// is defined by [operator].
   ///
   /// For instance:
@@ skipping 1367 matching lines @@
   ///     m5() => unresolved.Foo.bar;
   ///     m6() => C.unresolved;
   ///     m7() => prefix.C.unresolved;
   ///
   // TODO(johnniwinther): Split the cases in which a prefix is resolved.
   R errorUnresolvedGet(
       Send node,
       Element element,
       A arg);
 
+  /// Read of the unresolved super [element].
+  ///
+  /// For instance
+  ///     class B {}
+  ///     class C {
+  ///       m() => super.foo;
+  ///     }
+  ///
+  R visitUnresolvedSuperGet(
+      Send node,
+      Element element,
+      A arg);
+
   /// Assignment of [rhs] to the unresolved [element].
   ///
   /// For instance
   ///     class C {}
   ///     m1() => unresolved = 42;
   ///     m2() => prefix.unresolved = 42;
   ///     m3() => Unresolved.foo = 42;
   ///     m4() => unresolved.foo = 42;
   ///     m5() => unresolved.Foo.bar = 42;
   ///     m6() => C.unresolved = 42;
@@ skipping 19 matching lines @@
   ///     m7() => prefix.C.unresolved(null, 42);
   ///
   // TODO(johnniwinther): Split the cases in which a prefix is resolved.
   R errorUnresolvedInvoke(
       Send node,
       Element element,
       NodeList arguments,
       Selector selector,
       A arg);
 
+  /// Invocation of the unresolved super [element] with [arguments].
+  ///
+  /// For instance
+  ///     class B {}
+  ///     class C extends B {
+  ///       m() => super.foo();
+  ///     }
+  ///
+  R visitUnresolvedSuperInvoke(
+      Send node,
+      Element element,
+      NodeList arguments,
+      Selector selector,
+      A arg);
+
   /// Compound assignment of [rhs] on the unresolved [element].
   ///
   /// For instance
   ///     class C {}
   ///     m1() => unresolved += 42;
   ///     m2() => prefix.unresolved += 42;
   ///     m3() => Unresolved.foo += 42;
   ///     m4() => unresolved.foo += 42;
   ///     m5() => unresolved.Foo.bar += 42;
   ///     m6() => C.unresolved += 42;
@@ skipping 81 matching lines @@
 
   /// Unary operation on the unresolved super [element].
   ///
   /// For instance
   ///     class B {
   ///     }
   ///     class C extends B {
   ///       m() => -super;
   ///     }
   ///
-  R errorUnresolvedSuperUnary(
+  R visitUnresolvedSuperUnary(
       Send node,
       UnaryOperator operator,
       Element element,
       A arg);
 
   /// Binary operation on the unresolved super [element].
   ///
   /// For instance
   ///     class B {
   ///     }
   ///     class C extends B {
   ///       m() => super + 42;
   ///     }
   ///
-  R errorUnresolvedSuperBinary(
+  R visitUnresolvedSuperBinary(
       Send node,
       Element element,
       BinaryOperator operator,
       Node argument,
       A arg);
 
   /// Invocation of an undefined unary [operator] on [expression].
   R errorUndefinedUnaryExpression(
       Send node,
       Operator operator,
@@ skipping 716 matching lines @@
   ///       C() : this._(42);
   ///     }
   ///
   R errorUnresolvedThisConstructorInvoke(
       Send node,
       Element element,
       NodeList arguments,
       Selector selector,
       A arg);
 }