Implement override checks.

dart/lib/compiler/implementation/warnings.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 MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static final GENERIC = const MessageKind('#{1}');
 
@@ skipping 161 matching lines @@
 
   static final ADDITIONAL_TYPE_ARGUMENT = const MessageKind(
       "additional type argument");
 
   static final MISSING_TYPE_ARGUMENT = const MessageKind(
       "missing type argument");
 
   static final MISSING_ARGUMENTS_TO_ASSERT = const MessageKind(
       "missing arguments to assert");
 
+  static final GETTER_MISMATCH = const MessageKind(
+      "Error: setter disagrees on: #{1}.");
+
+  static final SETTER_MISMATCH = const MessageKind(
+      "Error: getter disagrees on: #{1}.");
+
+  static final NO_STATIC_OVERRIDE = const MessageKind(
+      "Error: static member cannot override instance member '#{1}' of '#{2}'.");
+
+  static final NO_STATIC_OVERRIDE_CONT = const MessageKind(
+      "Info: this is the instance member that cannot be overridden "
+      "by a static member.");
+
+  static final CANNOT_OVERRIDE_FIELD_WITH_METHOD = const MessageKind(
+      "Error: method cannot override field '#{1}' of '#{2}'.");
+
+  static final CANNOT_OVERRIDE_FIELD_WITH_METHOD_CONT = const MessageKind(
+      "Info: this is the field that cannot be overridden by a method.");
+
+  static final CANNOT_OVERRIDE_METHOD_WITH_FIELD = const MessageKind(
+      "Error: field cannot override method '#{1}' of '#{2}'.");
+
+  static final CANNOT_OVERRIDE_METHOD_WITH_FIELD_CONT = const MessageKind(
+      "Info: this is the method that cannot be overridden by a field.");
+
+  static final BAD_ARITY_OVERRIDE = const MessageKind(
+      "Error: cannot override method '#{1}' in '#{2}'; "
+      "the parameters do not match.");
+
+  static final BAD_ARITY_OVERRIDE_CONT = const MessageKind(
+      "Info: this is the method whose parameters do not match.");
+
   static final COMPILER_CRASHED = const MessageKind(
       "Error: The compiler crashed when compiling this element.");
 
   static final PLEASE_REPORT_THE_CRASH = const MessageKind('''
 The compiler is broken.
 
 When compiling the above element, the compiler crashed. It is not
 possible to tell if this is caused by a problem in your program or
 not. Regardless, the compiler should not crash.
 
@@ skipping 77 matching lines @@
 
 class CompileTimeConstantError extends Diagnostic {
   CompileTimeConstantError(MessageKind kind, List<Type> arguments)
     : super(kind, arguments);
 }
 
 class CompilationError extends Diagnostic {
   CompilationError(MessageKind kind, List<Type> arguments)
     : super(kind, arguments);
 }