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