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 } |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
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 // Location of malformed error: T extends A, but AX does not extend A. | |
60 Expect.isTrue(error.toString().contains("line 20 pos 9")); | |
61 // Location of failed type check: new B<T>(t)/ | |
62 Expect.isTrue(error.stackTrace.toString().contains( | |
63 "generic_test.dart:31:21")); | |
64 } | 59 } |
65 return result; | 60 return result; |
66 } | 61 } |
67 | 62 |
68 static testMain() { | 63 static testMain() { |
69 Expect.equals(1, test()); | 64 Expect.equals(1, test()); |
70 } | 65 } |
71 } | 66 } |
72 | 67 |
73 | 68 |
74 main() { | 69 main() { |
75 GenericTest.testMain(); | 70 GenericTest.testMain(); |
76 } | 71 } |
OLD | NEW |