| 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 |