Home
last modified time | relevance | path

Searched refs:testedType (Results 1 - 4 of 4) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/checker/
H A DcheckerContext.cpp336 checker::Type *testedType = nullptr; variable
343 auto const getTestedType = [&variable, &testedType, &strict](ir::Identifier const *const identifier,
348 testedType = expression->TsType();
359 if (testedType == nullptr && binaryExpression->Right()->IsIdentifier()) {
363 if (testedType != nullptr) {
367 if (testedType->DefinitelyETSNullish()) {
368 testCondition_ = {variable, testedType, negate, strict};
H A DcheckerContext.h86 checker::Type *testedType = nullptr; member
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);
/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
895 if (testedType->IsETSNullType()) { in CheckTestNullishCondition()
899 if (testedType->IsETSUndefinedType()) { in CheckTestNullishCondition()
907 std::pair<Type *, Type *> ETSChecker::CheckTestObjectCondition(ETSArrayType *testedType, Type *actualType) in CheckTestObjectCondition() argument
910 return actualType->AsETSUnionType()->GetComplimentaryType(this, testedType); in CheckTestObjectCondition()
918 if (Relation()->IsIdenticalTo(arrayType, testedType) || in CheckTestObjectCondition()
919 arrayType->AssemblerName() == testedType->AssemblerName()) { in CheckTestObjectCondition()
920 return {testedType, GetGlobalTypesHolder()->GlobalNeverType()}; in CheckTestObjectCondition()
923 if (Relation()->IsSupertypeOf(arrayType, testedType)) { in CheckTestObjectCondition()
924 return {testedType, actualTyp in CheckTestObjectCondition()
938 CheckTestObjectCondition(ETSObjectType *testedType, Type *actualType, bool const strict) CheckTestObjectCondition() argument
1057 auto *const testedType = testCondition_.testedType->AsETSObjectType(); ResolveSmartCastTypes() local
1061 auto *const testedType = testCondition_.testedType->AsETSArrayType(); ResolveSmartCastTypes() local
[all...]

Completed in 7 milliseconds