Index: tests/language/src/GenericTest.dart |
diff --git a/tests/language/src/GenericTest.dart b/tests/language/src/GenericTest.dart |
deleted file mode 100644 |
index f322dbb498315b2b70634cf4c1d65971bad7f190..0000000000000000000000000000000000000000 |
--- a/tests/language/src/GenericTest.dart |
+++ /dev/null |
@@ -1,84 +0,0 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
-// VMOptions=--enable_type_checks --enable_asserts |
-// |
-// Dart test program testing generic type allocations and generic type tests. |
- |
-class A { |
- const A(); |
-} |
- |
-class AA extends A { |
- const AA(); |
-} |
- |
-class AX { |
- const AX(); |
-} |
- |
-class B<T extends A> { |
- final A a_; |
- final T t_; |
- const B(T t) : a_ = t, t_ = t; |
- isT(x) { |
- return x is T; |
- } |
-} |
- |
-class C<T> { |
- B<T> b_; |
- C(T t) : b_ = new B<T>(t) { } |
-} |
- |
-class D { |
- C<AA> caa_; |
- D() : caa_ = new C<AA>(const AA()) { } |
-} |
- |
-class E { |
- C<AX> cax_; |
- E() : cax_ = new C<AX>(const AX()) { } |
-} |
- |
-class GenericTest { |
- static test() { |
- int result = 0; |
- D d = new D(); |
- Expect.equals(true, d.caa_.b_ is B<AA>); |
- Expect.equals(true, d.caa_.b_.isT(const AA())); |
- C c = new C(const AA()); // c is of raw type C, T in C<T> is Dynamic. |
- Expect.equals(true, c.b_ is B); |
- Expect.equals(true, c.b_ is B<AA>); |
- Expect.equals(true, c.b_.isT(const AA())); |
- Expect.equals(true, c.b_.isT(const AX())); |
- try { |
- E e = new E(); // Throws a type error, if type checks are enabled. |
- } catch (TypeError error) { |
- result = 1; |
- // TODO(regis): The error below is detected too late. |
- // It should be reported on line 31, at new B<T>(), i.e. new B<AX>(). |
- // This will be detected when we check the subtyping constraints. |
- Expect.equals("A", error.dstType); |
- Expect.equals("AX", error.srcType); |
- int pos = error.url.lastIndexOf("/", error.url.length); |
- if (pos == -1) { |
- pos = error.url.lastIndexOf("\\", error.url.length); |
- } |
- String subs = error.url.substring(pos + 1, error.url.length); |
- Expect.equals("GenericTest.dart", subs); |
- Expect.equals(23, error.line); |
- Expect.equals(23, error.column); |
- } |
- return result; |
- } |
- |
- static testMain() { |
- Expect.equals(1, test()); |
- } |
-} |
- |
- |
-main() { |
- GenericTest.testMain(); |
-} |