OLD | NEW |
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 library types; | 5 library types; |
6 | 6 |
7 import '../common/backend_api.dart' show | 7 import '../common/backend_api.dart' show |
8 Backend; | 8 Backend; |
9 import '../common/tasks.dart' show | 9 import '../common/tasks.dart' show |
10 CompilerTask; | 10 CompilerTask; |
11 import '../compiler.dart' show | 11 import '../compiler.dart' show |
12 Compiler; | 12 Compiler; |
13 import '../diagnostics/invariant.dart' show | 13 import '../diagnostics/invariant.dart' show |
14 invariant; | 14 invariant; |
15 import '../diagnostics/spannable.dart' show | 15 import '../diagnostics/spannable.dart' show |
16 NO_LOCATION_SPANNABLE; | 16 NO_LOCATION_SPANNABLE; |
17 import '../elements/elements.dart'; | 17 import '../elements/elements.dart'; |
18 import '../inferrer/concrete_types_inferrer.dart' show ConcreteTypesInferrer; | 18 import '../inferrer/concrete_types_inferrer.dart' show |
19 import '../inferrer/type_graph_inferrer.dart' show TypeGraphInferrer; | 19 ConcreteTypesInferrer; |
| 20 import '../inferrer/type_graph_inferrer.dart' show |
| 21 TypeGraphInferrer; |
20 import '../tree/tree.dart'; | 22 import '../tree/tree.dart'; |
21 import '../util/util.dart'; | 23 import '../util/util.dart'; |
22 import '../universe/universe.dart'; | 24 import '../universe/selector.dart' show |
| 25 Selector; |
| 26 import '../universe/universe.dart' show |
| 27 ReceiverMask, |
| 28 ReceiverMaskSet, |
| 29 UniverseReceiverMaskSet, |
| 30 ReceiverMaskStrategy; |
23 import '../world.dart' show | 31 import '../world.dart' show |
24 ClassWorld, | 32 ClassWorld, |
25 World; | 33 World; |
26 | 34 |
27 part 'container_type_mask.dart'; | 35 part 'container_type_mask.dart'; |
28 part 'dictionary_type_mask.dart'; | 36 part 'dictionary_type_mask.dart'; |
29 part 'flat_type_mask.dart'; | 37 part 'flat_type_mask.dart'; |
30 part 'forwarding_type_mask.dart'; | 38 part 'forwarding_type_mask.dart'; |
31 part 'map_type_mask.dart'; | 39 part 'map_type_mask.dart'; |
32 part 'type_mask.dart'; | 40 part 'type_mask.dart'; |
(...skipping 307 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
340 typesInferrer.getTypeOfSelector(selector, mask); | 348 typesInferrer.getTypeOfSelector(selector, mask); |
341 return (concreteTypesInferrer == null) | 349 return (concreteTypesInferrer == null) |
342 ? guaranteedType | 350 ? guaranteedType |
343 : intersection( | 351 : intersection( |
344 guaranteedType, | 352 guaranteedType, |
345 concreteTypesInferrer.getTypeOfSelector(selector, mask), | 353 concreteTypesInferrer.getTypeOfSelector(selector, mask), |
346 selector); | 354 selector); |
347 }); | 355 }); |
348 } | 356 } |
349 } | 357 } |
OLD | NEW |