Perform override and inheritance checks.

tests/language/override_inheritance_abstract_test.dart

+// Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file

[karlklose, 2014/01/28 12:27:45]

Please update the copyright year in new tests.

[Johnni Winther, 2014/01/31 12:29:30]

Done.

+// 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.
+
+abstract class A {
+  method1(); /// 01: ok
+  method5(); /// 05: ok
+  method6(); /// 06: ok
+  method7(); /// 07: static type warning
+  get getter8; /// 08: static type warning
+  set setter9(_); /// 09: static type warning
+  method10(); /// 10: static type warning
+  get getter11; /// 11: static type warning
+  set setter12(_); /// 12: static type warning
+  get field13; /// 13: static type warning
+  set field14(_); /// 14: static type warning
+  method18() {} /// 18: ok
+  method27() {} /// 27: ok
+}
+
+abstract class I {
+  method10() {} /// 10: continued
+  get getter11 => 0; /// 11: continued
+  set setter12(_) {} /// 12: continued
+  var field13; /// 13: continued
+  var field14; /// 14: continued
+  method15() {} /// 15: ok
+  method16() {} /// 16: ok
+  method17() {} /// 17: static type warning
+  method18() {} /// 18: continued
+  var member19; /// 19: static type warning
+  var member20; /// 20: static type warning
+  var member21; /// 21: static type warning
+  get member22 => 0; /// 22: static type warning
+  set member23(_) {} /// 23: static type warning
+  var member24; /// 24: static type warning
+  var field25; /// 25: static type warning
+  var member26; /// 26: static type warning
+}
+
+abstract class J {
+  get member20 => null; /// 20: continued
+  set member20(_) {} /// 20: continued
+  var member21; /// 21: continued
+}
+
+class Class extends A implements I, J {
+  method1() {} /// 01: continued
+  method2(); /// 02: static type warning
+  get getter3; /// 03: static type warning
+  set setter4(_); /// 04: static type warning
+  method5() {} /// 05: continued
+  method6([a]) {} /// 06: continued
+  set field13(_) {} /// 13: continued
+  get field14 => 0; /// 14: continued
+  method15() {} /// 15: continued
+  method16([a]) {} /// 16: continued
+  get member24 => 0; /// 24: continued
+  final field25 = 0; /// 25: continued
+  set member26(_) {} /// 26: continued
+  method27(); /// 27: continued
+}
+
+main() {
+  new Class();
+}