| 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 program for testing the instanceof operation. | 4 // Dart test program for testing the instanceof operation. |
| 5 | 5 |
| 6 // In the type test 'e is T', it is a run-time error if T does not denote a type | 6 // In the type test 'e is T', it is a run-time error if T does not denote a type |
| 7 // available in the current lexical scope. | 7 // available in the current lexical scope. |
| 8 | 8 |
| 9 isCheckedMode() { | 9 isCheckedMode() { |
| 10 try { | 10 try { |
| 11 var i = 1; | 11 var i = 1; |
| 12 String s = i; | 12 String s = i; |
| 13 return false; | 13 return false; |
| 14 } catch(var e) { | 14 } catch(var e) { |
| 15 return true; | 15 return true; |
| 16 } | 16 } |
| 17 } | 17 } |
| 18 | 18 |
| 19 main() { | 19 testAll() { |
| 20 { | 20 { |
| 21 bool got_type_error = false; | 21 bool got_type_error = false; |
| 22 var x = null; | 22 var x = null; |
| 23 try { | 23 try { |
| 24 Expect.isFalse(x is UndeclaredType); // x is null. | 24 Expect.isFalse(x is UndeclaredType); // x is null. |
| 25 } catch (TypeError error) { | 25 } catch (TypeError error) { |
| 26 got_type_error = true; | 26 got_type_error = true; |
| 27 } | 27 } |
| 28 // Type error in production mode and in checked mode. | 28 // Type error in production mode and in checked mode. |
| 29 Expect.isTrue(got_type_error); | 29 Expect.isTrue(got_type_error); |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 77 var x = new List<int>(); | 77 var x = new List<int>(); |
| 78 try { | 78 try { |
| 79 Expect.isTrue(x is List<UndeclaredType>); // x is a List<int>. | 79 Expect.isTrue(x is List<UndeclaredType>); // x is a List<int>. |
| 80 } catch (TypeError error) { | 80 } catch (TypeError error) { |
| 81 got_type_error = true; | 81 got_type_error = true; |
| 82 } | 82 } |
| 83 // Type error in checked mode only. | 83 // Type error in checked mode only. |
| 84 Expect.isTrue(got_type_error == isCheckedMode()); | 84 Expect.isTrue(got_type_error == isCheckedMode()); |
| 85 } | 85 } |
| 86 } | 86 } |
| 87 |
| 88 main() { |
| 89 // Repeat type checks so that inlined tests can be tested as well. |
| 90 for (int i = 0; i < 5; i++) { |
| 91 testAll(); |
| 92 } |
| 93 } |
| OLD | NEW |