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 int pos = error.url.lastIndexOf("/", error.url.length); | 59 // Location of malformed error: T extends A, but AX does not extend A. |
60 if (pos == -1) { | 60 Expect.isTrue(error.toString().contains("line 20 pos 9")); |
61 pos = error.url.lastIndexOf("\\", error.url.length); | 61 // Location of failed type check: new B<T>(t)/ |
62 } | 62 Expect.isTrue(error.stackTrace.toString().contains( |
63 String subs = error.url.substring(pos + 1, error.url.length); | 63 "generic_test.dart:31:21")); |
64 Expect.equals("generic_test.dart", subs); | |
65 Expect.equals(31, error.line); // new B<T>(t); AX does not extend A. | |
66 Expect.equals(21, error.column); | |
67 } | 64 } |
68 return result; | 65 return result; |
69 } | 66 } |
70 | 67 |
71 static testMain() { | 68 static testMain() { |
72 Expect.equals(1, test()); | 69 Expect.equals(1, test()); |
73 } | 70 } |
74 } | 71 } |
75 | 72 |
76 | 73 |
77 main() { | 74 main() { |
78 GenericTest.testMain(); | 75 GenericTest.testMain(); |
79 } | 76 } |
OLD | NEW |