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