| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| D | function_helpers.h | 70 ETSChecker *checker, Substitution *substitution) in InferUntilFail()
124 Substitution *substitution = checker->NewSubstitution(); in BuildImplicitSubstitutionForArguments() local
163 auto *substitution = checker->NewSubstitution(); in BuildExplicitSubstitutionForArguments() local
209 const Substitution *substitution = in MaybeSubstituteTypeParameters() local
|
| D | typeRelationContext.cpp | 124 … const Substitution *substitution, lexer::SourcePosition pos) in CheckInstantiationConstraints()
171 auto *substitution = checker_->NewSubstitution(); in InstantiateType() local
|
| D | function.cpp | 64 const Substitution *substitution) in IsCompatibleTypeArgument()
82 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForReadonly()
90 Substitution *substitution) in EnhanceSubstitutionForType()
139 Substitution *substitution) in ValidateTypeSubstitution()
150 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForUnion()
187 Signature *argSig, Substitution *substitution) in ProcessUntypedParameter()
251 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForFunction()
315 Type *argumentType, Substitution *substitution) in EnhanceSubstitutionForObject()
337 … Type *const argumentType, Substitution *const substitution) in EnhanceSubstitutionForArray()
347 Substitution *const substitution) in EnhanceSubstitutionForResizableArray()
[all …]
|
| D | typeCreation.cpp | 129 Substitution *substitution = NewSubstitution(); in CreateETSResizableArrayType() local
479 Substitution *substitution = NewSubstitution(); in CreatePromiseOf() local
|
| D | helpers.cpp | 1622 auto *substitution = NewSubstitution(); in HandleTypeAlias() local
2378 void ETSChecker::EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typ… in EmplaceSubstituted()
2405 util::StringView ETSChecker::GetHashFromSubstitution(const Substitution *substitution, const bool e… in GetHashFromSubstitution()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| D | etsResizableArrayType.cpp | 20 …ayType *ETSResizableArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsFunctionType.cpp | 81 auto *substitution = checker->NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
103 auto *substitution = checker->NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
176 auto *substitution = checker->NewSubstitution(); in EnhanceSignatureSubstitution() local
307 …FunctionType *ETSFunctionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsTypeAliasType.cpp | 246 const Substitution *const substitution) in SubstituteTypeArgs()
265 Type *ETSTypeAliasType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsObjectType.cpp | 962 static Type *SubstituteVariableType(TypeRelation *relation, const Substitution *substitution, Type … in SubstituteVariableType()
974 const Substitution *substitution) in CopyPropertyWithTypeArguments()
1004 const Substitution *const substitution) in SubstituteTypeArgs()
1084 ETSObjectType *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution, … in Substitute()
1138 ETSObjectType *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
1150 auto *substitution = checker->NewSubstitution(); in SubstituteArguments() local
|
| D | etsNonNullishType.cpp | 91 …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 | etsPartialTypeParameter.cpp | 94 Type *ETSPartialTypeParameter::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsTypeParameter.cpp | 139 …ypeParameter::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsArrayType.cpp | 169 Type *ETSArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsTupleType.cpp | 123 Type *ETSTupleType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| D | etsUnionType.cpp | 335 Type *ETSUnionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| D | lambdaLowering.cpp | 50 checker::Substitution *substitution = nullptr; member
96 … ir::TSTypeParameter *newTypeParamNode, checker::Substitution *substitution, in ProcessTypeParameterProperties()
133 auto *substitution = checker->NewSubstitution(); in CloneTypeParams() local
191 … varbinder::ParamScope *paramScope, checker::Substitution *substitution) in CreateLambdaCalleeParameters()
246 checker::Substitution *substitution, in ProcessCalleeMethodBody()
357 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. in CreateCalleeMethod() local
449 LambdaInfo const *info, checker::Substitution *substitution) in CreateLambdaClassFields()
478 … LambdaInfo const *info, checker::Substitution *substitution) in CreateLambdaClassConstructor()
896 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. in CreateLambdaClass() local
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| D | type.cpp | 147 …stitute([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] const Substitution *substitution) in Substitute()
|
| D | signature.cpp | 29 Signature *Signature::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| D | ETSchecker.cpp | 683 auto *substitution = NewSubstitution(); in GlobalBuiltinBoxType() local
|