| 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 |