| /arkcompiler/ets_frontend/es2panda/typescript/core/ |
| H A D | typeRelation.cpp | 31 return relation_->IsAssignableTo(source, target); in IsAllTypesAssignableTo()
36 return relation_->IsIdenticalTo(source, target); in IsTypeIdenticalTo()
43 relation_->RaiseError(errMsg, errPos); in IsTypeIdenticalTo()
53 relation_->RaiseError(list, errPos); in IsTypeIdenticalTo()
61 return relation_->IsAssignableTo(source, target); in IsTypeAssignableTo()
68 relation_->RaiseError(errMsg, errPos); in IsTypeAssignableTo()
78 relation_->RaiseError(list, errPos); in IsTypeAssignableTo()
86 return relation_->IsComparableTo(source, target); in IsTypeComparableTo()
93 relation_->RaiseError(errMsg, errPos); in IsTypeComparableTo()
103 relation_ in IsTypeComparableTo()
[all...] |
| H A D | typeCreation.cpp | 84 UnionType::RemoveDuplicatedTypes(relation_, newConstituentTypes); in CreateUnionType()
116 UnionType::RemoveDuplicatedTypes(relation_, newConstituentTypes); in CreateUnionType()
|
| H A D | function.cpp | 153 Type *instantiateTupleType = inferedTuple->Instantiate(allocator_, relation_, globalTypes_); in CreateParameterTypeForArrayAssignmentPattern()
176 ObjectType *newObject = inferedType->Instantiate(allocator_, relation_, globalTypes_)->AsObjectType(); in CreateParameterTypeForObjectAssignmentPattern()
627 bodyCallSignature->AssignmentTarget(relation_, iter); in InferFunctionDeclarationType()
629 if (relation_->IsTrue()) { in InferFunctionDeclarationType()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | checker.cpp | 40 relation_(allocator_.New<TypeRelation>(this)) in Checker()
129 return relation_->IsAssignableTo(source, target); in IsAllTypesAssignableTo()
134 return relation_->IsIdenticalTo(source, target); in IsTypeIdenticalTo()
141 relation_->RaiseError(errMsg, errPos); in IsTypeIdenticalTo()
151 relation_->RaiseError(list, errPos); in IsTypeIdenticalTo()
159 return relation_->IsAssignableTo(source, target); in IsTypeAssignableTo()
166 relation_->RaiseError(errMsg, errPos); in IsTypeAssignableTo()
176 relation_->RaiseError(list, errPos); in IsTypeAssignableTo()
184 return relation_->IsComparableTo(source, target); in IsTypeComparableTo()
191 relation_ in IsTypeComparableTo()
[all...] |
| H A D | checker.h | 101 return relation_;
217 TypeRelation *relation_; member in ark::es2panda::ark::es2panda::ark::es2panda::ark::es2panda::checker::Checker
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | typeConverter.cpp | 20 : checker_(checker), relation_(relation), target_(target), source_(source) in TypeConverter()
46 return relation_; in Relation()
|
| H A D | typeConverter.h | 36 TypeRelation *relation_; member in ark::es2panda::checker::TypeConverter
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| H A D | typeRelation.h | 359 : relation_(relation), prev_(relation->flags_) in SavedTypeRelationFlagsContext()
361 relation_->flags_ = newFlag; in SavedTypeRelationFlagsContext()
369 relation_->flags_ = prev_; in ~SavedTypeRelationFlagsContext()
373 TypeRelation *relation_; member in ark::es2panda::checker::SavedTypeRelationFlagsContext
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| H A D | etsObjectType.cpp | 834 copiedType->relation_ = relation; in Instantiate()
922 copiedType->relation_ = relation; in SetCopiedTypeProperties()
1035 ASSERT(relation_ != nullptr); in InstantiateProperties()
1036 auto *checker = relation_->GetChecker()->AsETSChecker(); in InstantiateProperties()
1047 auto *newSig = it->Substitute(relation_, effectiveSubstitution_); in InstantiateProperties()
1053 auto *copiedProp = CopyPropertyWithTypeArguments(prop, relation_, effectiveSubstitution_); in InstantiateProperties()
1059 auto *copiedProp = CopyPropertyWithTypeArguments(prop, relation_, effectiveSubstitution_); in InstantiateProperties()
1065 auto *copiedProp = CopyPropertyWithTypeArguments(prop, relation_, effectiveSubstitution_); in InstantiateProperties()
1071 auto *copiedProp = CopyPropertyWithTypeArguments(prop, relation_, effectiveSubstitution_); in InstantiateProperties()
1077 auto *copiedProp = CopyPropertyWithTypeArguments(prop, relation_, effectiveSubstitution in InstantiateProperties()
[all...] |
| H A D | etsObjectType.h | 98 relation_ = relation; in SetRelation()
103 return relation_; in GetRelation()
442 relation_(std::get<TypeRelation *>(info)), in ETSObjectType()
493 TypeRelation *relation_ = nullptr; member in ark::es2panda::checker::ETSObjectType
|
| /arkcompiler/ets_frontend/es2panda/typescript/ |
| H A D | checker.cpp | 42 relation_ = allocator_->New<TypeRelation>(this); in Checker()
|
| H A D | checker.h | 297 return relation_; in Relation()
488 TypeRelation *relation_; member in panda::es2panda::panda::es2panda::panda::es2panda::checker::Checker
|