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 world_builder; | 5 library world_builder; |
6 | 6 |
7 import 'dart:collection'; | 7 import 'dart:collection'; |
8 | 8 |
9 import '../common.dart'; | 9 import '../common.dart'; |
10 import '../common/names.dart' show Identifiers; | 10 import '../common/names.dart' show Identifiers; |
(...skipping 17 matching lines...) Expand all Loading... |
28 import 'use.dart' | 28 import 'use.dart' |
29 show | 29 show |
30 ConstantUse, | 30 ConstantUse, |
31 ConstantUseKind, | 31 ConstantUseKind, |
32 DynamicUse, | 32 DynamicUse, |
33 DynamicUseKind, | 33 DynamicUseKind, |
34 StaticUse, | 34 StaticUse, |
35 StaticUseKind; | 35 StaticUseKind; |
36 | 36 |
37 part 'codegen_world_builder.dart'; | 37 part 'codegen_world_builder.dart'; |
| 38 part 'element_world_builder.dart'; |
38 part 'member_usage.dart'; | 39 part 'member_usage.dart'; |
39 part 'resolution_world_builder.dart'; | 40 part 'resolution_world_builder.dart'; |
40 | 41 |
41 /// The known constraint on receiver for a dynamic call site. | 42 /// The known constraint on receiver for a dynamic call site. |
42 /// | 43 /// |
43 /// This can for instance be used to constrain this dynamic call to `foo` to | 44 /// This can for instance be used to constrain this dynamic call to `foo` to |
44 /// 'receivers of the exact instance `Bar`': | 45 /// 'receivers of the exact instance `Bar`': |
45 /// | 46 /// |
46 /// class Bar { | 47 /// class Bar { |
47 /// void foo() {} | 48 /// void foo() {} |
(...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
174 | 175 |
175 /// All directly instantiated types, that is, the types of the directly | 176 /// All directly instantiated types, that is, the types of the directly |
176 /// instantiated classes. | 177 /// instantiated classes. |
177 // TODO(johnniwinther): Improve semantic precision. | 178 // TODO(johnniwinther): Improve semantic precision. |
178 Iterable<InterfaceType> get instantiatedTypes; | 179 Iterable<InterfaceType> get instantiatedTypes; |
179 | 180 |
180 /// Registers that [type] is checked in this world builder. The unaliased type | 181 /// Registers that [type] is checked in this world builder. The unaliased type |
181 /// is returned. | 182 /// is returned. |
182 void registerIsCheck(DartType type); | 183 void registerIsCheck(DartType type); |
183 } | 184 } |
OLD | NEW |