| 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 |