| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | function_helpers.h | 88 Substitution *substitution = checker->NewSubstitution(); in BuildImplicitSubstitutionForArguments() local
148 auto *substitution = checker->NewSubstitution(); in BuildExplicitSubstitutionForArguments() local
194 const Substitution *substitution = in MaybeSubstituteTypeParameters() local
|
| D | typeRelationContext.cpp | 96 … const Substitution *substitution, lexer::SourcePosition pos) in CheckInstantiationConstraints()
139 auto *substitution = checker_->NewSubstitution(); in InstantiateType() local
|
| D | function.cpp | 64 const Substitution *substitution) in IsCompatibleTypeArgument()
85 … const size_t index, Substitution *substitution, Type *objectParam) in InsertTypeIntoSubstitution()
99 … const Type *paramType, Substitution *substitution) in EnhanceSubstitutionForGenericType()
142 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForReadonly()
150 Substitution *substitution) in EnhanceSubstitutionForType()
190 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForUnion()
230 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForObject()
280 … Type *const argumentType, Substitution *const substitution) in EnhanceSubstitutionForArray()
1465 auto *substitution = NewSubstitution(); in AdjustForTypeParameters() local
|
| D | typeCreation.cpp | 648 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
654 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
|
| D | helpers.cpp | 2009 void ETSChecker::EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typ… in EmplaceSubstituted()
2033 util::StringView ETSChecker::GetHashFromSubstitution(const Substitution *substitution) in GetHashFromSubstitution()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsFunctionType.cpp | 91 auto *substitution = relation->GetChecker()->AsETSChecker()->NewSubstitution(); in ProcessSignatures() local
183 …FunctionType *ETSFunctionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsObjectType.cpp | 826 static Type *SubstituteVariableType(TypeRelation *relation, const Substitution *substitution, Type … in SubstituteVariableType()
838 const Substitution *substitution) in CopyPropertyWithTypeArguments()
863 const Substitution *const substitution) in SubstituteTypeArgs()
947 ETSObjectType *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution, … in Substitute()
997 ETSObjectType *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
1009 auto *substitution = checker->NewSubstitution(); in SubstituteArguments() local
|
| D | etsNonNullishType.cpp | 88 …nNullishType::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsArrayType.cpp | 152 Type *ETSArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsReadonlyType.cpp | 92 …ReadonlyType::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsTypeParameter.cpp | 106 …ypeParameter::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsTupleType.cpp | 140 Type *ETSTupleType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsUnionType.cpp | 340 Type *ETSUnionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| D | lambdaLowering.cpp | 44 checker::Substitution *substitution = nullptr; member
51 checker::Substitution *substitution = nullptr; member
103 auto *substitution = checker->NewSubstitution(); in CloneTypeParams() local
207 checker::Substitution *substitution, in ProcessCalleeMethodBody()
340 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. in CreateCalleeMethod() local
540 LambdaInfo const *info, checker::Substitution *substitution) in CreateLambdaClassFields()
565 … LambdaInfo const *info, checker::Substitution *substitution) in CreateLambdaClassConstructor()
727 … checker::Substitution *substitution, ArenaVector<checker::Type *> &funcInterfaces) in BuildLambdaClass()
758 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. in CreateLambdaClass() local
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | type.cpp | 136 …stitute([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] const Substitution *substitution) in Substitute()
|
| D | signature.cpp | 32 Signature *Signature::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSAnalyzerHelpers.cpp | 679 … Substitution *substitution, size_t optionalParameterIndex) in CreateOptionalSignaturesForFunctionalType()
708 … ETSObjectType *genericInterfaceType, Substitution *substitution) in CreateInterfaceTypeForETSFunctionType()
|
| D | ETSchecker.cpp | 405 auto *substitution = NewSubstitution(); in GlobalBuiltinBoxType() local
|
| D | ETSAnalyzer.cpp | 289 auto *substitution = checker->NewSubstitution(); in Check() local
324 checker::Substitution *substitution = checker->NewSubstitution(); in Check() local
|