;
36DeducedTemplateStorage::DeducedTemplateStorage(
TemplateNameUnderlying,
40Underlying(Underlying) {
55ID.AddInteger(DefArgs.
Args.size());
67 returncast<TemplateTemplateParmDecl>(
74 returncast<TemplateTemplateParmDecl>(
85 unsignedIndex, std::optional<unsigned> PackIndex) {
86Replacement.Profile(ID);
87ID.AddPointer(AssociatedDecl);
89ID.AddInteger(PackIndex ? *PackIndex + 1 : 0);
97Arguments(ArgPack.data()), AssociatedDeclAndFinal(AssociatedDecl, Final) {
98assert(AssociatedDecl !=
nullptr);
108 returnAssociatedDeclAndFinal.getPointer();
112 returnAssociatedDeclAndFinal.getInt();
116llvm::FoldingSetNodeID &ID,
ASTContext&Context,
119ArgPack.
Profile(ID, Context);
120ID.AddPointer(AssociatedDecl);
121ID.AddInteger(Index);
122ID.AddBoolean(Final);
126Storage = StorageType::getFromOpaqueValue(Ptr);
131: Storage(Storage) {}
133: Storage(Storage) {}
135: Storage(Storage) {}
137: Storage(Storage) {}
142: Storage(Deduced) {}
147 if(
auto*ND = dyn_cast<Decl *>(Storage)) {
148 if(isa<UsingShadowDecl>(ND))
150assert(isa<TemplateDecl>(ND));
154 if(isa<DependentTemplateName *>(Storage))
156 if(isa<QualifiedTemplateName *>(Storage))
160cast<UncommonTemplateNameStorage *>(Storage);
176 while(std::optional<TemplateName> UnderlyingOrNone =
177Name.desugar(IgnoreDeduced))
178Name = *UnderlyingOrNone;
181assert(Name.getAsDeducedTemplateName() ==
nullptr&&
182 "Unexpected canonical DeducedTemplateName; Did you mean to use " 183 "getTemplateDeclAndDefaultArgs instead?");
185 returncast_if_present<TemplateDecl>(
186dyn_cast_if_present<Decl *>(Name.Storage));
189std::pair<TemplateDecl *, DefaultArguments>
202 if(std::optional<TemplateName> UnderlyingOrNone =
203Name.desugar(
false)) {
204Name = *UnderlyingOrNone;
207 return{cast_if_present<TemplateDecl>(Name.Storage.dyn_cast<
Decl*>()), {}};
212 if(
Decl*
D= dyn_cast_if_present<Decl *>(Storage)) {
213 if(
auto*USD = dyn_cast<UsingShadowDecl>(
D))
218 returnQTN->getUnderlyingTemplate();
220 returnS->getReplacement();
223 returnS->getUnderlying();
246dyn_cast_if_present<UncommonTemplateNameStorage *>(Storage))
262 returndyn_cast_if_present<QualifiedTemplateName *>(Storage);
270 if(
Decl*
D= Storage.dyn_cast<
Decl*>())
274 returnQTN->getUnderlyingTemplate().getAsUsingShadowDecl();
280dyn_cast_if_present<UncommonTemplateNameStorage *>(Storage))
291 auto D= TemplateNameDependence::None;
292 if(
auto*TTP = dyn_cast<TemplateTemplateParmDecl>(
Template)) {
293 D|= TemplateNameDependence::DependentInstantiation;
294 if(TTP->isParameterPack())
295 D|= TemplateNameDependence::UnexpandedPack;
302 Template->getDeclContext()->isDependentContext())
303 D|= TemplateNameDependence::DependentInstantiation;
308TemplateNameDependence
D= S->getUnderlyingTemplate().getDependence();
315 auto D= TemplateNameDependence::DependentInstantiation;
321 returnS->getReplacement().getDependence();
324 returnTemplateNameDependence::UnexpandedPack |
325TemplateNameDependence::DependentInstantiation;
334 returnTemplateNameDependence::DependentInstantiation;
336llvm_unreachable(
"overloaded templates shouldn't survive to here.");
338llvm_unreachable(
"Unknown TemplateName kind");
346 return getDependence() & TemplateNameDependence::Instantiation;
350 return getDependence() & TemplateNameDependence::UnexpandedPack;
355 autohandleAnonymousTTP = [](
TemplateDecl*TD, raw_ostream &OS) {
358OS <<
"template-parameter-"<< TTP->getDepth() <<
"-"<< TTP->getIndex();
375 if(handleAnonymousTTP(
Template, OS))
380 Template->printQualifiedName(OS, Policy);
384NNS->print(OS, Policy);
385 if(QTN->hasTemplateKeyword())
394 if(handleAnonymousTTP(UTD, OS))
399isa<TemplateTemplateParmDecl>(UTD))
400OS << II->deuglifiedName();
405NNS->
print(OS, Policy);
408 if(DTN->isIdentifier())
409OS << DTN->getIdentifier()->getName();
414subst->getReplacement().print(OS, Policy, Qual);
417OS << *SubstPack->getParameterPack();
419Assumed->getDeclName().print(OS, Policy);
421Deduced->getUnderlying().print(OS, Policy);
428(*OTS->
begin())->printName(OS, Policy);
435llvm::raw_string_ostream OS(NameStr);
437LO.CPlusPlus =
true;
442 returnDB << NameStr;
Defines the Diagnostic-related interfaces.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::LangOptions interface.
Defines an enumeration for C++ overloaded operators.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
A structure for storing the information associated with a name that has been assumed to be a template...
Decl - This represents one declaration (or definition), e.g.
void print(raw_ostream &Out, unsigned Indentation=0, bool PrintInstantiation=false) const
TemplateName getUnderlying() const
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context) const
DefaultArguments getDefaultArguments() const
Represents a dependent template name that cannot be resolved prior to template instantiation.
One of these records is kept for each identifier that is lexed.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
IdentifierInfo * getIdentifier() const
Get the identifier that names this declaration, if there is one.
Represents a C++ nested name specifier, such as "\::std::vector<int>::".
A structure for storing the information associated with an overloaded template name.
Represents a template name as written in source code.
The streaming interface shared between DiagnosticBuilder and PartialDiagnostic.
A structure for storing an already-substituted template template parameter pack.
Decl * getAssociatedDecl() const
A template-like entity which owns the whole pattern being substituted.
void Profile(llvm::FoldingSetNodeID &ID, ASTContext &Context)
TemplateTemplateParmDecl * getParameterPack() const
Retrieve the template template parameter pack being substituted.
TemplateArgument getArgumentPack() const
Retrieve the template template argument pack with which this parameter was substituted.
unsigned getIndex() const
Returns the index of the replaced parameter in the associated declaration.
SubstTemplateTemplateParmPackStorage(ArrayRef< TemplateArgument > ArgPack, Decl *AssociatedDecl, unsigned Index, bool Final)
A structure for storing the information associated with a substituted template template parameter.
std::optional< unsigned > getPackIndex() const
void Profile(llvm::FoldingSetNodeID &ID)
TemplateTemplateParmDecl * getParameter() const
unsigned getIndex() const
Returns the index of the replaced parameter in the associated declaration.
Decl * getAssociatedDecl() const
A template-like entity which owns the whole pattern being substituted.
Represents a template argument.
void Profile(llvm::FoldingSetNodeID &ID, const ASTContext &Context) const
Used to insert TemplateArguments into FoldingSets.
The base class of all kinds of template declarations (e.g., class, function, etc.).
TemplateParameterList * getTemplateParameters() const
Get the list of template parameters.
Represents a C++ template name within the type system.
TemplateNameDependence getDependence() const
TemplateDecl * getAsTemplateDecl(bool IgnoreDeduced=false) const
Retrieve the underlying template declaration that this template name refers to, if known.
DeducedTemplateStorage * getAsDeducedTemplateName() const
Retrieve the deduced template info, if any.
bool isNull() const
Determine whether this template name is NULL.
DependentTemplateName * getAsDependentTemplateName() const
Retrieve the underlying dependent template name structure, if any.
QualifiedTemplateName * getAsQualifiedTemplateName() const
Retrieve the underlying qualified template name structure, if any.
std::optional< TemplateName > desugar(bool IgnoreDeduced) const
void print(raw_ostream &OS, const PrintingPolicy &Policy, Qualified Qual=Qualified::AsWritten) const
Print the template name.
OverloadedTemplateStorage * getAsOverloadedTemplate() const
Retrieve the underlying, overloaded function template declarations that this template name refers to,...
bool containsUnexpandedParameterPack() const
Determines whether this template name contains an unexpanded parameter pack (for C++0x variadic templ...
AssumedTemplateStorage * getAsAssumedTemplateName() const
Retrieve information on a name that has been assumed to be a template-name in order to permit a call ...
@ UsingTemplate
A template name that refers to a template declaration found through a specific using shadow declarati...
@ OverloadedTemplate
A set of overloaded template declarations.
@ Template
A single template declaration.
@ DependentTemplate
A dependent template name that has not been resolved to a template (or set of templates).
@ SubstTemplateTemplateParm
A template template parameter that has been substituted for some other template name.
@ SubstTemplateTemplateParmPack
A template template parameter pack that has been substituted for a template template argument pack,...
@ DeducedTemplate
A template name that refers to another TemplateName with deduced default arguments.
@ QualifiedTemplate
A qualified template name, where the qualification is kept to describe the source code as written.
@ AssumedTemplate
An unqualified-id that has been assumed to name a function template that will be found by ADL.
UsingShadowDecl * getAsUsingShadowDecl() const
Retrieve the using shadow declaration through which the underlying template declaration is introduced...
SubstTemplateTemplateParmPackStorage * getAsSubstTemplateTemplateParmPack() const
Retrieve the substituted template template parameter pack, if known.
void Profile(llvm::FoldingSetNodeID &ID)
bool isDependent() const
Determines whether this is a dependent template name.
std::pair< TemplateDecl *, DefaultArguments > getTemplateDeclAndDefaultArgs() const
Retrieves the underlying template declaration that this template name refers to, along with the deduc...
SubstTemplateTemplateParmStorage * getAsSubstTemplateTemplateParm() const
Retrieve the substituted template template parameter, if known.
bool isInstantiationDependent() const
Determines whether this is a template name that somehow depends on a template parameter.
TemplateTemplateParmDecl - Declares a template template parameter, e.g., "T" in.
Implementation class used to describe either a set of overloaded template names or an already-substit...
SubstTemplateTemplateParmPackStorage * getAsSubstTemplateTemplateParmPack()
SubstTemplateTemplateParmStorage * getAsSubstTemplateTemplateParm()
AssumedTemplateStorage * getAsAssumedTemplateName()
DeducedTemplateStorage * getAsDeducedTemplateName()
OverloadedTemplateStorage * getAsOverloadedStorage()
Represents a shadow declaration implicitly introduced into a scope by a (resolved) using-declaration ...
The JSON file list parser is used to communicate input to InstallAPI.
TemplateNameDependence toTemplateNameDependence(NestedNameSpecifierDependence D)
const StreamingDiagnostic & operator<<(const StreamingDiagnostic &DB, const ASTContext::SectionInfo &Section)
Insertion operator for diagnostics.
TemplateParameterList * getReplacedTemplateParameterList(Decl *D)
Internal helper used by Subst* nodes to retrieve the parameter list for their AssociatedDecl.
void printTemplateArgumentList(raw_ostream &OS, ArrayRef< TemplateArgument > Args, const PrintingPolicy &Policy, const TemplateParameterList *TPL=nullptr)
Print a template argument list, including the '<' and '>' enclosing the template arguments.
const char * getOperatorSpelling(OverloadedOperatorKind Operator)
Retrieve the spelling of the given overloaded operator, without the preceding "operator" keyword.
ArrayRef< TemplateArgument > Args
Describes how types, statements, expressions, and declarations should be printed.
unsigned CleanUglifiedParameters
Whether to strip underscores when printing reserved parameter names.
unsigned Data
The pack index, or the number of stored templates or template arguments, depending on which subclass ...
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4