OLD | NEW |
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 | 4 |
5 import "package:async_helper/async_helper.dart"; | 5 import "package:async_helper/async_helper.dart"; |
6 import "package:expect/expect.dart"; | 6 import "package:expect/expect.dart"; |
7 import 'compiler_helper.dart'; | 7 import 'compiler_helper.dart'; |
8 import 'type_mask_test_helper.dart'; | 8 import 'type_mask_test_helper.dart'; |
9 import 'dart:async'; | 9 import 'dart:async'; |
10 | 10 |
11 const String TEST = r""" | 11 const String TEST = r""" |
12 foo(x, [y]) => y; | 12 foo(x, [y]) => y; |
13 | 13 |
14 main() { | 14 main() { |
15 assert(foo('Hi', true), foo(true)); | 15 assert(foo('Hi', true), foo(true)); |
16 foo(1); | 16 foo(1); |
17 } | 17 } |
18 """; | 18 """; |
19 | 19 |
20 Future runTest() async { | 20 Future runTest() async { |
21 Uri uri = new Uri(scheme: 'source'); | 21 Uri uri = new Uri(scheme: 'source'); |
22 { | 22 { |
23 // Assertions enabled: | 23 // Assertions enabled: |
24 var compiler = compilerFor(TEST, uri, enableUserAssertions: true); | 24 var compiler = compilerFor(TEST, uri, enableUserAssertions: true); |
25 await compiler.run(uri); | 25 await compiler.run(uri); |
26 var commonMasks = compiler.commonMasks; | 26 var commonMasks = compiler.closedWorld.commonMasks; |
27 var typesInferrer = compiler.globalInference.typesInferrer; | 27 var typesInferrer = compiler.globalInference.typesInferrerInternal; |
28 var foo = findElement(compiler, "foo"); | 28 var foo = findElement(compiler, "foo"); |
29 // Return type is null|bool. | 29 // Return type is null|bool. |
30 var mask = typesInferrer.getReturnTypeOfElement(foo); | 30 var mask = typesInferrer.getReturnTypeOfElement(foo); |
31 Expect.isTrue(mask.isNullable); | 31 Expect.isTrue(mask.isNullable); |
32 Expect.equals(commonMasks.boolType, simplify(mask.nonNullable(), compiler)); | 32 Expect.equals(commonMasks.boolType, simplify(mask.nonNullable(), compiler)); |
33 // First parameter is uint31|String|bool. | 33 // First parameter is uint31|String|bool. |
34 var mask1 = typesInferrer.getTypeOfElement(foo.parameters[0]); | 34 var mask1 = typesInferrer.getTypeOfElement(foo.parameters[0]); |
35 Expect.isTrue(mask1.isUnion); | 35 Expect.isTrue(mask1.isUnion); |
36 var expectedTypes = new Set.from( | 36 var expectedTypes = new Set.from( |
37 [commonMasks.uint31Type, commonMasks.stringType, commonMasks.boolType]); | 37 [commonMasks.uint31Type, commonMasks.stringType, commonMasks.boolType]); |
38 for (var typeMask in mask1.disjointMasks) { | 38 for (var typeMask in mask1.disjointMasks) { |
39 Expect.isFalse(typeMask.isNullable); | 39 Expect.isFalse(typeMask.isNullable); |
40 var simpleType = simplify(typeMask, compiler); | 40 var simpleType = simplify(typeMask, compiler); |
41 Expect.isTrue(expectedTypes.remove(simpleType), "$simpleType"); | 41 Expect.isTrue(expectedTypes.remove(simpleType), "$simpleType"); |
42 } | 42 } |
43 Expect.isTrue(expectedTypes.isEmpty); | 43 Expect.isTrue(expectedTypes.isEmpty); |
44 // Second parameter is bool or null. | 44 // Second parameter is bool or null. |
45 var mask2 = typesInferrer.getTypeOfElement(foo.parameters[1]); | 45 var mask2 = typesInferrer.getTypeOfElement(foo.parameters[1]); |
46 Expect.isTrue(mask2.isNullable); | 46 Expect.isTrue(mask2.isNullable); |
47 Expect.equals( | 47 Expect.equals( |
48 commonMasks.boolType, simplify(mask2.nonNullable(), compiler)); | 48 commonMasks.boolType, simplify(mask2.nonNullable(), compiler)); |
49 } | 49 } |
50 | 50 |
51 { | 51 { |
52 // Assertions disabled: | 52 // Assertions disabled: |
53 var compiler = compilerFor(TEST, uri, enableUserAssertions: false); | 53 var compiler = compilerFor(TEST, uri, enableUserAssertions: false); |
54 await compiler.run(uri); | 54 await compiler.run(uri); |
55 var commonMasks = compiler.commonMasks; | 55 var commonMasks = compiler.closedWorld.commonMasks; |
56 var typesInferrer = compiler.globalInference.typesInferrer; | 56 var typesInferrer = compiler.globalInference.typesInferrerInternal; |
57 var foo = findElement(compiler, "foo"); | 57 var foo = findElement(compiler, "foo"); |
58 // Return type is null. | 58 // Return type is null. |
59 var mask = typesInferrer.getReturnTypeOfElement(foo); | 59 var mask = typesInferrer.getReturnTypeOfElement(foo); |
60 Expect.isTrue(mask.isNullable); | 60 Expect.isTrue(mask.isNullable); |
61 Expect.isTrue(mask.nonNullable().isEmpty); | 61 Expect.isTrue(mask.nonNullable().isEmpty); |
62 // First parameter is uint31. | 62 // First parameter is uint31. |
63 var mask1 = typesInferrer.getTypeOfElement(foo.parameters[0]); | 63 var mask1 = typesInferrer.getTypeOfElement(foo.parameters[0]); |
64 Expect.isFalse(mask1.isNullable); | 64 Expect.isFalse(mask1.isNullable); |
65 Expect.equals(commonMasks.uint31Type, simplify(mask1, compiler)); | 65 Expect.equals(commonMasks.uint31Type, simplify(mask1, compiler)); |
66 // Second parameter is null. | 66 // Second parameter is null. |
67 var mask2 = typesInferrer.getTypeOfElement(foo.parameters[1]); | 67 var mask2 = typesInferrer.getTypeOfElement(foo.parameters[1]); |
68 Expect.isTrue(mask2.isNullable); | 68 Expect.isTrue(mask2.isNullable); |
69 Expect.isTrue(simplify(mask2.nonNullable(), compiler).isEmpty); | 69 Expect.isTrue(simplify(mask2.nonNullable(), compiler).isEmpty); |
70 } | 70 } |
71 } | 71 } |
72 | 72 |
73 main() { | 73 main() { |
74 asyncStart(); | 74 asyncStart(); |
75 runTest().then((_) { | 75 runTest().then((_) { |
76 // Make sure that the type is still correct when we do a second compilation. | 76 // Make sure that the type is still correct when we do a second compilation. |
77 return runTest(); | 77 return runTest(); |
78 }).whenComplete(asyncEnd); | 78 }).whenComplete(asyncEnd); |
79 } | 79 } |
OLD | NEW |