| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2014, 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 that generic types in mixins are handled. | |
| 6 | |
| 7 import 'package:expect/expect.dart'; | |
| 8 | |
| 9 class M<T> { | |
| 10 T field = 0; //# 01: static type warning | |
| 11 } | |
| 12 | |
| 13 class A<U> {} | |
| 14 | |
| 15 class C1<V> = Object with M<V>; | |
| 16 class C2 = Object with M<int>; | |
| 17 class C3 = Object with M<String>; | |
| 18 | |
| 19 main() { | |
| 20 checkNoDynamicTypeError(() => new C1<int>()); // //# 01: continued | |
| 21 checkDynamicTypeError(() => new C1<String>()); //# 01: continued | |
| 22 | |
| 23 checkNoDynamicTypeError(() => new C2()); // //# 01: continued | |
| 24 | |
| 25 checkDynamicTypeError(() => new C3()); // //# 01: continued | |
| 26 } | |
| 27 | |
| 28 /// Returns `true` if the program is running in checked mode. | |
| 29 bool inCheckedMode() { | |
| 30 try { | |
| 31 var i = 42; | |
| 32 String s = i; | |
| 33 } on TypeError catch (e) { | |
| 34 return true; | |
| 35 } | |
| 36 return false; | |
| 37 } | |
| 38 | |
| 39 /// Checks that a dynamic type error is thrown if and only if [f] is executed in | |
| 40 /// checked mode. | |
| 41 void checkDynamicTypeError(f(), [String message]) { | |
| 42 message = message != null ? ': $message' : ''; | |
| 43 try { | |
| 44 f(); | |
| 45 Expect.isFalse( | |
| 46 inCheckedMode(), 'Missing type error in checked mode$message.'); | |
| 47 } on TypeError catch (e) { | |
| 48 Expect.isTrue(inCheckedMode(), 'Unexpected type error in production mode.'); | |
| 49 } | |
| 50 } | |
| 51 | |
| 52 /// Checks that no dynamic type error is thrown when [f] is executed regardless | |
| 53 /// of execution mode. | |
| 54 void checkNoDynamicTypeError(f(), [String message]) { | |
| 55 message = message != null ? ': $message' : ''; | |
| 56 try { | |
| 57 f(); | |
| 58 } on TypeError catch (e) { | |
| 59 String mode = inCheckedMode() ? 'checked mode' : 'production mode'; | |
| 60 Expect.fail('Unexpected type error in $mode$message.'); | |
| 61 } | |
| 62 } | |
| OLD | NEW |