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 // VMOptions=--enable_type_checks | 4 // VMOptions=--enable_type_checks |
5 | 5 |
6 | 6 |
7 int x = "milou"; | 7 int x = "milou"; |
8 | 8 |
9 bool readXThrows() { | 9 bool readXThrows() { |
10 try { | 10 try { |
11 var y = x; | 11 var y = x; |
12 return false; | 12 return false; |
13 } catch (var e) { | 13 } catch (e) { |
14 x = 5; // Make sure we do not throw exception a second time. | 14 x = 5; // Make sure we do not throw exception a second time. |
15 return true; | 15 return true; |
16 } | 16 } |
17 } | 17 } |
18 | 18 |
19 main() { | 19 main() { |
20 int numExceptions = 0; | 20 int numExceptions = 0; |
21 for (int i = 0; i < 8; i++) { | 21 for (int i = 0; i < 8; i++) { |
22 if (readXThrows()) { | 22 if (readXThrows()) { |
23 numExceptions++; | 23 numExceptions++; |
24 } | 24 } |
25 } | 25 } |
26 // In checked mode throw only one exception. | 26 // In checked mode throw only one exception. |
27 Expect.equals(1, numExceptions); | 27 Expect.equals(1, numExceptions); |
28 } | 28 } |
OLD | NEW |