Implement override checks for methods.

pkg/front_end/lib/src/fasta/kernel/kernel_class_builder.dart

 // Copyright (c) 2016, 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 fasta.kernel_class_builder;
 
 import 'package:kernel/ast.dart'
     show
         Class,
+        Constructor,
         DartType,
         Expression,
         ExpressionStatement,
         Field,
+        FunctionNode,
         InterfaceType,
         ListLiteral,
         Member,
         Name,
+        Procedure,
+        ProcedureKind,
         StaticGet,
         StringLiteral,
         Supertype,
-        Throw;
+        Throw,
+        VariableDeclaration;
 
-import '../errors.dart' show internalError;
+import 'package:kernel/class_hierarchy.dart' show ClassHierarchy;
+
+import '../errors.dart' show internalError, printUnexpected;
 
 import '../messages.dart' show warning;
 
+import '../dill/dill_member_builder.dart' show DillMemberBuilder;
+
 import 'kernel_builder.dart'
     show
         Builder,
         ClassBuilder,
         ConstructorReferenceBuilder,
         KernelLibraryBuilder,
         KernelProcedureBuilder,
         KernelTypeBuilder,
         LibraryBuilder,
         MetadataBuilder,
         ProcedureBuilder,
         TypeVariableBuilder,
         computeDefaultTypeArguments;
 
-import '../dill/dill_member_builder.dart' show DillMemberBuilder;
-
 import 'redirecting_factory_body.dart' show RedirectingFactoryBody;
 
 abstract class KernelClassBuilder
     extends ClassBuilder<KernelTypeBuilder, InterfaceType> {
   KernelClassBuilder(
       List<MetadataBuilder> metadata,
       int modifiers,
       String name,
       List<TypeVariableBuilder> typeVariables,
       KernelTypeBuilder supertype,
@@ skipping 106 matching lines @@
           initializer: literal,
           fileUri: cls.fileUri)..fileOffset = cls.fileOffset;
       cls.addMember(field);
       return new DillMemberBuilder(field, this);
     });
     Field field = constructorsField.target;
     ListLiteral literal = field.initializer;
     literal.expressions
         .add(new StaticGet(constructor.target)..parent = literal);
   }
+
+  void checkOverrides(ClassHierarchy hierarchy) {
+    hierarchy.forEachOverridePair(cls, checkOverride);
+  }
+
+  void checkOverride(
+      Member declaredMember, Member interfaceMember, bool isSetter) {
+    if (declaredMember is Constructor || interfaceMember is Constructor) {
+      internalError(
+          "Constructor in override check.", fileUri, declaredMember.fileOffset);
+    }
+    if (declaredMember is Procedure && interfaceMember is Procedure) {
+      if (declaredMember.kind == ProcedureKind.Method &&
+          interfaceMember.kind == ProcedureKind.Method) {
+        checkMethodOverride(declaredMember, interfaceMember);
+        return;
+      }
+    }
+  }
+
+  void checkMethodOverride(
+      Procedure declaredMember, Procedure interfaceMember) {
+    assert(declaredMember.kind == ProcedureKind.Method);
+    assert(interfaceMember.kind == ProcedureKind.Method);
+    FunctionNode declaredFunction = declaredMember.function;
+    FunctionNode interfaceFunction = interfaceMember.function;

[ahe, 2017/03/16 17:32:37]

These two function nodes have lists of parameters that needs subtype checks, and
potentially strong mode inference.

+    if (declaredFunction.typeParameters?.length !=
+        interfaceFunction.typeParameters?.length) {
+      // TODO(ahe): This causes a lot of errors in typed_data.dart.
+      // printUnexpected(
+      //     fileUri,
+      //     declaredMember.fileOffset,
+      //     "Declared type variables of '$name::${declaredMember.name.name}' "
+      //     "doesn't match those on overridden method "
+      //     "'${interfaceMember.enclosingClass.name}::"
+      //     "${interfaceMember.name.name}'.");
+    }
+    if (declaredFunction.positionalParameters.length <
+            interfaceFunction.requiredParameterCount ||
+        declaredFunction.positionalParameters.length <
+            interfaceFunction.positionalParameters.length) {
+      printUnexpected(
+          fileUri,
+          declaredMember.fileOffset,
+          "The method '$name::${declaredMember.name.name}' has fewer "
+          "positional arguments than those of overridden method "
+          "'${interfaceMember.enclosingClass.name}::"
+          "${interfaceMember.name.name}'.");
+    }
+    if (interfaceFunction.requiredParameterCount < declaredFunction.requiredParameterCount) {
+      printUnexpected(
+          fileUri,
+          declaredMember.fileOffset,
+          "The method '$name::${declaredMember.name.name}' has fewer "
+          "positional arguments than those of overridden method "
+          "'${interfaceMember.enclosingClass.name}::"
+          "${interfaceMember.name.name}'.");
+    }
+    if (declaredFunction.namedParameters.isEmpty &&
+        interfaceFunction.namedParameters.isEmpty) {
+      return;
+    }
+    if (declaredFunction.namedParameters.length <
+        interfaceFunction.namedParameters.length) {
+      printUnexpected(
+          fileUri,
+          declaredMember.fileOffset,
+          "The method '$name::${declaredMember.name.name}' has fewer named "
+          "arguments than those of overridden method "
+          "'${interfaceMember.enclosingClass.name}::"
+          "${interfaceMember.name.name}'.");
+    }
+    Iterator<VariableDeclaration> declaredNamedParameters =
+        declaredFunction.namedParameters.iterator;
+    Iterator<VariableDeclaration> interfaceNamedParameters =
+        interfaceFunction.namedParameters.iterator;
+    outer:
+    while (declaredNamedParameters.moveNext() &&
+        interfaceNamedParameters.moveNext()) {
+      while (declaredNamedParameters.current.name !=
+          interfaceNamedParameters.current.name) {
+        if (!declaredNamedParameters.moveNext()) {
+          printUnexpected(
+              fileUri,
+              declaredMember.fileOffset,
+              "The method '$name::${declaredMember.name.name}' doesn't have "
+              "the named parameter '${interfaceNamedParameters.current.name}' "
+              "of override method '${interfaceMember.enclosingClass.name}::"
+              "${interfaceMember.name.name}'.");
+          break outer;
+        }
+      }
+    }
+  }
 }