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 // Test for F-Bounded Quantification. | 5 // Test for F-Bounded Quantification. |
6 | 6 |
7 class FBound<F extends FBound<F>> {} | 7 class FBound<F extends FBound<F>> {} |
8 | 8 |
9 class Bar extends FBound<Bar> {} | 9 class Bar extends FBound<Bar> {} |
10 | 10 |
11 class SubBar extends Bar {} | 11 class SubBar extends Bar {} |
12 | 12 |
13 class Baz<T> extends FBound<Baz<T>> {} | 13 class Baz<T> extends FBound<Baz<T>> {} |
14 | 14 |
15 class SubBaz<T> extends Baz<T> {} | 15 class SubBaz<T> extends Baz<T> {} |
16 | 16 |
17 | 17 |
18 isCheckedMode() { | 18 isCheckedMode() { |
19 try { | 19 try { |
20 var i = 1; | 20 var i = 1; |
21 String s = i; | 21 String s = i; |
22 return false; | 22 return false; |
23 } catch(var e) { | 23 } catch (e) { |
24 return true; | 24 return true; |
25 } | 25 } |
26 } | 26 } |
27 | 27 |
28 main() { | 28 main() { |
29 FBound<Bar> fb = new FBound<Bar>(); | 29 FBound<Bar> fb = new FBound<Bar>(); |
30 { | 30 { |
31 bool got_type_error = false; | 31 bool got_type_error = false; |
32 try { | 32 try { |
33 FBound<SubBar> fsb = new FBound<SubBar>(); /// 01: static type warning | 33 FBound<SubBar> fsb = new FBound<SubBar>(); /// 01: static type warning |
34 } catch (TypeError error) { | 34 } on TypeError catch (error) { |
35 got_type_error = true; | 35 got_type_error = true; |
36 } | 36 } |
37 // Type error in checked mode only. | 37 // Type error in checked mode only. |
38 Expect.isTrue(got_type_error == isCheckedMode()); /// 01: continued | 38 Expect.isTrue(got_type_error == isCheckedMode()); /// 01: continued |
39 } | 39 } |
40 FBound<Baz<Bar>> fbb = new FBound<Baz<Bar>>(); | 40 FBound<Baz<Bar>> fbb = new FBound<Baz<Bar>>(); |
41 { | 41 { |
42 bool got_type_error = false; | 42 bool got_type_error = false; |
43 try { | 43 try { |
44 FBound<SubBaz<Bar>> fsb = new FBound<SubBaz<Bar>>(); /// 02: static type
warning | 44 FBound<SubBaz<Bar>> fsb = new FBound<SubBaz<Bar>>(); /// 02: static type
warning |
45 } catch (TypeError error) { | 45 } on TypeError catch (error) { |
46 got_type_error = true; | 46 got_type_error = true; |
47 } | 47 } |
48 // Type error in checked mode only. | 48 // Type error in checked mode only. |
49 Expect.isTrue(got_type_error == isCheckedMode()); /// 02: continued | 49 Expect.isTrue(got_type_error == isCheckedMode()); /// 02: continued |
50 } | 50 } |
51 } | 51 } |
OLD | NEW |