| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| H A D | etsTupleType.cpp | 140 Type *ETSTupleType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute() argument
|
| H A D | etsTypeParameter.cpp | 106 Type *ETSTypeParameter::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *substitution) in Substitute() argument
|
| H A D | etsReadonlyType.cpp | 92 Type *ETSReadonlyType::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *substitution) in Substitute() argument
|
| H A D | etsArrayType.cpp | 152 Type *ETSArrayType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute() argument
|
| H A D | etsNonNullishType.cpp | 88 Type *ETSNonNullishType::Substitute([[maybe_unused]] TypeRelation *relation, const Substitution *substitution) in Substitute() argument
|
| H A D | etsFunctionType.cpp | 99 auto *substitution = relation->GetChecker()->AsETSChecker()->NewSubstitution(); in ProcessSignatures() local
193 ETSFunctionType *ETSFunctionType::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute() argument
|
| H A D | etsObjectType.cpp | 842 static Type *SubstituteVariableType(TypeRelation *relation, const Substitution *substitution, Type *const varType) in SubstituteVariableType() argument
958 ETSObjectType *ETSObjectType::Substitute(TypeRelation *relation, const Substitution *substitution, bool cache) in Substitute() argument
853 CopyPropertyWithTypeArguments(varbinder::LocalVariable *prop, TypeRelation *relation, const Substitution *substitution) CopyPropertyWithTypeArguments() argument
878 SubstituteTypeArgs(TypeRelation *const relation, ArenaVector<Type *> &newTypeArgs, const Substitution *const substitution) SubstituteTypeArgs() argument
1008 Substitute(TypeRelation *relation, const Substitution *substitution) Substitute() argument
1020 auto *substitution = checker->NewSubstitution(); SubstituteArguments() local
[all...] |
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | typeRelationContext.cpp | 160 auto *substitution = checker_->NewSubstitution(); in InstantiateType() local
113 CheckInstantiationConstraints(ETSChecker *checker, ArenaVector<Type *> const &typeParams, const Substitution *substitution, lexer::SourcePosition pos) CheckInstantiationConstraints() argument
|
| H A D | function_helpers.h | 120 Substitution *substitution = checker->NewSubstitution(); in BuildImplicitSubstitutionForArguments() local
71 InferUntilFail(Signature const *const signature, const ArenaVector<ir::Expression *> &arguments, ETSChecker *checker, Substitution *substitution) InferUntilFail() argument
159 auto *substitution = checker->NewSubstitution(); BuildExplicitSubstitutionForArguments() local
206 const Substitution *substitution = MaybeSubstituteTypeParameters() local
[all...] |
| H A D | typeCreation.cpp | 660 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
672 auto *substitution = NewSubstitution(); in FunctionTypeToFunctionalInterfaceType() local
|
| H A D | function.cpp | 64 IsCompatibleTypeArgument(ETSTypeParameter *typeParam, Type *typeArgument, const Substitution *substitution) IsCompatibleTypeArgument() argument
93 InsertTypeIntoSubstitution(const ArenaVector<Type *> &typeParams, const Type *typeParam, const size_t index, Substitution *substitution, Type *objectParam) InsertTypeIntoSubstitution() argument
107 EnhanceSubstitutionForGenericType(const ArenaVector<Type *> &typeParams, const Type *argType, const Type *paramType, Substitution *substitution) EnhanceSubstitutionForGenericType() argument
150 EnhanceSubstitutionForReadonly(const ArenaVector<Type *> &typeParams, ETSReadonlyType *paramType, Type *argumentType, Substitution *substitution) EnhanceSubstitutionForReadonly() argument
158 EnhanceSubstitutionForType(const ArenaVector<Type *> &typeParams, Type *paramType, Type *argumentType, Substitution *substitution) EnhanceSubstitutionForType() argument
199 EnhanceSubstitutionForUnion(const ArenaVector<Type *> &typeParams, ETSUnionType *paramUn, Type *argumentType, Substitution *substitution) EnhanceSubstitutionForUnion() argument
239 EnhanceSubstitutionForObject(const ArenaVector<Type *> &typeParams, ETSObjectType *paramType, Type *argumentType, Substitution *substitution) EnhanceSubstitutionForObject() argument
289 EnhanceSubstitutionForArray(const ArenaVector<Type *> &typeParams, ETSArrayType *const paramType, Type *const argumentType, Substitution *const substitution) EnhanceSubstitutionForArray() argument
1504 auto *substitution = NewSubstitution(); AdjustForTypeParameters() local
[all...] |
| H A D | helpers.cpp | 2083 void ETSChecker::EmplaceSubstituted(Substitution *substitution, ETSTypeParameter *tparam, Type *typeArg) in EmplaceSubstituted() argument
2107 util::StringView ETSChecker::GetHashFromSubstitution(const Substitution *substitution) in GetHashFromSubstitution() argument
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ |
| H A D | type.cpp | 136 Type *Type::Substitute([[maybe_unused]] TypeRelation *relation, [[maybe_unused]] const Substitution *substitution) in Substitute() argument
|
| H A D | signature.cpp | 27 Signature *Signature::Substitute(TypeRelation *relation, const Substitution *substitution) in Substitute() argument
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | ETSchecker.cpp | 504 auto *substitution = NewSubstitution(); in GlobalBuiltinBoxType() local
|
| H A D | ETSAnalyzerHelpers.cpp | 697 CreateOptionalSignaturesForFunctionalType(ETSChecker *checker, ir::ETSFunctionType *node, ETSObjectType *genericInterfaceType, Substitution *substitution, size_t optionalParameterIndex) CreateOptionalSignaturesForFunctionalType() argument
727 CreateInterfaceTypeForETSFunctionType(ETSChecker *checker, ir::ETSFunctionType *node, ETSObjectType *genericInterfaceType, Substitution *substitution) CreateInterfaceTypeForETSFunctionType() argument
|
| H A D | ETSAnalyzer.cpp | 322 auto *substitution = checker->NewSubstitution(); in Check() local
357 checker::Substitution *substitution = checker->NewSubstitution(); in Check() local
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| H A D | lambdaLowering.cpp | 44 checker::Substitution *substitution = nullptr; member
51 checker::Substitution *substitution = nullptr; member
103 auto *substitution = checker->NewSubstitution(); in CloneTypeParams() local
206 ProcessCalleeMethodBody(ir::AstNode *body, checker::ETSChecker *checker, varbinder::Scope *paramScope, checker::Substitution *substitution, ArenaMap<varbinder::Variable *, varbinder::Variable *> const &varMap) ProcessCalleeMethodBody() argument
340 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. CreateCalleeMethod() local
346 CalleeParameterInfo cpi {lambda, *info->capturedVars, paramScope, substitution, limit}; CreateCalleeMethod() local
539 CreateLambdaClassFields(public_lib::Context *ctx, ir::ClassDefinition *classDefinition, LambdaInfo const *info, checker::Substitution *substitution) CreateLambdaClassFields() argument
564 CreateLambdaClassConstructor(public_lib::Context *ctx, ir::ClassDefinition *classDefinition, LambdaInfo const *info, checker::Substitution *substitution) CreateLambdaClassConstructor() argument
726 BuildLambdaClass(public_lib::Context *ctx, ArenaVector<checker::Signature *> &lambdaSigs, checker::Substitution *substitution, ArenaVector<checker::Type *> &funcInterfaces) BuildLambdaClass() argument
758 auto *substitution = subst0; // NOTE(gogabr): needed to capture in a lambda later. CreateLambdaClass() local
[all...] |