/arkcompiler/ets_frontend/ets2panda/checker/ets/ |
D | typeRelationContext.cpp | 143 auto const &typeParams = type->TypeArguments(); in InstantiateType() local 145 while (typeArgTypes.size() < typeParams.size()) { in InstantiateType() 146 typeArgTypes.push_back(typeParams.at(typeArgTypes.size())); in InstantiateType() 151 for (size_t ix = 0; ix < typeParams.size(); ix++) { in InstantiateType() 152 if (!typeParams[ix]->IsETSTypeParameter()) { in InstantiateType() 155 …ETSChecker::EmplaceSubstituted(constraintsSubstitution, typeParams[ix]->AsETSTypeParameter(), type… in InstantiateType() 157 for (size_t ix = 0; ix < typeParams.size(); ix++) { in InstantiateType() 158 auto *typeParam = typeParams[ix]; in InstantiateType() 166 … {"Type ", typeArgTypes[ix], " is not assignable to", " type parameter ", typeParams[ix]}, pos); in InstantiateType()
|
D | function_helpers.h | 91 auto &typeParams = sigInfo->typeParams; in BuildImplicitSubstitutionForArguments() local 103 if (!checker->EnhanceSubstitutionForType(typeParams, paramType, argType, substitution, in BuildImplicitSubstitutionForArguments() 116 auto &sigParams = signature->GetSignatureInfo()->typeParams; in BuildExplicitSubstitutionForArguments() 157 if (typeArguments == nullptr && signature->GetSignatureInfo()->typeParams.empty()) { in MaybeSubstituteTypeParameters()
|
/arkcompiler/ets_frontend/es2panda/ir/expressions/ |
D | callExpression.h | 38 TSTypeParameterInstantiation *typeParams, bool optional) in CallExpression() argument 42 typeParams_(typeParams), in CallExpression() 67 void SetTypeParams(TSTypeParameterInstantiation *typeParams) in SetTypeParams() argument 69 typeParams_ = typeParams; in SetTypeParams()
|
D | newExpression.h | 36 explicit NewExpression(Expression *callee, TSTypeParameterInstantiation *typeParams, in NewExpression() argument 39 typeParams_(typeParams), arguments_(std::move(arguments)) in NewExpression()
|
D | taggedTemplateExpression.h | 38 TSTypeParameterInstantiation *typeParams) in TaggedTemplateExpression() argument 39 …ression(AstNodeType::TAGGED_TEMPLATE_EXPRESSION), tag_(tag), quasi_(quasi), typeParams_(typeParams) in TaggedTemplateExpression()
|
/arkcompiler/ets_frontend/ets2panda/ir/expressions/ |
D | taggedTemplateExpression.cpp | 89 auto *const typeParams = typeParams_ != nullptr ? typeParams_->Clone(allocator) : nullptr; in Clone() local 91 …if (auto *const clone = allocator->New<TaggedTemplateExpression>(tag, quasi, typeParams); clone !=… in Clone() 98 if (typeParams != nullptr) { in Clone() 99 typeParams->SetParent(clone); in Clone()
|
D | callExpression.h | 46 TSTypeParameterInstantiation *const typeParams, bool const optional, 51 typeParams_(typeParams), in MaybeOptionalExpression() 119 void SetTypeParams(TSTypeParameterInstantiation *const typeParams) noexcept in SetTypeParams() argument 121 typeParams_ = typeParams; in SetTypeParams()
|
D | directEvalExpression.h | 29 … TSTypeParameterInstantiation *typeParams, bool optional, uint32_t parserStatus) in DirectEvalExpression() argument 30 … : CallExpression(callee, std::move(arguments), typeParams, optional), parserStatus_(parserStatus) in DirectEvalExpression()
|
D | taggedTemplateExpression.h | 33 …mplateExpression(Expression *tag, TemplateLiteral *quasi, TSTypeParameterInstantiation *typeParams) in TaggedTemplateExpression() argument 34 …ression(AstNodeType::TAGGED_TEMPLATE_EXPRESSION), tag_(tag), quasi_(quasi), typeParams_(typeParams) in TaggedTemplateExpression()
|
/arkcompiler/ets_frontend/ets2panda/ir/ts/ |
D | tsTypeAliasDeclaration.h | 31 …AliasDeclaration(ArenaAllocator *allocator, Identifier *id, TSTypeParameterDeclaration *typeParams, in TSTypeAliasDeclaration() argument 36 typeParams_(typeParams), in TSTypeAliasDeclaration() 82 void SetTypeParameters(ir::TSTypeParameterDeclaration *typeParams) in SetTypeParameters() argument 84 typeParams_ = typeParams; in SetTypeParameters()
|
D | tsTypeReference.h | 30 explicit TSTypeReference(Expression *typeName, TSTypeParameterInstantiation *typeParams) in TSTypeReference() argument 31 : TypeNode(AstNodeType::TS_TYPE_REFERENCE), typeName_(typeName), typeParams_(typeParams) in TSTypeReference()
|
D | tsImportType.h | 26 …explicit TSImportType(Expression *param, TSTypeParameterInstantiation *typeParams, Expression *qua… in TSImportType() argument 30 typeParams_(typeParams), in TSImportType()
|
/arkcompiler/ets_frontend/ets2panda/ir/base/ |
D | scriptFunctionSignature.h | 29 …FunctionSignature(TSTypeParameterDeclaration *typeParams, FunctionParams &¶ms, TypeNode *retur… in FunctionSignature() argument 30 … : typeParams_(typeParams), params_(std::move(params)), returnTypeAnnotation_(returnTypeAnnotation) in FunctionSignature()
|
/arkcompiler/ets_frontend/ets2panda/checker/types/ |
D | signature.h | 30 …explicit SignatureInfo(ArenaAllocator *allocator) : typeParams {allocator->Adapter()}, params {all… in SignatureInfo() 35 : typeParams(allocator->Adapter()), params(allocator->Adapter()) in SignatureInfo() 37 for (auto *it : other->typeParams) { in SignatureInfo() 38 typeParams.push_back(it); in SignatureInfo() 57 ArenaVector<Type *> typeParams; variable
|
D | signature.cpp | 41 if (!signatureInfo_->typeParams.empty()) { in Substitute() 43 for (auto *tparam : signatureInfo_->typeParams) { in Substitute() 45 newSigInfo->typeParams.push_back(newTparam); in Substitute() 123 if (!signatureInfo_->typeParams.empty()) { in ToString() 125 … for (auto it = signatureInfo_->typeParams.begin(); it != signatureInfo_->typeParams.end(); ++it) { in ToString() 127 if (std::next(it) != signatureInfo_->typeParams.end()) { in ToString()
|
/arkcompiler/ets_frontend/ets2panda/test/compiler/ets/ |
D | generic_typealias_1-expected.txt | 221 "typeParams": { 819 "typeParams": { 975 "typeParams": { 1086 "typeParams": { 1108 "typeParams": { 1283 "typeParams": { 1305 "typeParams": { 1450 "typeParams": { 1591 "typeParams": { 1613 "typeParams": { [all …]
|
/arkcompiler/ets_frontend/es2panda/ir/ts/ |
D | tsTypeReference.h | 41 explicit TSTypeReference(Expression *typeName, TSTypeParameterInstantiation *typeParams) in TSTypeReference() argument 42 : TypeNode(AstNodeType::TS_TYPE_REFERENCE), typeName_(typeName), typeParams_(typeParams) in TSTypeReference()
|
D | tsImportType.h | 36 …explicit TSImportType(Expression *param, TSTypeParameterInstantiation *typeParams, Expression *qua… in TSImportType() argument 40 typeParams_(typeParams), in TSImportType()
|
D | tsTypeAliasDeclaration.h | 41 …explicit TSTypeAliasDeclaration(Identifier *id, TSTypeParameterDeclaration *typeParams, Expression… in TSTypeAliasDeclaration() argument 45 typeParams_(typeParams), in TSTypeAliasDeclaration()
|
D | tsFunctionType.h | 41 TSTypeParameterDeclaration *typeParams, Expression *returnType) in TSFunctionType() argument 45 typeParams_(typeParams), in TSFunctionType()
|
D | tsConstructorType.h | 41 … TSTypeParameterDeclaration *typeParams, Expression *returnType, bool abstract) in TSConstructorType() argument 45 typeParams_(typeParams), in TSConstructorType()
|
D | tsSignatureDeclaration.h | 43 TSTypeParameterDeclaration *typeParams, in TSSignatureDeclaration() argument 48 typeParams_(typeParams), in TSSignatureDeclaration()
|
D | tsInterfaceDeclaration.h | 44 …rfaceDeclaration(binder::LocalScope *scope, Identifier *id, TSTypeParameterDeclaration *typeParams, in TSInterfaceDeclaration() argument 49 typeParams_(typeParams), in TSInterfaceDeclaration()
|
/arkcompiler/ets_frontend/ets2panda/ir/as/ |
D | namedType.h | 54 void SetTypeParams(TSTypeParameterInstantiation *typeParams) in SetTypeParams() argument 56 typeParams_ = typeParams; in SetTypeParams()
|
/arkcompiler/ets_frontend/ets2panda/ir/ets/ |
D | etsTypeReferencePart.h | 25 … explicit ETSTypeReferencePart(ir::Expression *name, ir::TSTypeParameterInstantiation *typeParams, in ETSTypeReferencePart() argument 27 …: TypeNode(AstNodeType::ETS_TYPE_REFERENCE_PART), name_(name), typeParams_(typeParams), prev_(prev) in ETSTypeReferencePart()
|