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

Side by Side Diff: tests/compiler/dart2js_native/inference_of_helper_methods_test.dart

Issue 2379173002: Add native_testing library to mock @Native classes (Closed)
Patch Set: xxx Created 4 years, 1 month 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
OLDNEW
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2013, 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 4
5 import "package:expect/expect.dart"; 5 import 'native_testing.dart';
6 import 'dart:_js_helper' show intTypeCheck; 6 import 'dart:_js_helper' show intTypeCheck;
7 7
8 bool get inCheckedMode { 8 bool get inCheckedMode {
9 try { 9 try {
10 String a = 42; 10 String a = 42;
11 } on TypeError catch (e) { 11 } on TypeError catch (e) {
12 return true; 12 return true;
13 } 13 }
14 return false; 14 return false;
15 } 15 }
16 16
17 main() { 17 main() {
18 var a = []; 18 var a = [];
19 a.add(42); 19 a.add(42);
20 a.add('foo'); 20 a.add('foo');
21 // By calling direclty [intTypeCheck] with an int, we're making the 21 // By calling directly [intTypeCheck] with an int, we're making the
22 // type inferrer infer that the parameter type of [intTypeCheck] is 22 // type inferrer infer that the parameter type of [intTypeCheck] is
23 // always an int, and therefore the method will be compiled to 23 // always an int, and therefore the method will be compiled to
24 // never throw. So when the backend actually uses the helper for 24 // never throw. So when the backend actually uses the helper for
25 // implementing checked mode semantics (like in the check below), 25 // implementing checked mode semantics (like in the check below),
26 // the check won't fail at runtime. 26 // the check won't fail at runtime.
27 intTypeCheck(42); 27 intTypeCheck(42);
28 if (inCheckedMode) { 28 if (inCheckedMode) {
29 int value; 29 int value;
30 Expect.throws(() => value = a[1], (e) => e is TypeError); 30 Expect.throws(() => value = a[1], (e) => e is TypeError);
31 } 31 }
32 } 32 }
OLDNEW
« no previous file with comments | « tests/compiler/dart2js_native/hash_code_test.dart ('k') | tests/compiler/dart2js_native/is_check_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698