Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(195)

Unified Diff: tests/language/src/GenericTest.dart

Issue 10248007: test rename overhaul: step 8 - language tests (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 8 years, 8 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « tests/language/src/GenericSyntaxTest.dart ('k') | tests/language/src/Generics2Test.dart » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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();
-}
« no previous file with comments | « tests/language/src/GenericSyntaxTest.dart ('k') | tests/language/src/Generics2Test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698