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

Side by Side Diff: tests/language/generic_test.dart

Issue 21832003: Fix VM implementation of CastError not to extend TypeError (issue 5280). (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 7 years, 4 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 | « tests/co19/co19-runtime.status ('k') | tests/language/language.status » ('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=--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
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 }
OLDNEW
« no previous file with comments | « tests/co19/co19-runtime.status ('k') | tests/language/language.status » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698