OLD | NEW |
| (Empty) |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 library checked_mode_helper; | |
6 | |
7 import 'package:expect/expect.dart'; | |
8 | |
9 /// Returns `true` if the program is running in checked mode. | |
10 bool inCheckedMode() { | |
11 try { | |
12 var i = 42; | |
13 String s = i; | |
14 } on TypeError catch (e) { | |
15 return true; | |
16 } | |
17 return false; | |
18 } | |
19 | |
20 /// Checks that a dynamic type error is thrown if and only if [f] is executed in | |
21 /// checked mode and [expectTypeError] is `true`. | |
22 void testDynamicTypeError(bool expectTypeError, f(), [String message]) { | |
23 if (expectTypeError) { | |
24 checkDynamicTypeError(f, message); | |
25 } else { | |
26 checkNoDynamicTypeError(f, message); | |
27 } | |
28 } | |
29 | |
30 /// Checks that a dynamic type error is thrown if and only if [f] is executed in | |
31 /// checked mode. | |
32 void checkDynamicTypeError(f(), [String message]) { | |
33 message = message != null ? ': $message' : ''; | |
34 try { | |
35 f(); | |
36 Expect.isFalse( | |
37 inCheckedMode(), 'Missing type error in checked mode$message.'); | |
38 } on TypeError catch (e) { | |
39 Expect.isTrue(inCheckedMode(), 'Unexpected type error in production mode.'); | |
40 } | |
41 } | |
42 | |
43 /// Checks that no dynamic type error is thrown when [f] is executed regardless | |
44 /// of execution mode. | |
45 void checkNoDynamicTypeError(f(), [String message]) { | |
46 message = message != null ? ': $message' : ''; | |
47 try { | |
48 f(); | |
49 } on TypeError catch (e) { | |
50 String mode = inCheckedMode() ? 'checked mode' : 'production mode'; | |
51 Expect.fail('Unexpected type error in $mode$message.'); | |
52 } | |
53 } | |
OLD | NEW |