OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 // Unresolved imported symbols are handled differently in production mode and | 5 // Unresolved imported symbols are handled differently in production mode and |
6 // check modes. In this test, the function myFunc is malformed, because | 6 // check modes. In this test, the function myFunc is malformed, because |
7 // lib12.Library13 is not resolved. | 7 // lib12.Library13 is not resolved. |
8 // In checked mode, the assignment type check throws a run time type error. | 8 // In checked mode, the assignment type check throws a run time type error. |
9 // In production, no assignment type checks are performed. | 9 // In production, no assignment type checks are performed. |
10 | 10 |
11 #library("Prefix16NegativeTest.dart"); | 11 #library("Prefix16NegativeTest.dart"); |
12 #import("library12.dart", prefix:"lib12"); | 12 #import("library12.dart", prefix:"lib12"); |
13 | 13 |
14 typedef lib12.Library13 myFunc(lib12.Library13 param); | 14 typedef lib12.Library13 myFunc(lib12.Library13 param); |
15 | 15 |
16 isCheckedMode() { | 16 isCheckedMode() { |
17 try { | 17 try { |
18 var i = 1; | 18 var i = 1; |
19 String s = i; | 19 String s = i; |
20 return false; | 20 return false; |
21 } catch(var e) { | 21 } catch (e) { |
22 return true; | 22 return true; |
23 } | 23 } |
24 } | 24 } |
25 | 25 |
26 main() { | 26 main() { |
27 { | 27 { |
28 bool got_type_error = false; | 28 bool got_type_error = false; |
29 try { | 29 try { |
30 myFunc i = 0; | 30 myFunc i = 0; |
31 } catch (TypeError error) { | 31 } on TypeError catch (error) { |
32 got_type_error = true; | 32 got_type_error = true; |
33 } | 33 } |
34 // Type error in checked mode only. | 34 // Type error in checked mode only. |
35 Expect.isTrue(got_type_error == isCheckedMode()); | 35 Expect.isTrue(got_type_error == isCheckedMode()); |
36 } | 36 } |
37 { | 37 { |
38 bool got_type_error = false; | 38 bool got_type_error = false; |
39 try { | 39 try { |
40 // In production mode, malformed myFunc is mapped to (Dynamic) => Dynamic. | 40 // In production mode, malformed myFunc is mapped to (Dynamic) => Dynamic. |
41 Expect.isTrue(((int x) => x) is myFunc); | 41 Expect.isTrue(((int x) => x) is myFunc); |
42 } catch (TypeError error) { | 42 } on TypeError catch (error) { |
43 got_type_error = true; | 43 got_type_error = true; |
44 } | 44 } |
45 // Type error in checked mode only. | 45 // Type error in checked mode only. |
46 Expect.isTrue(got_type_error == isCheckedMode()); | 46 Expect.isTrue(got_type_error == isCheckedMode()); |
47 } | 47 } |
48 } | 48 } |
OLD | NEW |