tests/language_strong/override_inheritance_abstract_test.dart

// Copyright (c) 2014, 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.

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();
}