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

Side by Side Diff: runtime/tests/vm/src/GenericTest.dart

Issue 9956116: Make test non vm-specific (cl 9969122 follow up). (Closed) Base URL: http://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 unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « no previous file | tests/language/src/GenericTest.dart » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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
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 }
OLDNEW
« no previous file with comments | « no previous file | tests/language/src/GenericTest.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698