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

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

Issue 2774783002: Re-land "Format all multitests" (Closed)
Patch Set: Created 3 years, 9 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
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 4
5 // Dart test for a closure result type test that cannot be eliminated at compile 5 // Dart test for a closure result type test that cannot be eliminated at compile
6 // time. 6 // time.
7 7
8 library closure_type_test; 8 library closure_type_test;
9
9 import "package:expect/expect.dart"; 10 import "package:expect/expect.dart";
10 import 'dart:math' as math; 11 import 'dart:math' as math;
11 12
12 class Math { 13 class Math {
13 static 14 static
14 int // //# 01: static type warning 15 int // //# 01: static type warning
15 sqrt(x) => math.sqrt(x); 16 sqrt(x) => math.sqrt(x);
16 } 17 }
17 18
18 isCheckedMode() { 19 isCheckedMode() {
19 try { 20 try {
20 var i = 1; 21 var i = 1;
21 String s = i; 22 String s = i;
22 return false; 23 return false;
23 } catch (e) { 24 } catch (e) {
24 return true; 25 return true;
25 } 26 }
26 } 27 }
27 28
28
29 void test(int func(int value), int value) { 29 void test(int func(int value), int value) {
30 bool got_type_error = false; 30 bool got_type_error = false;
31 try { 31 try {
32 // Because of function subtyping rules, the static return type of a closure 32 // Because of function subtyping rules, the static return type of a closure
33 // call cannot be relied upon for static type analysis. For example, a 33 // call cannot be relied upon for static type analysis. For example, a
34 // function returning dynamic (function 'root') can be assigned to a closure 34 // function returning dynamic (function 'root') can be assigned to a closure
35 // variable declared to return int (closure 'func') and may actually return 35 // variable declared to return int (closure 'func') and may actually return
36 // a double at run-time. 36 // a double at run-time.
37 // Therefore, eliminating the run-time type check would be wrong. 37 // Therefore, eliminating the run-time type check would be wrong.
38 int x = func(value); 38 int x = func(value);
39 Expect.equals(value, x * x); 39 Expect.equals(value, x * x);
40 } on TypeError catch (error) { 40 } on TypeError catch (error) {
41 got_type_error = true; 41 got_type_error = true;
42 } 42 }
43 // Type error expected in checked mode only. 43 // Type error expected in checked mode only.
44 Expect.isTrue(got_type_error == isCheckedMode()); 44 Expect.isTrue(got_type_error == isCheckedMode());
45 } 45 }
46 46
47 root(x) => Math.sqrt(x); 47 root(x) => Math.sqrt(x);
48 48
49 main() => test(root, 4); 49 main() => test(root, 4);
OLDNEW
« no previous file with comments | « tests/language/class_override_test.dart ('k') | tests/language/compile_time_constant10_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698