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

Side by Side Diff: tests/language/src/Instanceof3Test.dart

Issue 10198033: Add more subtype checks, and repeat them so that any inlined checks can be tested as well (first te… (Closed) Base URL: http://dart.googlecode.com/svn/branches/bleeding_edge/dart/
Patch Set: Created 8 years, 7 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
OLDNEW
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, 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 // Dart test program for testing the instanceof operation. 4 // Dart test program for testing the instanceof operation.
5 5
6 // In the type test 'e is T', it is a run-time error if T does not denote a type 6 // In the type test 'e is T', it is a run-time error if T does not denote a type
7 // available in the current lexical scope. 7 // available in the current lexical scope.
8 8
9 isCheckedMode() { 9 isCheckedMode() {
10 try { 10 try {
11 var i = 1; 11 var i = 1;
12 String s = i; 12 String s = i;
13 return false; 13 return false;
14 } catch(var e) { 14 } catch(var e) {
15 return true; 15 return true;
16 } 16 }
17 } 17 }
18 18
19 main() { 19 testAll() {
20 { 20 {
21 bool got_type_error = false; 21 bool got_type_error = false;
22 var x = null; 22 var x = null;
23 try { 23 try {
24 Expect.isFalse(x is UndeclaredType); // x is null. 24 Expect.isFalse(x is UndeclaredType); // x is null.
25 } catch (TypeError error) { 25 } catch (TypeError error) {
26 got_type_error = true; 26 got_type_error = true;
27 } 27 }
28 // Type error in production mode and in checked mode. 28 // Type error in production mode and in checked mode.
29 Expect.isTrue(got_type_error); 29 Expect.isTrue(got_type_error);
(...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after
77 var x = new List<int>(); 77 var x = new List<int>();
78 try { 78 try {
79 Expect.isTrue(x is List<UndeclaredType>); // x is a List<int>. 79 Expect.isTrue(x is List<UndeclaredType>); // x is a List<int>.
80 } catch (TypeError error) { 80 } catch (TypeError error) {
81 got_type_error = true; 81 got_type_error = true;
82 } 82 }
83 // Type error in checked mode only. 83 // Type error in checked mode only.
84 Expect.isTrue(got_type_error == isCheckedMode()); 84 Expect.isTrue(got_type_error == isCheckedMode());
85 } 85 }
86 } 86 }
87
88 main() {
89 // Repeat type checks so that inlined tests can be tested as well.
90 for (int i = 0; i < 5; i++) {
91 testAll();
92 }
93 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698