| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | function_helpers.h | 72 ETSChecker *checker, Substitution *substitution) in InferUntilFail()
120 Substitution *substitution = checker->NewSubstitution(); in BuildImplicitSubstitutionForArguments() local
159 auto *substitution = checker->NewSubstitution(); in BuildExplicitSubstitutionForArguments() local
206 const Substitution *substitution = in MaybeSubstituteTypeParameters() local
|
| D | typeRelationContext.cpp | 115 … const Substitution *substitution, lexer::SourcePosition pos) in CheckInstantiationConstraints()
162 auto *substitution = checker_->NewSubstitution(); in InstantiateType() local
|
| D | function.cpp | 59 const Substitution *substitution) in IsCompatibleTypeArgument()
93 … const size_t index, Substitution *substitution, Type *objectParam) in InsertTypeIntoSubstitution()
107 … const Type *paramType, Substitution *substitution) in EnhanceSubstitutionForGenericType()
150 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForReadonly()
158 Substitution *substitution) in EnhanceSubstitutionForType()
199 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForUnion()
239 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForObject()
289 … Type *const argumentType, Substitution *const substitution) in EnhanceSubstitutionForArray()
1494 auto *substitution = NewSubstitution(); in AdjustForTypeParameters() local
|
| D | typeCreation.cpp | 673 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
685 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
709 Substitution *substitution = NewSubstitution(); in CreatePromiseOf() local
|
| D | helpers.cpp | 2031 void ETSChecker::EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typ… in EmplaceSubstituted()
2057 util::StringView ETSChecker::GetHashFromSubstitution(const Substitution *substitution) in GetHashFromSubstitution()
|
| /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
213 checker::Substitution *substitution, in ProcessCalleeMethodBody()
346 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. in CreateCalleeMethod() local
461 LambdaInfo const *info, checker::Substitution *substitution) in CreateLambdaClassFields()
486 … LambdaInfo const *info, checker::Substitution *substitution) in CreateLambdaClassConstructor()
648 … checker::Substitution *substitution, ArenaVector<checker::Type *> &funcInterfaces) in BuildLambdaClass()
679 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. in CreateLambdaClass() local
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsTypeAliasType.cpp | 246 const Substitution *const substitution) in SubstituteTypeArgs()
293 Type *ETSTypeAliasType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsObjectType.cpp | 892 static Type *SubstituteVariableType(TypeRelation *relation, const Substitution *substitution, Type … in SubstituteVariableType()
904 const Substitution *substitution) in CopyPropertyWithTypeArguments()
929 const Substitution *const substitution) in SubstituteTypeArgs()
1008 ETSObjectType *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution, … in Substitute()
1058 ETSObjectType *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
1070 auto *substitution = checker->NewSubstitution(); in SubstituteArguments() local
|
| D | etsFunctionType.cpp | 88 auto *substitution = checker->NewSubstitution(); in EnhanceSignatureSubstitution() local
237 …FunctionType *ETSFunctionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsNonNullishType.cpp | 88 …nNullishType::Substitute([[maybe_unused]] 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 | etsPartialTypeParameter.cpp | 89 Type *ETSPartialTypeParameter::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsArrayType.cpp | 163 Type *ETSArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsTupleType.cpp | 149 Type *ETSTupleType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsUnionType.cpp | 343 Type *ETSUnionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /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 | 27 Signature *Signature::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSAnalyzerHelpers.cpp | 710 auto substitution = checker->NewSubstitution(); in CreateOptionalSignaturesForFunctionalType() local
740 auto substitution = checker->NewSubstitution(); in CreateInterfaceTypeForETSFunctionType() local
|
| D | ETSchecker.cpp | 509 auto *substitution = NewSubstitution(); in GlobalBuiltinBoxType() local
|