OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 import 'package:expect/expect.dart'; | 5 import 'package:expect/expect.dart'; |
6 | 6 |
7 class A { | 7 class A { |
8 noSuchMethod() { // //# 01: static type warn
ing | 8 noSuchMethod() { // //# 01: static type warn
ing |
9 throw new Exception( // //# 01: continued | 9 throw new Exception( // //# 01: continued |
10 "Wrong noSuchMethod() should not be called"); //# 01: continued | 10 "Wrong noSuchMethod() should not be called"); //# 01: continued |
11 } // //# 01: continued | 11 } // //# 01: continued |
12 } | 12 } |
| 13 |
13 class C extends Object with A { | 14 class C extends Object with A { |
14 test() { | 15 test() { |
15 super.v = 1; //# 01: continued | 16 super.v = 1; //# 01: continued |
16 } | 17 } |
17 } | 18 } |
| 19 |
18 main() { | 20 main() { |
19 C c = new C(); | 21 C c = new C(); |
20 Expect.throws(() => c.test(), (e) => e is NoSuchMethodError); //# 01: continue
d | 22 Expect.throws(() => c.test(), (e) => e is NoSuchMethodError); //# 01: continue
d |
21 } | 23 } |
OLD | NEW |