| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 for type checks involving the void type. | 4 // Dart test for type checks involving the void type. |
| 5 | 5 |
| 6 import "package:expect/expect.dart"; | 6 import "package:expect/expect.dart"; |
| 7 | 7 |
| 8 isCheckedMode() { | 8 isCheckedMode() { |
| 9 try { | 9 try { |
| 10 var i = 1; | 10 var i = 1; |
| (...skipping 15 matching lines...) Expand all Loading... |
| 26 return x; | 26 return x; |
| 27 } | 27 } |
| 28 | 28 |
| 29 void f_dyn_1() { | 29 void f_dyn_1() { |
| 30 var x = 1; | 30 var x = 1; |
| 31 return x; | 31 return x; |
| 32 } | 32 } |
| 33 | 33 |
| 34 void f_f() { return f(); } | 34 void f_f() { return f(); } |
| 35 | 35 |
| 36 void test(int n, void func(), bool must_get_error) { | 36 void test(int n, void func()) { |
| 37 // Test as closure call. | 37 // Test as closure call. |
| 38 { | 38 { |
| 39 bool got_type_error = false; | 39 bool got_type_error = false; |
| 40 try { | 40 try { |
| 41 var x = func(); | 41 var x = func(); |
| 42 } on TypeError catch (error) { | 42 } on TypeError catch (error) { |
| 43 got_type_error = true; | 43 got_type_error = true; |
| 44 } | 44 } |
| 45 // Never a type error in production mode. | 45 Expect.isFalse(got_type_error); |
| 46 if (isCheckedMode()) { | |
| 47 Expect.isTrue(got_type_error == must_get_error); | |
| 48 } else { | |
| 49 Expect.isFalse(got_type_error); | |
| 50 } | |
| 51 } | 46 } |
| 52 // Test as direct call. | 47 // Test as direct call. |
| 53 { | 48 { |
| 54 bool got_type_error = false; | 49 bool got_type_error = false; |
| 55 try { | 50 try { |
| 56 var x; | 51 var x; |
| 57 switch (n) { | 52 switch (n) { |
| 58 case 0: x = f(); break; | 53 case 0: x = f(); break; |
| 59 case 1: x = f_null(); break; | 54 case 1: x = f_null(); break; |
| 60 case 2: x = f_1(); break; | 55 case 2: x = f_1(); break; |
| 61 case 3: x = f_dyn_null(); break; | 56 case 3: x = f_dyn_null(); break; |
| 62 case 4: x = f_dyn_1(); break; | 57 case 4: x = f_dyn_1(); break; |
| 63 case 5: x = f_f(); break; | 58 case 5: x = f_f(); break; |
| 64 } | 59 } |
| 65 } on TypeError catch (error) { | 60 } on TypeError catch (error) { |
| 66 got_type_error = true; | 61 got_type_error = true; |
| 67 } | 62 } |
| 68 // Never a type error in production mode. | 63 Expect.isFalse(got_type_error); |
| 69 if (isCheckedMode()) { | |
| 70 Expect.isTrue(got_type_error == must_get_error); | |
| 71 } else { | |
| 72 Expect.isFalse(got_type_error); | |
| 73 } | |
| 74 } | 64 } |
| 75 } | 65 } |
| 76 | 66 |
| 77 main() { | 67 main() { |
| 78 test(0, f, false); | 68 test(0, f); |
| 79 test(1, f_null, false); | 69 test(1, f_null); |
| 80 test(2, f_1, true); | 70 test(2, f_1); |
| 81 test(3, f_dyn_null, false); | 71 test(3, f_dyn_null); |
| 82 test(4, f_dyn_1, true); | 72 test(4, f_dyn_1); |
| 83 test(5, f_f, false); | 73 test(5, f_f); |
| 84 } | 74 } |
| 85 | 75 |
| 86 | 76 |
| OLD | NEW |