OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 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 | 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 // Dart test program for constructors and initializers. | 4 // Dart test program for constructors and initializers. |
5 | 5 |
6 // Check function subtyping. | 6 // Check function subtyping. |
7 | 7 |
8 import 'package:expect/expect.dart'; | 8 import 'package:expect/expect.dart'; |
9 | 9 |
10 class A {} | 10 class A {} |
| 11 |
11 class B extends A {} | 12 class B extends A {} |
| 13 |
12 class C extends A {} | 14 class C extends A {} |
13 | 15 |
14 class Class<K,V> { | 16 class Class<K, V> { |
15 void forEach(void f(K k, V v)) {} | 17 void forEach(void f(K k, V v)) {} |
16 } | 18 } |
17 | 19 |
18 main() { | 20 main() { |
19 Class<B,C> c = new Class<B,C>(); | 21 Class<B, C> c = new Class<B, C>(); |
20 c.forEach((A a, A b) {}); | 22 c.forEach((A a, A b) {}); |
21 c.forEach((B a, C b) {}); | 23 c.forEach((B a, C b) {}); |
22 try { | 24 try { |
23 c.forEach((A a, B b) {}); | 25 c.forEach((A a, B b) {}); |
24 Expect.isFalse(isCheckedMode()); | 26 Expect.isFalse(isCheckedMode()); |
25 } catch (e) { | 27 } catch (e) { |
26 Expect.isTrue(isCheckedMode()); | 28 Expect.isTrue(isCheckedMode()); |
27 } | 29 } |
28 } | 30 } |
29 | 31 |
30 | |
31 isCheckedMode() { | 32 isCheckedMode() { |
32 try { | 33 try { |
33 var i = 1; | 34 var i = 1; |
34 String s = i; | 35 String s = i; |
35 return false; | 36 return false; |
36 } catch (e) { | 37 } catch (e) { |
37 return true; | 38 return true; |
38 } | 39 } |
39 } | 40 } |
OLD | NEW |