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 // | 5 // |
6 // Dart test program testing generic type allocations and generic type tests. | 6 // Dart test program testing generic type allocations and generic type tests. |
7 | 7 |
8 class A { | 8 class A { |
9 const A(); | 9 const A(); |
10 } | 10 } |
(...skipping 29 matching lines...) Expand all Loading... |
40 C<AX> cax_; | 40 C<AX> cax_; |
41 E() : cax_ = new C<AX>(const AX()) { } | 41 E() : cax_ = new C<AX>(const AX()) { } |
42 } | 42 } |
43 | 43 |
44 class GenericTest { | 44 class GenericTest { |
45 static test() { | 45 static test() { |
46 int result = 0; | 46 int result = 0; |
47 D d = new D(); | 47 D d = new D(); |
48 Expect.equals(true, d.caa_.b_ is B<AA>); | 48 Expect.equals(true, d.caa_.b_ is B<AA>); |
49 Expect.equals(true, d.caa_.b_.isT(const AA())); | 49 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. | 50 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); | 51 Expect.equals(true, c.b_ is B); |
52 Expect.equals(true, c.b_ is B<AA>); | 52 Expect.equals(true, c.b_ is B<AA>); |
53 Expect.equals(true, c.b_.isT(const AA())); | 53 Expect.equals(true, c.b_.isT(const AA())); |
54 Expect.equals(true, c.b_.isT(const AX())); | 54 Expect.equals(true, c.b_.isT(const AX())); |
55 try { | 55 try { |
56 E e = new E(); // Throws a type error, if type checks are enabled. | 56 E e = new E(); // Throws a type error, if type checks are enabled. |
57 } on TypeError catch (error) { | 57 } on TypeError catch (error) { |
58 result = 1; | 58 result = 1; |
59 int pos = error.url.lastIndexOf("/", error.url.length); | 59 int pos = error.url.lastIndexOf("/", error.url.length); |
60 if (pos == -1) { | 60 if (pos == -1) { |
61 pos = error.url.lastIndexOf("\\", error.url.length); | 61 pos = error.url.lastIndexOf("\\", error.url.length); |
62 } | 62 } |
63 String subs = error.url.substring(pos + 1, error.url.length); | 63 String subs = error.url.substring(pos + 1, error.url.length); |
64 Expect.equals("generic_test.dart", subs); | 64 Expect.equals("generic_test.dart", subs); |
65 Expect.equals(31, error.line); // new B<T>(t); AX does not extend A. | 65 Expect.equals(31, error.line); // new B<T>(t); AX does not extend A. |
66 Expect.equals(17, error.column); | 66 Expect.equals(17, error.column); |
67 } | 67 } |
68 return result; | 68 return result; |
69 } | 69 } |
70 | 70 |
71 static testMain() { | 71 static testMain() { |
72 Expect.equals(1, test()); | 72 Expect.equals(1, test()); |
73 } | 73 } |
74 } | 74 } |
75 | 75 |
76 | 76 |
77 main() { | 77 main() { |
78 GenericTest.testMain(); | 78 GenericTest.testMain(); |
79 } | 79 } |
OLD | NEW |