OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 'package:expect/expect.dart'; |
6 import "package:async_helper/async_helper.dart"; | 6 import "package:async_helper/async_helper.dart"; |
7 import 'compiler_helper.dart'; | 7 import 'compiler_helper.dart'; |
8 | 8 |
9 const String TEST = """ | 9 const String TEST = """ |
10 | 10 |
11 method1() { | 11 method(a) { // Called via [foo] with integer then double. |
12 return 42; | |
13 } | |
14 | |
15 method2(a) { // Called only via [foo2] with a small integer. | |
16 return a; | 12 return a; |
17 } | 13 } |
18 | 14 |
19 const foo1 = method1; | 15 const foo = method; |
20 const foo2 = method2; | |
21 | 16 |
22 returnInt1() { | 17 returnNum(x) { |
23 return foo1(); | 18 return foo(x); |
24 } | |
25 | |
26 returnInt2() { | |
27 return foo2(54); | |
28 } | 19 } |
29 | 20 |
30 main() { | 21 main() { |
31 returnInt1(); | 22 returnNum(10); |
32 returnInt2(); | 23 returnNum(10.5); |
33 } | 24 } |
34 """; | 25 """; |
35 | 26 |
36 | 27 |
37 void main() { | 28 void main() { |
38 Uri uri = new Uri(scheme: 'source'); | 29 Uri uri = new Uri(scheme: 'source'); |
39 var compiler = compilerFor(TEST, uri); | 30 var compiler = compilerFor(TEST, uri); |
40 asyncTest(() => compiler.runCompiler(uri).then((_) { | 31 asyncTest(() => compiler.runCompiler(uri).then((_) { |
41 var typesInferrer = compiler.typesTask.typesInferrer; | 32 var typesInferrer = compiler.typesTask.typesInferrer; |
42 | 33 |
43 checkReturn(String name, type) { | 34 checkReturn(String name, type) { |
44 var element = findElement(compiler, name); | 35 var element = findElement(compiler, name); |
45 Expect.equals(type, | 36 Expect.equals(type, |
46 typesInferrer.getReturnTypeOfElement(element).simplify(compiler), | 37 typesInferrer.getReturnTypeOfElement(element).simplify(compiler), |
47 name); | 38 name); |
48 } | 39 } |
49 | 40 |
50 checkReturn('method1', compiler.typesTask.uint31Type); | 41 checkReturn('method', compiler.typesTask.numType); |
51 checkReturn('returnInt1', compiler.typesTask.uint31Type); | 42 checkReturn('returnNum', compiler.typesTask.numType); |
52 | |
53 checkReturn('method2', compiler.typesTask.uint31Type); | |
54 checkReturn('returnInt2', compiler.typesTask.uint31Type); | |
55 })); | 43 })); |
56 } | 44 } |
OLD | NEW |