| 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 // TODO(sigmund): rename and move to common/elements.dart | 5 // TODO(sigmund): rename and move to common/elements.dart |
| 6 library dart2js.type_system; | 6 library dart2js.type_system; |
| 7 | 7 |
| 8 import 'common/names.dart' show Identifiers, Uris; | 8 import 'common/names.dart' show Identifiers, Uris; |
| 9 import 'constants/values.dart'; | 9 import 'constants/values.dart'; |
| 10 import 'elements/entities.dart'; | 10 import 'elements/entities.dart'; |
| (...skipping 1205 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1216 /// class M {} | 1216 /// class M {} |
| 1217 /// class C extends S with M {} | 1217 /// class C extends S with M {} |
| 1218 /// | 1218 /// |
| 1219 /// the result of `getSuperClass(C)` is the unnamed mixin application | 1219 /// the result of `getSuperClass(C)` is the unnamed mixin application |
| 1220 /// typically named `S+M` and `getSuperClass(S+M)` is `S`, whereas | 1220 /// typically named `S+M` and `getSuperClass(S+M)` is `S`, whereas |
| 1221 /// the result of `getSuperClass(C, skipUnnamedMixinApplications: false)` is | 1221 /// the result of `getSuperClass(C, skipUnnamedMixinApplications: false)` is |
| 1222 /// `S`. | 1222 /// `S`. |
| 1223 ClassEntity getSuperClass(ClassEntity cls, | 1223 ClassEntity getSuperClass(ClassEntity cls, |
| 1224 {bool skipUnnamedMixinApplications: false}); | 1224 {bool skipUnnamedMixinApplications: false}); |
| 1225 | 1225 |
| 1226 /// Calls [f] for each supertype of [cls]. |
| 1226 void forEachSupertype(ClassEntity cls, void f(InterfaceType supertype)); | 1227 void forEachSupertype(ClassEntity cls, void f(InterfaceType supertype)); |
| 1227 | 1228 |
| 1228 /// Calls [f] for each class that is mixed into [cls] or one of its | 1229 /// Calls [f] for each class that is mixed into [cls] or one of its |
| 1229 /// superclasses. | 1230 /// superclasses. |
| 1230 void forEachMixin(ClassEntity cls, void f(ClassEntity mixin)); | 1231 void forEachMixin(ClassEntity cls, void f(ClassEntity mixin)); |
| 1231 | 1232 |
| 1232 /// Create the instantiation of [cls] with the given [typeArguments]. | 1233 /// Create the instantiation of [cls] with the given [typeArguments]. |
| 1233 InterfaceType createInterfaceType( | 1234 InterfaceType createInterfaceType( |
| 1234 ClassEntity cls, List<DartType> typeArguments); | 1235 ClassEntity cls, List<DartType> typeArguments); |
| 1235 | 1236 |
| (...skipping 22 matching lines...) Expand all Loading... |
| 1258 | 1259 |
| 1259 /// Returns the type of the [local] function. | 1260 /// Returns the type of the [local] function. |
| 1260 FunctionType getLocalFunctionType(Local local); | 1261 FunctionType getLocalFunctionType(Local local); |
| 1261 | 1262 |
| 1262 /// Returns the unaliased type of [type]. | 1263 /// Returns the unaliased type of [type]. |
| 1263 /// | 1264 /// |
| 1264 /// Use this during resolution to ensure that the alias has been computed. | 1265 /// Use this during resolution to ensure that the alias has been computed. |
| 1265 // TODO(johnniwinther): Remove this when the resolver is removed. | 1266 // TODO(johnniwinther): Remove this when the resolver is removed. |
| 1266 DartType getUnaliasedType(DartType type); | 1267 DartType getUnaliasedType(DartType type); |
| 1267 | 1268 |
| 1268 /// Returns the [CallStructure] corresponding to calling [entity] with all | |
| 1269 /// arguments, both required and optional. | |
| 1270 CallStructure getCallStructure(FunctionEntity entity); | |
| 1271 | |
| 1272 /// Returns `true` if [member] a the synthetic getter `loadLibrary` injected | 1269 /// Returns `true` if [member] a the synthetic getter `loadLibrary` injected |
| 1273 /// on deferred libraries. | 1270 /// on deferred libraries. |
| 1274 bool isDeferredLoadLibraryGetter(MemberEntity member); | 1271 bool isDeferredLoadLibraryGetter(MemberEntity member); |
| 1275 | 1272 |
| 1276 /// Returns the metadata constants declared on [member]. | 1273 /// Returns the metadata constants declared on [member]. |
| 1277 Iterable<ConstantValue> getMemberMetadata(MemberEntity member); | 1274 Iterable<ConstantValue> getMemberMetadata(MemberEntity member); |
| 1278 } | 1275 } |
| OLD | NEW |