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