| 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=--enable_type_checks --enable_asserts | 4 // VMOptions=--enable_type_checks --enable_asserts |
| 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 26 matching lines...) Expand all Loading... |
| 37 } | 37 } |
| 38 | 38 |
| 39 class E { | 39 class E { |
| 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(); |
| 48 Expect.equals(true, d.caa_.b_ is B<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. |
| 51 Expect.equals(true, c.b_ is B); |
| 52 Expect.equals(true, c.b_ is B<AA>); |
| 53 Expect.equals(true, c.b_.isT(const AA())); |
| 54 Expect.equals(true, c.b_.isT(const AX())); |
| 47 try { | 55 try { |
| 48 D d = new D(); | |
| 49 Expect.equals(true, d.caa_.b_ is B<AA>); | |
| 50 Expect.equals(true, d.caa_.b_.isT(const AA())); | |
| 51 C c = new C(const AA()); // c is of raw type C, T in C<T> is Dynamic. | |
| 52 Expect.equals(true, c.b_ is B); | |
| 53 Expect.equals(true, c.b_ is B<AA>); | |
| 54 Expect.equals(true, c.b_.isT(const AA())); | |
| 55 Expect.equals(true, c.b_.isT(const AX())); | |
| 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 } catch (TypeError error) { | 57 } catch (TypeError error) { |
| 58 result = 1; | 58 result = 1; |
| 59 // TODO(regis): The error below is detected too late. | 59 // TODO(regis): The error below is detected too late. |
| 60 // It should be reported on line 26, at new B<AX>(). | 60 // It should be reported on line 31, at new B<T>(), i.e. new B<AX>(). |
| 61 // This will be detected when we check the subtyping constraints. | 61 // This will be detected when we check the subtyping constraints. |
| 62 Expect.equals("A", error.dstType); | 62 Expect.equals("A", error.dstType); |
| 63 Expect.equals("AX", error.srcType); | 63 Expect.equals("AX", error.srcType); |
| 64 Expect.equals("a_", error.dstName); | 64 Expect.equals("a_", error.dstName); // VM specific field. |
| 65 int pos = error.url.lastIndexOf("/", error.url.length); | 65 int pos = error.url.lastIndexOf("/", error.url.length); |
| 66 if (pos == -1) { | 66 if (pos == -1) { |
| 67 pos = error.url.lastIndexOf("\\", error.url.length); | 67 pos = error.url.lastIndexOf("\\", error.url.length); |
| 68 } | 68 } |
| 69 String subs = error.url.substring(pos + 1, error.url.length); | 69 String subs = error.url.substring(pos + 1, error.url.length); |
| 70 Expect.equals("GenericTest.dart", subs); | 70 Expect.equals("GenericTest.dart", subs); |
| 71 Expect.equals(23, error.line); | 71 Expect.equals(23, error.line); |
| 72 Expect.equals(23, error.column); | 72 Expect.equals(23, error.column); |
| 73 } | 73 } |
| 74 return result; | 74 return result; |
| 75 } | 75 } |
| 76 | 76 |
| 77 static testMain() { | 77 static testMain() { |
| 78 Expect.equals(1, test()); | 78 Expect.equals(1, test()); |
| 79 } | 79 } |
| 80 } | 80 } |
| 81 | 81 |
| 82 | 82 |
| 83 main() { | 83 main() { |
| 84 GenericTest.testMain(); | 84 GenericTest.testMain(); |
| 85 } | 85 } |
| OLD | NEW |