OLD | NEW |
---|---|
(Empty) | |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 // Test use of @proxy and noSuchMethod in relation to abstract methods in | |
6 // concrete classes. | |
7 | |
8 abstract class A { | |
9 method6(); /// 06: static type warning | |
10 method7(); /// 07: ok | |
11 method8(); /// 08: ok | |
12 } | |
13 | |
14 abstract class I { | |
15 method9(); /// 09: static type warning | |
16 method10(); /// 10: ok | |
17 method11(); /// 11: ok | |
18 } | |
19 | |
20 @proxy /// 02: ok | |
21 @proxy /// 07: continued | |
22 @proxy /// 10: continued | |
23 class Class1 extends A implements I { | |
24 method1(); /// 01: static type warning | |
25 | |
26 method2(); /// 02: continued | |
karlklose
2014/01/28 12:27:45
Not sure about this one.
Johnni Winther
2014/01/31 12:29:30
Changed to expect static warning (together with 07
| |
27 | |
28 noSuchMethod(_) => null; /// 03: ok | |
29 method3(); /// 03: continued | |
30 | |
31 noSuchMethod(_, [__]) => null; /// 04: ok | |
32 method4(); /// 04: continued | |
33 | |
34 noSuchMethod(_); /// 05: ok | |
35 method5(); /// 05: continued | |
36 | |
37 noSuchMethod(_) => null; /// 08: continued | |
38 | |
39 noSuchMethod(_) => null; /// 11: continued | |
40 } | |
41 | |
42 @proxy /// 12: static type warning | |
43 class B { | |
44 method12(); /// 12: continued | |
45 | |
46 noSuchMethod(_) => null; /// 13: static type warning | |
47 method13(); /// 13: continued | |
48 } | |
49 | |
50 class Class2 extends B { | |
51 } | |
52 | |
53 main() { | |
54 new Class1(); | |
55 new Class2(); | |
56 } | |
OLD | NEW |