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 | 4 |
5 library checked_mode_helper; | 5 library checked_mode_helper; |
6 | 6 |
7 import 'package:expect/expect.dart'; | 7 import 'package:expect/expect.dart'; |
8 | 8 |
9 /// Returns `true` if the program is running in checked mode. | 9 /// Returns `true` if the program is running in checked mode. |
10 bool inCheckedMode() { | 10 bool inCheckedMode() { |
(...skipping 15 matching lines...) Expand all Loading... |
26 checkNoDynamicTypeError(f, message); | 26 checkNoDynamicTypeError(f, message); |
27 } | 27 } |
28 } | 28 } |
29 | 29 |
30 /// Checks that a dynamic type error is thrown if and only if [f] is executed in | 30 /// Checks that a dynamic type error is thrown if and only if [f] is executed in |
31 /// checked mode. | 31 /// checked mode. |
32 void checkDynamicTypeError(f(), [String message]) { | 32 void checkDynamicTypeError(f(), [String message]) { |
33 message = message != null ? ': $message' : ''; | 33 message = message != null ? ': $message' : ''; |
34 try { | 34 try { |
35 f(); | 35 f(); |
36 Expect.isFalse(inCheckedMode(), | 36 Expect.isFalse( |
37 'Missing type error in checked mode$message.'); | 37 inCheckedMode(), 'Missing type error in checked mode$message.'); |
38 } on TypeError catch (e) { | 38 } on TypeError catch (e) { |
39 Expect.isTrue(inCheckedMode(), | 39 Expect.isTrue(inCheckedMode(), 'Unexpected type error in production mode.'); |
40 'Unexpected type error in production mode.'); | |
41 } | 40 } |
42 } | 41 } |
43 | 42 |
44 /// Checks that no dynamic type error is thrown when [f] is executed regardless | 43 /// Checks that no dynamic type error is thrown when [f] is executed regardless |
45 /// of execution mode. | 44 /// of execution mode. |
46 void checkNoDynamicTypeError(f(), [String message]) { | 45 void checkNoDynamicTypeError(f(), [String message]) { |
47 message = message != null ? ': $message' : ''; | 46 message = message != null ? ': $message' : ''; |
48 try { | 47 try { |
49 f(); | 48 f(); |
50 } on TypeError catch (e) { | 49 } on TypeError catch (e) { |
51 String mode = inCheckedMode() ? 'checked mode' : 'production mode'; | 50 String mode = inCheckedMode() ? 'checked mode' : 'production mode'; |
52 Expect.fail('Unexpected type error in $mode$message.'); | 51 Expect.fail('Unexpected type error in $mode$message.'); |
53 } | 52 } |
54 } | 53 } |
OLD | NEW |