Home
last modified time | relevance | path

Searched refs:actualType (Results 1 - 3 of 3) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/checker/ets/
H A Dhelpers.cpp889 std::pair<Type *, Type *> ETSChecker::CheckTestNullishCondition(Type *testedType, Type *actualType, bool const strict) in CheckTestNullishCondition() argument
892 return RemoveNullishTypes(actualType); in CheckTestNullishCondition()
896 return {GlobalETSNullType(), RemoveNullType(actualType)}; in CheckTestNullishCondition()
900 return {GlobalETSUndefinedType(), RemoveUndefinedType(actualType)}; in CheckTestNullishCondition()
903 return {GlobalETSNullishType(), GetNonNullishType(actualType)}; in CheckTestNullishCondition()
907 std::pair<Type *, Type *> ETSChecker::CheckTestObjectCondition(ETSArrayType *testedType, Type *actualType) in CheckTestObjectCondition() argument
909 if (actualType->IsETSUnionType()) { in CheckTestObjectCondition()
910 return actualType->AsETSUnionType()->GetComplimentaryType(this, testedType); in CheckTestObjectCondition()
915 if (actualType->IsETSArrayType()) { in CheckTestObjectCondition()
916 auto *const arrayType = actualType in CheckTestObjectCondition()
938 CheckTestObjectCondition(ETSObjectType *testedType, Type *actualType, bool const strict) CheckTestObjectCondition() argument
[all...]
/arkcompiler/runtime_core/static_core/verification/absint/
H A Dabs_int_inl.h3216 Type actualType = regNum == INVALID_REG ? constructedType : GetRegType(regNum); local
3220 if (CheckMethodArgsNotFit(formalType, actualType, regNum, incompatibleTypes)) {
3224 return CheckMethodArgsIncompatibleTypes<NameGetter>(nameGetter, regNum, actualType, formalType);
3227 return CheckMethodArgsBot<NameGetter>(nameGetter, actualType);
3230 return CheckMethodArgsTop(actualType);
3233 if (!CheckMethodArgsSubtypePrimitive(nameGetter, formalType, actualType, regNum)) {
3238 if (!CheckType(actualType, formalType)) {
3239 CheckMethodArgsCheckType<NameGetter>(nameGetter, actualType, formalType, regNum);
4367 bool CheckMethodArgsSubtypePrimitive(NameGetter &nameGetter, Type &formalType, Type &actualType, int regNum) in CheckMethodArgsSubtypePrimitive() argument
4373 if (!IsSubtype(actualType, primitive in CheckMethodArgsSubtypePrimitive()
4414 CheckMethodArgsIncompatibleTypes(NameGetter &nameGetter, int regNum, Type &actualType, Type &formalType) CheckMethodArgsIncompatibleTypes() argument
4429 CheckMethodArgsBot(NameGetter &nameGetter, Type &actualType) CheckMethodArgsBot() argument
4443 CheckMethodArgsTop(Type &actualType) CheckMethodArgsTop() argument
4456 CheckMethodArgsCheckType(NameGetter &nameGetter, Type &actualType, Type &formalType, int regNum) CheckMethodArgsCheckType() argument
4481 CheckMethodArgsNotFit(Type &formalType, Type &actualType, int regNum, bool &incompatibleTypes) CheckMethodArgsNotFit() argument
[all...]
/arkcompiler/ets_frontend/ets2panda/checker/
H A DETSchecker.h672 [[nodiscard]] std::pair<Type *, Type *> CheckTestNullishCondition(Type *testedType, Type *actualType, bool strict);
673 [[nodiscard]] std::pair<Type *, Type *> CheckTestObjectCondition(ETSObjectType *testedType, Type *actualType,
675 [[nodiscard]] std::pair<Type *, Type *> CheckTestObjectCondition(ETSArrayType *testedType, Type *actualType);

Completed in 10 milliseconds