Searched refs:tparam (Results 1 - 7 of 7) sorted by relevance
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| H A D | etsReadonlyType.h | 27 explicit ETSReadonlyType(ETSTypeParameter *tparam) : Type(TypeFlag::ETS_READONLY), tparam_(tparam) {} in ETSReadonlyType() argument
|
| H A D | etsNonNullishType.h | 26 explicit ETSNonNullishType(ETSTypeParameter *tparam) : Type(TypeFlag::ETS_NONNULLISH), tparam_(tparam) {} in ETSNonNullishType() argument
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| H A D | signature.cpp | 38 for (auto *tparam : signatureInfo_->typeParams) { in Substitute()
39 auto *newTparam = tparam->Substitute(relation, substitution); in Substitute()
41 anyChange |= (newTparam != tparam); in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | function.cpp | 165 auto *const tparam = paramType->AsETSTypeParameter(); in EnhanceSubstitutionForType() local
166 auto *const originalTparam = tparam->GetOriginal(); in EnhanceSubstitutionForType()
170 LogTypeError({argumentType, " is not compatible with type ", tparam}, tparam->GetDeclNode()->Start()); in EnhanceSubstitutionForType()
175 return IsCompatibleTypeArgument(tparam, argumentType, substitution); in EnhanceSubstitutionForType()
|
| H A D | typeCheckingHelpers.cpp | 228 auto tparam = type->AsETSNonNullishType()->GetUnderlying(); in MatchConstituentOrConstraint() local
229 return traverse(tparam->GetConstraintType()); in MatchConstituentOrConstraint()
|
| H A D | helpers.cpp | 2083 void ETSChecker::EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typeArg) in EmplaceSubstituted() argument
2085 substitution->emplace(tparam, typeArg); in EmplaceSubstituted()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | ETSchecker.h | 372 static void EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typeArg);
|
Completed in 12 milliseconds