// 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.

class A {
  var member1; //# 01: compile-time error
  member2() {} //# 02: compile-time error
  get member3 => null; //# 03: compile-time error
  member4() {} //# 04: compile-time error
}

abstract class I {
  var member5; //# 05: ok
  var member6; //# 06: static type warning
  get member7; //# 07: static type warning
  get member8; //# 08: static type warning
  get member9; //# 09: static type warning
}

abstract class J {
  get member5; //# 05: continued
  member6() {} //# 06: continued
  member7() {} //# 07: continued
  member8() {} //# 08: continued
  member9() {} //# 09: continued
}

abstract class B extends A implements I, J {}

class Class extends B {
  member1() {} //# 01: continued
  var member2; //# 02: continued
  member3() {} //# 03: continued
  get member4 => null; //# 04: continued
  var member5; //# 05: continued
  member8() {} //# 08: continued
  get member9 => null; //# 09: continued
}

main() {
  new Class();
}