| // 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. |
| |
| /** |
| * @assertion The result of a lookup of a getter (respectively setter) m in |
| * class C with respect to library L is: If C declares a concrete instance |
| * getter (respectively setter) named m that is accessible to L, then that |
| * getter (respectively setter) is the result of the lookup. Otherwise, if C |
| * has a superclass S, then the result of the lookup is the result of looking |
| * up getter (respectively setter) m in S with respect to L. Otherwise, we say |
| * that the lookup has failed. |
| * @description Checks that if there are appropriately named getters in several |
| * classes in C's hierarchy, only the one from the class closest to C is |
| * returned and the subclasses are not considered. |
| * @author msyabro, sgrekhov@unipro.ru |
| */ |
| import '../../../../Utils/expect.dart'; |
| |
| class S1 { |
| get v { Expect.fail("Wrong getter was called");} |
| } |
| |
| class C1 extends S1 { |
| get v => 1; |
| } |
| |
| class Sub1 extends C1 { |
| get v { Expect.fail("Wrong getter was called");} |
| } |
| |
| class S2 { |
| get v { Expect.fail("Wrong getter was called");} |
| } |
| |
| class S3 extends S2 { |
| get v => 2; |
| } |
| |
| class C2 extends S3 {} |
| |
| class Sub2 extends C2 { |
| get v { Expect.fail("Wrong getter was called");} |
| } |
| |
| main() { |
| var o1 = new C1(); |
| Expect.equals(1, o1.v); |
| |
| var o2 = new C2(); |
| Expect.equals(2, o2.v); |
| } |