Searched defs:substitution (Results 1 – 12 of 12) sorted by relevance
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | function_helpers.h | 88 Substitution *substitution = checker->NewSubstitution(); in BuildImplicitSubstitutionForArguments() local
117 auto *substitution = checker->NewSubstitution(); in BuildExplicitSubstitutionForArguments() local
161 const Substitution *substitution = in MaybeSubstituteTypeParameters() local
|
| D | typeRelationContext.cpp | 73 auto *const substitution = checker_->NewSubstitution(); in ValidateTypeArguments() local
149 auto *substitution = checker_->NewSubstitution(); in InstantiateType() local
|
| D | function.cpp | 72 const Substitution *substitution) in IsCompatibleTypeArgument()
86 Substitution *substitution, in EnhanceSubstitutionForType()
124 Type *argumentType, Substitution *substitution, in EnhanceSubstitutionForObject()
1139 auto *substitution = NewSubstitution(); in AdjustForTypeParameters() local
|
| D | helpers.cpp | 2325 void ETSChecker::EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typ… in EmplaceSubstituted()
2342 util::StringView ETSChecker::GetHashFromSubstitution(const Substitution *substitution) in GetHashFromSubstitution()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsFunctionType.cpp | 88 auto *substitution = relation->GetChecker()->AsETSChecker()->NewSubstitution(); in ProcessSignatures() local
187 …FunctionType *ETSFunctionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsObjectType.cpp | 769 const Substitution *substitution) in CopyPropertyWithTypeArguments()
793 const Substitution *const substitution) in SubstituteTypeArgs()
808 … ArenaVector<Type *> &newTypeArgs, const Substitution *const substitution) in SetCopiedTypeProperties()
821 Type *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsArrayType.cpp | 162 Type *ETSArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsTypeParameter.cpp | 128 Type *ETSTypeParameter::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsUnionType.cpp | 248 Type *ETSUnionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | type.cpp | 139 …stitute([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] const Substitution *substitution) in Substitute()
|
| D | signature.cpp | 30 Signature *Signature::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSAnalyzer.cpp | 492 checker::Substitution *substitution = checker->NewSubstitution(); in Check() local
|