Home
last modified time | relevance | path

Searched refs:typeArgs (Results 1 - 7 of 7) sorted by relevance

/arkcompiler/ets_frontend/ets2panda/checker/ets/
H A DtypeRelationContext.cpp53 bool InstantiationContext::ValidateTypeArguments(ETSObjectType *type, ir::TSTypeParameterInstantiation *typeArgs, in ValidateTypeArguments() argument
57 if (typeArgs != nullptr) { in ValidateTypeArguments()
64 if (!checker_->CheckNumberOfTypeArguments(type, typeArgs, pos)) { in ValidateTypeArguments()
76 void InstantiationContext::InstantiateType(ETSObjectType *type, ir::TSTypeParameterInstantiation *typeArgs) in InstantiateType() argument
81 if (typeArgs != nullptr) { in InstantiateType()
82 for (auto *const it : typeArgs->Params()) { in InstantiateType()
107 auto pos = (typeArgs == nullptr) ? lexer::SourcePosition() : typeArgs->Range().start; in InstantiateType()
H A DtypeRelationContext.h168 InstantiationContext(ETSChecker *checker, ETSObjectType *type, ir::TSTypeParameterInstantiation *typeArgs, in InstantiationContext() argument
172 if (ValidateTypeArguments(type, typeArgs, pos)) { in InstantiationContext()
175 InstantiateType(type, typeArgs); in InstantiationContext()
178 InstantiationContext(ETSChecker *checker, ETSObjectType *type, ArenaVector<Type *> &&typeArgs, in InstantiationContext() argument
185 InstantiateType(type, std::move(typeArgs), pos); in InstantiationContext()
194 bool ValidateTypeArguments(ETSObjectType *type, ir::TSTypeParameterInstantiation *typeArgs,
197 void InstantiateType(ETSObjectType *type, ir::TSTypeParameterInstantiation *typeArgs);
H A Dhelpers.cpp2171 bool ETSChecker::CheckNumberOfTypeArguments(ETSObjectType *const type, ir::TSTypeParameterInstantiation *const typeArgs, in CheckNumberOfTypeArguments() argument
2176 if (typeArgs != nullptr) { in CheckNumberOfTypeArguments()
2186 if (typeArgs == nullptr && minimumTypeArgs > 0) { in CheckNumberOfTypeArguments()
2191 if (typeArgs != nullptr && in CheckNumberOfTypeArguments()
2192 ((minimumTypeArgs > typeArgs->Params().size()) || (typeParams.size() < typeArgs->Params().size()))) { in CheckNumberOfTypeArguments()
2194 typeArgs->Params().size(), " type arguments were provided."}, in CheckNumberOfTypeArguments()
/arkcompiler/ets_frontend/ets2panda/declgen_ets2ts/
H A DdeclgenEts2Ts.cpp336 const auto &typeArgs = objectType->TypeArguments(); in GenObjectType() local
337 if (!typeArgs.empty()) { in GenObjectType()
339 GenSeparated(typeArgs, [this](checker::Type *arg) { GenType(arg); }); in GenObjectType()
/arkcompiler/ets_frontend/ets2panda/checker/types/ets/
H A DetsObjectType.h86 void SetTypeArguments(ArenaVector<Type *> &&typeArgs) in SetTypeArguments() argument
88 typeArguments_ = std::move(typeArgs); in SetTypeArguments()
/arkcompiler/ets_frontend/ets2panda/compiler/lowering/ets/
H A DlambdaLowering.cpp655 auto typeArgs = ArenaVector<ir::TypeNode *>(allocator->Adapter()); in CreateCallForLambdaClassInvoke() local
657 typeArgs.push_back(allocator->New<ir::OpaqueTypeNode>(tp->Name()->AsIdentifier()->Variable()->TsType())); in CreateCallForLambdaClassInvoke()
660 util::NodeAllocator::ForceSetParent<ir::TSTypeParameterInstantiation>(allocator, std::move(typeArgs)); in CreateCallForLambdaClassInvoke()
/arkcompiler/ets_frontend/ets2panda/checker/
H A DETSchecker.h600 bool CheckNumberOfTypeArguments(ETSObjectType *type, ir::TSTypeParameterInstantiation *typeArgs,

Completed in 21 milliseconds