Implement override checks.

dart/lib/compiler/implementation/resolver.dart

 // Copyright (c) 2012, 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.
 
 interface TreeElements {
   Element operator[](Node node);
   Selector getSelector(Send send);
   Type getType(TypeAnnotation annotation);
 }
 
@@ skipping 204 matching lines @@
     ResolverVisitor visitor = new ResolverVisitor(compiler, element);
     Type result = visitor.resolveTypeAnnotation(annotation);
     if (result === null) {
       // TODO(karklose): warning.
       return compiler.types.dynamicType;
     }
     return result;
   }
 
   void resolveClass(ClassElement element) {
-    if (element.isResolved) return;
+    if (element.isResolved || element.isBeingResolved) return;
+    element.isBeingResolved = true;
     measure(() {
       ClassNode tree = element.parseNode(compiler);
       ClassResolverVisitor visitor =
         new ClassResolverVisitor(compiler, element.getLibrary(), element);
       visitor.visit(tree);
+      element.isBeingResolved = false;
       element.isResolved = true;
+
+      while (!toResolve.isEmpty()) {
+        ClassElement classElement = toResolve.removeFirst();
+        classElement.ensureResolved(compiler);
+      }
+
+      checkMembers(element);
     });
   }
 
+  checkMembers(ClassElement cls) {
+    if (cls === compiler.objectClass) return;
+    cls.forEachMember((holder, member) {
+      checkAbstractField(member);
+      checkValidOverride(member, cls.lookupSuperMember(member.name));
+    });
+  }
+
+  void checkAbstractField(Element member) {
+    if (member is !AbstractFieldElement) return;
+    if (member.getter === null) return;
+    if (member.setter === null) return;
+    int getterFlags = member.getter.modifiers.flags | Modifiers.FLAG_ABSTRACT;
+    int setterFlags = member.setter.modifiers.flags | Modifiers.FLAG_ABSTRACT;
+    if (getterFlags !== setterFlags) {
+      final mismatchedFlags =
+        new Modifiers.withFlags(null, getterFlags ^ setterFlags);
+      compiler.reportMessage(
+          compiler.spanFromElement(member.getter),
+          MessageKind.GETTER_MISMATCH.error([mismatchedFlags]),
+          api.Diagnostic.ERROR);
+      compiler.reportMessage(
+          compiler.spanFromElement(member.setter),
+          MessageKind.SETTER_MISMATCH.error([mismatchedFlags]),
+          api.Diagnostic.ERROR);
+    }
+  }
+
+  reportErrorWithContext(Element errorneousElement,
+                         MessageKind errorMessage,
+                         Element contextElement,
+                         MessageKind contextMessage) {
+    compiler.reportMessage(
+        compiler.spanFromElement(errorneousElement),
+        errorMessage.error([contextElement.name,
+                            contextElement.getEnclosingClass().name]),
+        api.Diagnostic.ERROR);
+    compiler.reportMessage(
+        compiler.spanFromElement(contextElement),
+        contextMessage.error(),
+        api.Diagnostic.INFO);
+  }
+
+
+  void checkValidOverride(Element member, Element superMember) {
+    if (superMember === null) return;
+    if (member.modifiers.isStatic()) {
+      reportErrorWithContext(
+          member, MessageKind.NO_STATIC_OVERRIDE,
+          superMember, MessageKind.NO_STATIC_OVERRIDE_CONT);
+    } else {
+      FunctionElement superFunction = superMember.asFunctionElement();
+      FunctionElement function = member.asFunctionElement();
+      if (superFunction === null || superFunction.isAccessor()) {
+        // Field or accessor in super.
+        if (function !== null && !function.isAccessor()) {
+          // But a plain method in this class.
+          reportErrorWithContext(
+              member, MessageKind.CANNOT_OVERRIDE_FIELD_WITH_METHOD,
+              superMember, MessageKind.CANNOT_OVERRIDE_FIELD_WITH_METHOD_CONT);
+        }
+      } else {
+        // Instance method in super.
+        if (function === null || function.isAccessor()) {
+          // But a field (or accessor) in this class.
+          reportErrorWithContext(
+              member, MessageKind.CANNOT_OVERRIDE_METHOD_WITH_FIELD,
+              superMember, MessageKind.CANNOT_OVERRIDE_METHOD_WITH_FIELD_CONT);
+        } else {
+          // Both are plain instance methods.
+          if (superFunction.requiredParameterCount(compiler) !=
+              function.requiredParameterCount(compiler)) {
+          reportErrorWithContext(
+              member,
+              MessageKind.BAD_ARITY_OVERRIDE,
+              superMember,
+              MessageKind.BAD_ARITY_OVERRIDE_CONT);
+          }
+          // TODO(ahe): Check optional parameters.
+        }
+      }
+    }
+  }
+
   FunctionSignature resolveSignature(FunctionElement element) {
     return compiler.withCurrentElement(element, () {
       FunctionExpression node =
           compiler.parser.measure(() => element.parseNode(compiler));
       return measure(() => SignatureResolver.analyze(
           compiler, node.parameters, node.returnType, element));
     });
   }
 
   FunctionSignature resolveTypedef(TypedefElement element) {
@@ skipping 1849 matching lines @@
 
   TopScope(LibraryElement library) : super(null, library);
   Element lookup(SourceString name) {
     return library.find(name);
   }
 
   Element add(Element newElement) {
     throw "Cannot add an element in the top scope";
   }
 }