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.dart'; | 8 import 'common.dart'; |
9 import 'common/names.dart' show Identifiers, Uris; | 9 import 'common/names.dart' show Identifiers, Uris; |
10 import 'constants/values.dart'; | 10 import 'constants/values.dart'; |
(...skipping 1311 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1322 /// class C = Object with B {} | 1322 /// class C = Object with B {} |
1323 /// | 1323 /// |
1324 /// The mixin classes of `B` and `C` are `A` and `B`, respectively, but the | 1324 /// The mixin classes of `B` and `C` are `A` and `B`, respectively, but the |
1325 /// _effective_ mixin class of both is `A`. | 1325 /// _effective_ mixin class of both is `A`. |
1326 ClassEntity getEffectiveMixinClass(ClassEntity cls); | 1326 ClassEntity getEffectiveMixinClass(ClassEntity cls); |
1327 | 1327 |
1328 /// The upper bound on the [typeVariable]. If not explicitly declared, this is | 1328 /// The upper bound on the [typeVariable]. If not explicitly declared, this is |
1329 /// `Object`. | 1329 /// `Object`. |
1330 DartType getTypeVariableBound(TypeVariableEntity typeVariable); | 1330 DartType getTypeVariableBound(TypeVariableEntity typeVariable); |
1331 | 1331 |
1332 /// Returns the type if [function]. | 1332 /// Returns the type of [function]. |
1333 FunctionType getFunctionType(FunctionEntity function); | 1333 FunctionType getFunctionType(FunctionEntity function); |
1334 | 1334 |
| 1335 /// Returns the type of [field]. |
| 1336 DartType getFieldType(FieldEntity field); |
| 1337 |
1335 /// Returns the type of the [local] function. | 1338 /// Returns the type of the [local] function. |
1336 FunctionType getLocalFunctionType(Local local); | 1339 FunctionType getLocalFunctionType(Local local); |
1337 | 1340 |
1338 /// Returns the 'unaliased' type of [type]. For typedefs this is the function | 1341 /// Returns the 'unaliased' type of [type]. For typedefs this is the function |
1339 /// type it is an alias of, for other types it is the type itself. | 1342 /// type it is an alias of, for other types it is the type itself. |
1340 /// | 1343 /// |
1341 /// Use this during resolution to ensure that the alias has been computed. | 1344 /// Use this during resolution to ensure that the alias has been computed. |
1342 // TODO(johnniwinther): Remove this when the resolver is removed. | 1345 // TODO(johnniwinther): Remove this when the resolver is removed. |
1343 DartType getUnaliasedType(DartType type); | 1346 DartType getUnaliasedType(DartType type); |
1344 | 1347 |
(...skipping 10 matching lines...) Expand all Loading... |
1355 /// Returns the metadata constants declared on [typedef]. | 1358 /// Returns the metadata constants declared on [typedef]. |
1356 Iterable<ConstantValue> getTypedefMetadata(TypedefEntity typedef); | 1359 Iterable<ConstantValue> getTypedefMetadata(TypedefEntity typedef); |
1357 | 1360 |
1358 /// Returns the metadata constants declared on [member]. | 1361 /// Returns the metadata constants declared on [member]. |
1359 Iterable<ConstantValue> getMemberMetadata(MemberEntity member, | 1362 Iterable<ConstantValue> getMemberMetadata(MemberEntity member, |
1360 {bool includeParameterMetadata: false}); | 1363 {bool includeParameterMetadata: false}); |
1361 | 1364 |
1362 /// Returns the function type that is an alias of a [typedef]. | 1365 /// Returns the function type that is an alias of a [typedef]. |
1363 FunctionType getFunctionTypeOfTypedef(TypedefEntity typedef); | 1366 FunctionType getFunctionTypeOfTypedef(TypedefEntity typedef); |
1364 } | 1367 } |
OLD | NEW |