| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsTupleType.cpp | 81 relation->Result(relation->IsAssignableTo(ElementType(), arrayTarget->ElementType())); in AssignmentSource()
100 relation->Result(relation->IsAssignableTo(arraySource->ElementType(), ElementType())); in AssignmentTarget()
118 if (!relation->IsAssignableTo(tupleSource->GetTypeAtIndex(idx), GetTypeAtIndex(idx))) { in AssignmentTarget()
155 … return relation->IsAssignableTo(tupleTypeAtIdx, arrayTarget->ElementType()); in Cast()
160 … spreadAssignable = relation->IsAssignableTo(GetSpreadType(), arrayTarget->ElementType()); in Cast()
177 if (!relation->IsAssignableTo(tupleTarget->GetTypeAtIndex(idx), GetTypeAtIndex(idx))) { in Cast()
|
| D | etsExtensionFuncHelperType.cpp | 43 if (relation->IsAssignableTo(source->AsETSFunctionType(), classMethodType_)) { in AssignmentTarget()
47 if (relation->IsAssignableTo(source->AsETSFunctionType(), extensionFunctionType_)) { in AssignmentTarget()
|
| D | etsAsyncFuncReturnType.cpp | 49 …relation->IsAssignableTo(source, promiseType_) || relation->IsAssignableTo(source, GetPromiseTypeA… in AssignmentTarget()
|
| D | etsUnionType.cpp | 95 if (!relation->IsAssignableTo(it, target)) { in AssignmentSource()
113 return relation->IsAssignableTo(refSource, ct); in AssignmentTarget()
122 if (relation->IsAssignableTo(refSource, it)) { in AssignmentTarget()
124 relation->IsAssignableTo(source, it); in AssignmentTarget()
133 …if (assignPrimitive && relation->IsAssignableTo(source, checker->ETSBuiltinTypeAsPrimitiveType(it)… in AssignmentTarget()
|
| D | etsArrayType.cpp | 98 relation->IsAssignableTo(source->AsETSArrayType()->ElementType(), element_); in AssignmentTarget()
|
| /arkcompiler/ets_frontend/es2panda/typescript/types/ |
| D | signature.cpp | 116 … relation->IsAssignableTo(source->Params()[i]->TsType(), signatureInfo_->restVar->TsType()); in AssignmentTarget()
125 relation->IsAssignableTo(source->Params()[i]->TsType(), Params()[i]->TsType()); in AssignmentTarget()
132 relation->IsAssignableTo(source->ReturnType(), returnType_); in AssignmentTarget()
135 relation->IsAssignableTo(source->RestVar()->TsType(), signatureInfo_->restVar->TsType()); in AssignmentTarget()
|
| D | arrayType.cpp | 46 relation->IsAssignableTo(source->AsArrayType()->ElementType(), element_); in AssignmentTarget()
50 if (!relation->IsAssignableTo(it->TsType(), element_)) { in AssignmentTarget()
|
| D | objectType.cpp | 127 if (!relation->IsAssignableTo(sourceType, targetType)) { in AssignProperties()
140 !relation->IsAssignableTo(numberInfo->GetType(), targetType)) { in AssignProperties()
144 if (stringInfo && !relation->IsAssignableTo(stringInfo->GetType(), targetType)) { in AssignProperties()
195 …if (!relation->IsAssignableTo(relation->GetChecker()->GetTypeOfVariable(it), targetInfo->GetType()… in AssignIndexInfo()
|
| D | indexInfo.cpp | 51 relation->IsAssignableTo(source->GetType(), type_); in AssignmentTarget()
|
| D | unionType.cpp | 61 if (!relation->IsAssignableTo(it, target)) { in AssignmentSource()
73 if (relation->IsAssignableTo(source, it)) { in AssignmentTarget()
|
| D | typeRelation.cpp | 120 bool TypeRelation::IsAssignableTo(Type *source, Type *target) in IsAssignableTo() function in panda::es2panda::checker::TypeRelation
145 if (IsAssignableTo(source, target)) { in IsComparableTo()
|
| D | typeRelation.h | 93 bool IsAssignableTo(Type *source, Type *target);
|
| D | tupleType.cpp | 125 if (!relation->IsAssignableTo(sourcePropType, targetPropType)) { in AssignmentTarget()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ts/ |
| D | arrayType.cpp | 45 relation->IsAssignableTo(source->AsArrayType()->ElementType(), element_); in AssignmentTarget()
49 if (!relation->IsAssignableTo(it->TsType(), element_)) { in AssignmentTarget()
|
| D | objectType.cpp | 126 if (!relation->IsAssignableTo(sourceType, targetType)) { in AssignProperties()
140 !relation->IsAssignableTo(numberInfo->GetType(), targetType)) { in AssignProperties()
144 if (stringInfo != nullptr && !relation->IsAssignableTo(stringInfo->GetType(), targetType)) { in AssignProperties()
195 …if (!relation->IsAssignableTo(relation->GetChecker()->GetTypeOfVariable(it), targetInfo->GetType()… in AssignIndexInfo()
|
| D | indexInfo.cpp | 50 relation->IsAssignableTo(source->GetType(), type_); in AssignmentTarget()
|
| D | unionType.cpp | 60 if (!relation->IsAssignableTo(it, target)) { in AssignmentSource()
72 if (relation->IsAssignableTo(source, it)) { in AssignmentTarget()
|
| D | tupleType.cpp | 126 if (!relation->IsAssignableTo(sourcePropType, targetPropType)) { in AssignmentTarget()
|
| /arkcompiler/ets_frontend/es2panda/typescript/core/ |
| D | typeRelation.cpp | 31 return relation_->IsAssignableTo(source, target); in IsAllTypesAssignableTo()
61 return relation_->IsAssignableTo(source, target); in IsTypeAssignableTo()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | signature.cpp | 321 … relation->IsAssignableTo(source->Params()[i]->TsType(), signatureInfo_->restVar->TsType()); in AssignmentTarget()
330 relation->IsAssignableTo(source->Params()[i]->TsType(), Params()[i]->TsType()); in AssignmentTarget()
337 relation->IsAssignableTo(source->ReturnType(), returnType_); in AssignmentTarget()
340 relation->IsAssignableTo(source->RestVar()->TsType(), signatureInfo_->restVar->TsType()); in AssignmentTarget()
|
| D | typeRelation.cpp | 98 bool TypeRelation::IsAssignableTo(Type *source, Type *target) in IsAssignableTo() function in panda::es2panda::checker::TypeRelation
133 if (IsAssignableTo(source, target)) { in IsComparableTo()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | boxingConverter.h | 51 Relation()->Result(relation->IsAssignableTo(Result(), target)); in BoxingConverter()
|
| D | typeRelationContext.h | 56 if (!relation->IsAssignableTo(source, target)) {
103 if (!relation->IsAssignableTo(source, target)) {
|
| D | typeRelationContext.cpp | 105 return checker_->Relation()->IsAssignableTo(typeArg, constraintType); in ValidateTypeArg()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | checker.cpp | 116 return relation_->IsAssignableTo(source, target); in IsAllTypesAssignableTo()
146 return relation_->IsAssignableTo(source, target); in IsTypeAssignableTo()
|