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 // VMOptions=--enable_type_checks | 4 // VMOptions=--enable_type_checks |
5 | 5 |
6 // Test of parameterized factory methods. | 6 // Test of parameterized factory methods. |
7 | 7 |
8 class Foo<T extends num> { | 8 class Foo<T extends num> { |
9 Foo(); | 9 Foo(); |
10 | 10 |
11 factory XFoo.bad() { return null; } /// 00: compile-time error | 11 factory XFoo.bad() { return null; } /// 00: compile-time error |
12 | 12 |
13 factory IFoo.good() { return null; } | 13 factory IFoo.good() { return null; } |
14 | 14 |
15 factory IFoo() { return null; } | 15 factory IFoo() { return null; } |
16 } | 16 } |
17 | 17 |
18 interface IFoo<T extends num> factory Foo<T extends num> { | 18 interface IFoo<T extends num> default Foo<T extends num> { |
19 } | 19 } |
20 | 20 |
21 // String is not assignable to num. | 21 // String is not assignable to num. |
22 class Baz extends Foo<String> {} /// 01: compile-time error | 22 class Baz |
| 23 extends Foo<String> /// 01: static type error |
| 24 {} |
23 | 25 |
24 class Biz extends Foo<int> {} | 26 class Biz extends Foo<int> {} |
25 | 27 |
26 Foo<int> fi; | 28 Foo<int> fi; |
27 | 29 |
28 // String is not assignable to num. | 30 // String is not assignable to num. |
29 Foo<String> fs; /// 02: compile-time error | 31 Foo |
| 32 <String> /// 02: static type error |
| 33 fs; |
30 | 34 |
31 class Box<T> { | 35 class Box<T> { |
32 | 36 |
33 // Box.T is not assignable to num. | 37 // Box.T is not assignable to num. |
34 Foo<T> t; /// 03: static type error | 38 Foo<T> t; /// 03: static type error |
35 | 39 |
36 makeFoo() { | 40 makeFoo() { |
37 // Box.T is not assignable to num. | 41 // Box.T is not assignable to num. |
38 return new Foo<T>(); /// 04: static type error | 42 return new Foo<T>(); /// 04: static type error |
39 } | 43 } |
40 } | 44 } |
41 | 45 |
42 class TypeVariableBoundsTest { | |
43 static testMain() { | |
44 // String is not assignable to num. | |
45 var v1 = new Foo<String>(); /// 05: compile-time error | |
46 | |
47 // String is not assignable to num. | |
48 Foo<String> v2 = null; /// 06: compile-time error | |
49 } | |
50 } | |
51 | |
52 main() { | 46 main() { |
53 TypeVariableBoundsTest.testMain(); | 47 // String is not assignable to num. |
| 48 var v1 = new Foo<String>(); /// 05: static type error |
| 49 |
| 50 // String is not assignable to num. |
| 51 Foo<String> v2 = null; /// 06: static type error |
| 52 |
| 53 new Baz(); |
| 54 new Biz(); |
| 55 |
| 56 fi = new Foo(); |
| 57 fs = new Foo(); |
| 58 |
| 59 new Box().makeFoo(); |
| 60 new Box<int>().makeFoo(); |
| 61 new Box<String>().makeFoo(); |
| 62 |
| 63 // Fisk does not exist. |
| 64 new Box<Fisk>(); /// 07: compile-time error |
| 65 |
| 66 // Too many type arguments. |
| 67 new Box<Object, Object>(); /// 08: compile-time error |
| 68 |
| 69 // Fisk does not exist. |
| 70 Box<Fisk> box = null; /// 09: static type error |
| 71 |
| 72 // Too many type arguments. |
| 73 Box<Object, Object> box = null; /// 10: static type error |
54 } | 74 } |
OLD | NEW |