| /arkcompiler/ets_frontend/ets2panda/util/ast-builders/ |
| H A D | tsInferTypeBuilder.h | 29 TSInferTypeBuilder &SetFunctionSignature(TSTypeParameter *typeParam) in SetFunctionSignature() argument
31 typeParam_ = typeParam; in SetFunctionSignature()
|
| /arkcompiler/ets_frontend/ets2panda/ir/ts/ |
| H A D | tsInferType.h | 26 explicit TSInferType(TSTypeParameter *typeParam) : TypeNode(AstNodeType::TS_INFER_TYPE), typeParam_(typeParam) {} in TSInferType() argument
|
| /arkcompiler/ets_frontend/es2panda/ir/ts/ |
| H A D | tsInferType.h | 36 explicit TSInferType(TSTypeParameter *typeParam) : TypeNode(AstNodeType::TS_INFER_TYPE), typeParam_(typeParam) {} in TSInferType() argument
|
| /arkcompiler/ets_frontend/ets2panda/checker/ets/ |
| H A D | typeRelationContext.cpp | 122 auto typeParam = type->AsETSTypeParameter(); in CheckInstantiationConstraints() local
123 auto typeArg = typeParam->Substitute(relation, substitution); in CheckInstantiationConstraints()
131 auto constraint = typeParam->GetConstraintType()->Substitute(relation, substitution); in CheckInstantiationConstraints()
|
| H A D | function_helpers.h | 127 for (const auto typeParam : sigParams) { in BuildImplicitSubstitutionForArguments()
128 auto newTypeParam = typeParam->AsETSTypeParameter(); in BuildImplicitSubstitutionForArguments()
|
| H A D | validateHelpers.cpp | 303 for (const auto *const typeParam : typeAliasNode->TypeParams()->Params()) { in ValidateGenericTypeAliasForClonedNode()
304 if (typeParam->Name()->AsIdentifier()->Variable() == nodeIdent->Variable()) { in ValidateGenericTypeAliasForClonedNode()
|
| H A D | object.cpp | 192 for (auto *const typeParam : typeParams->Params()) { in CreateUnconstrainedTypeParameters()
193 ok &= CheckDefaultTypeParameter(typeParam, typeParameterDecls); in CreateUnconstrainedTypeParameters()
194 if (auto *const constraint = typeParam->Constraint(); in CreateUnconstrainedTypeParameters()
197 ok &= CheckTypeParameterConstraint(typeParam, extends); in CreateUnconstrainedTypeParameters()
201 for (auto *const typeParam : typeParams->Params()) { in CreateUnconstrainedTypeParameters()
202 result.emplace_back(SetUpParameterType(typeParam)); in CreateUnconstrainedTypeParameters()
|
| H A D | function.cpp | 64 bool ETSChecker::IsCompatibleTypeArgument(ETSTypeParameter *typeParam, Type *typeArgument, in IsCompatibleTypeArgument() argument
71 auto *constraint = typeParam->GetConstraintType()->Substitute(Relation(), substitution); in IsCompatibleTypeArgument()
93 bool ETSChecker::InsertTypeIntoSubstitution(const ArenaVector<Type *> &typeParams, const Type *typeParam, in InsertTypeIntoSubstitution() argument
99 std::find(typeParams.begin(), typeParams.end(), typeParam) != typeParams.end()) { in InsertTypeIntoSubstitution()
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/scopesInit/ |
| H A D | scopesInitPhase.cpp | 608 void ScopeInitTyped::VisitTSTypeParameter(ir::TSTypeParameter *typeParam) in VisitTSTypeParameter() argument
610 auto name = typeParam->Name()->Name(); in VisitTSTypeParameter()
611 auto decl = AddOrGetDecl<varbinder::TypeParameterDecl>(VarBinder(), name, typeParam, typeParam->Start(), name); in VisitTSTypeParameter()
612 decl->BindNode(typeParam); in VisitTSTypeParameter()
613 Iterate(typeParam); in VisitTSTypeParameter()
1012 void InitScopesPhaseETS::VisitTSTypeParameter(ir::TSTypeParameter *typeParam) in VisitTSTypeParameter() argument
1014 if (typeParam->Name()->Variable() != nullptr) { in VisitTSTypeParameter()
1018 VarBinder()->NewVarDecl<varbinder::TypeParameterDecl>(typeParam->Name()->Start(), typeParam in VisitTSTypeParameter()
[all...] |
| H A D | scopesInitPhase.h | 225 void VisitTSTypeParameter(ir::TSTypeParameter *typeParam) override;
353 void VisitTSTypeParameter(ir::TSTypeParameter *typeParam) override;
|
| /arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/ |
| H A D | defaultParameterLowering.cpp | 86 auto *typeParam = checker->AllocNode<ir::TSTypeParameter>(ident, constraint, defaultType); in CreateParameterDeclaraion()
87 typeParams.push_back(typeParam); in CreateParameterDeclaraion()
|
| /arkcompiler/ets_frontend/ets2panda/parser/ |
| H A D | ETSparser.cpp | 764 auto typeParam = typeAnnotation->AsETSTypeReference()->Part()->TypeParams(); in GetNameForTypeNode() local
765 if (typeParam != nullptr && typeParam->IsTSTypeParameterInstantiation()) { in GetNameForTypeNode()
767 auto paramList = typeParam->Params(); in GetNameForTypeNode()
1783 auto *typeParam = AllocNode<ir::TSTypeParameter>(paramIdent, constraint, defaultType, varianceModifier); in ParseTypeParameter() local
1785 typeParam->SetRange({startLoc, Lexer()->GetToken().End()}); in ParseTypeParameter()
1786 return typeParam; in ParseTypeParameter()
|
| H A D | TypedParser.cpp | 713 auto *typeParam = AllocNode<ir::TSTypeParameter>(paramIdent, constraint, defaultType); in ParseTypeParameter() local
715 typeParam->SetRange({startLoc, Lexer()->GetToken().End()}); in ParseTypeParameter()
717 return typeParam; in ParseTypeParameter()
|
| H A D | TSparser.cpp | 544 ir::TSTypeParameter *typeParam = ParseTypeParameter(&options); in ParseTypeOperatorOrTypeReference() local
546 auto *inferType = AllocNode<ir::TSInferType>(typeParam); in ParseTypeOperatorOrTypeReference()
|
| /arkcompiler/ets_frontend/ets2panda/checker/types/ets/ |
| H A D | etsObjectType.cpp | 718 auto *typeParam = typeParams[idx]; in IsGenericSupertypeOf() local
724 if (typeParam->IsOut()) { in IsGenericSupertypeOf()
726 } else if (typeParam->IsIn()) { in IsGenericSupertypeOf()
|
| /arkcompiler/ets_frontend/ets2panda/checker/ |
| H A D | ETSchecker.h | 363 bool IsCompatibleTypeArgument(ETSTypeParameter *typeParam, Type *typeArgument, const Substitution *substitution);
386 [[nodiscard]] bool InsertTypeIntoSubstitution(const ArenaVector<Type *> &typeParams, const Type *typeParam,
|
| /arkcompiler/ets_frontend/es2panda/parser/ |
| H A D | parserImpl.cpp | 905 ir::TSTypeParameter *typeParam = ParseTsTypeParameter(true); in ParseTsTypeOperatorOrTypeReference() local
907 auto *inferType = AllocNode<ir::TSInferType>(typeParam); in ParseTsTypeOperatorOrTypeReference()
3862 auto *typeParam = AllocNode<ir::TSTypeParameter>(paramIdent, constraint, defaultType, isTypeIn, isTypeOut); in ParseTsTypeParameter() local
3864 typeParam->SetRange({startLoc, lexer_->GetToken().End()}); in ParseTsTypeParameter()
3866 return typeParam; in ParseTsTypeParameter()
|