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 warnin
g | 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 class C extends Object with A { | 13 class C extends Object with A { |
14 test() { | 14 test() { |
15 super.v = 1; /// 01: continued | 15 super.v = 1; /// 01: continued |
16 } | 16 } |
17 } | 17 } |
18 main() { | 18 main() { |
19 C c = new C(); | 19 C c = new C(); |
20 Expect.throws(() => c.test(), (e) => e is NoSuchMethodError); /// 01: continue
d | 20 Expect.throws(() => c.test(), (e) => e is NoSuchMethodError); /// 01: continue
d |
21 } | 21 } |
OLD | NEW |