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=--checked | 4 // VMOptions=--checked |
5 // Dart test program testing generic type allocations and generic type tests. | 5 // Dart test program testing generic type allocations and generic type tests. |
6 import "package:expect/expect.dart"; | 6 import "package:expect/expect.dart"; |
7 | 7 |
8 class A { | 8 class A { |
9 const A(); | 9 const A(); |
10 } | 10 } |
11 | 11 |
12 class AA extends A { | 12 class AA extends A { |
13 const AA(); | 13 const AA(); |
14 } | 14 } |
15 | 15 |
16 class AX { | 16 class AX { |
17 const AX(); | 17 const AX(); |
18 } | 18 } |
19 | 19 |
20 class B<T extends A> { | 20 class B<T extends A> { |
21 final A a_; | 21 final A a_; |
22 final T t_; | 22 final T t_; |
23 const B(T t) : a_ = t, t_ = t; | 23 const B(T t) |
| 24 : a_ = t, |
| 25 t_ = t; |
24 isT(x) { | 26 isT(x) { |
25 return x is T; | 27 return x is T; |
26 } | 28 } |
27 } | 29 } |
28 | 30 |
29 class C<T> { | 31 class C<T> { |
30 B<T> b_; | 32 B<T> b_; |
31 C(T t) : b_ = new B<T>(t) { } | 33 C(T t) : b_ = new B<T>(t) {} |
32 } | 34 } |
33 | 35 |
34 class D { | 36 class D { |
35 C<AA> caa_; | 37 C<AA> caa_; |
36 D() : caa_ = new C<AA>(const AA()) { } | 38 D() : caa_ = new C<AA>(const AA()) {} |
37 } | 39 } |
38 | 40 |
39 class E { | 41 class E { |
40 C<AX> cax_; | 42 C<AX> cax_; |
41 E() : cax_ = new C<AX>(const AX()) { } | 43 E() : cax_ = new C<AX>(const AX()) {} |
42 } | 44 } |
43 | 45 |
44 class GenericTest { | 46 class GenericTest { |
45 static test() { | 47 static test() { |
46 int result = 0; | 48 int result = 0; |
47 D d = new D(); | 49 D d = new D(); |
48 Expect.equals(true, d.caa_.b_ is B<AA>); | 50 Expect.equals(true, d.caa_.b_ is B<AA>); |
49 Expect.equals(true, d.caa_.b_.isT(const AA())); | 51 Expect.equals(true, d.caa_.b_.isT(const AA())); |
50 C c = new C(const AA()); // c is of raw type C, T in C<T> is dynamic. | 52 C c = new C(const AA()); // c is of raw type C, T in C<T> is dynamic. |
51 Expect.equals(true, c.b_ is B); | 53 Expect.equals(true, c.b_ is B); |
52 Expect.equals(true, c.b_ is B<AA>); | 54 Expect.equals(true, c.b_ is B<AA>); |
53 Expect.equals(true, c.b_.isT(const AA())); | 55 Expect.equals(true, c.b_.isT(const AA())); |
54 Expect.equals(true, c.b_.isT(const AX())); | 56 Expect.equals(true, c.b_.isT(const AX())); |
55 try { | 57 try { |
56 E e = new E(); // Throws a type error, if type checks are enabled. | 58 E e = new E(); // Throws a type error, if type checks are enabled. |
57 } on TypeError catch (error) { | 59 } on TypeError catch (error) { |
58 result = 1; | 60 result = 1; |
59 } | 61 } |
60 return result; | 62 return result; |
61 } | 63 } |
62 | 64 |
63 static testMain() { | 65 static testMain() { |
64 Expect.equals(1, test()); | 66 Expect.equals(1, test()); |
65 } | 67 } |
66 } | 68 } |
67 | 69 |
68 | |
69 main() { | 70 main() { |
70 GenericTest.testMain(); | 71 GenericTest.testMain(); |
71 } | 72 } |
OLD | NEW |