clang 22.0.0git
Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
clang::ConceptReference Class Reference

A reference to a concept and its template args, as it appears in the code. More...

#include "clang/AST/ASTConcept.h"

Public Member Functions

const NestedNameSpecifierLoc & getNestedNameSpecifierLoc () const
const DeclarationNameInfo & getConceptNameInfo () const
SourceLocation getConceptNameLoc () const
SourceLocation getTemplateKWLoc () const
SourceLocation getLocation () const
SourceLocation getBeginLoc () const LLVM_READONLY
SourceLocation getEndLoc () const LLVM_READONLY
SourceRange getSourceRange () const LLVM_READONLY
NamedDecl * getFoundDecl () const
TemplateDecl * getNamedConcept () const
const ASTTemplateArgumentListInfo * getTemplateArgsAsWritten () const
bool hasExplicitTemplateArgs () const
 Whether or not template arguments were explicitly specified in the concept reference (they might not be in type constraints, for example)
void print (llvm::raw_ostream &OS, const PrintingPolicy &Policy) const
void dump () const
void dump (llvm::raw_ostream &) const

Static Public Member Functions

static ConceptReference * Create (const ASTContext &C, NestedNameSpecifierLoc NNS, SourceLocation TemplateKWLoc, DeclarationNameInfo ConceptNameInfo, NamedDecl *FoundDecl, TemplateDecl *NamedConcept, const ASTTemplateArgumentListInfo *ArgsAsWritten)

Protected Member Functions

 ConceptReference (NestedNameSpecifierLoc NNS, SourceLocation TemplateKWLoc, DeclarationNameInfo ConceptNameInfo, NamedDecl *FoundDecl, TemplateDecl *NamedConcept, const ASTTemplateArgumentListInfo *ArgsAsWritten)

Protected Attributes

NestedNameSpecifierLoc NestedNameSpec
SourceLocation TemplateKWLoc
 The location of the template keyword, if specified when naming the concept.
DeclarationNameInfo ConceptName
 The concept name used.
NamedDecl * FoundDecl
 The declaration found by name lookup when the expression was created.
TemplateDecl * NamedConcept
 The concept named.
const ASTTemplateArgumentListInfo * ArgsAsWritten
 The template argument list source info used to specialize the concept.

Detailed Description

A reference to a concept and its template args, as it appears in the code.

Examples: template <int X> requires is_even<X> int half = X/2; ~~~~~~~~~~ (in ConceptSpecializationExpr)

std::input_iterator auto I = Container.begin(); ~~~~~~~~~~~~~~~~~~~ (in AutoTypeLoc)

template <std::derives_from<Expr> T> void dump(); ~~~~~~~~~~~~~~~~~~~~~~~ (in TemplateTypeParmDecl)

Definition at line 130 of file ASTConcept.h.

Constructor & Destructor Documentation

◆ ConceptReference()

clang::ConceptReference::ConceptReference ( NestedNameSpecifierLoc NNS,
SourceLocation TemplateKWLoc,
DeclarationNameInfo ConceptNameInfo,
NamedDecl * FoundDecl,
TemplateDecl * NamedConcept,
const ASTTemplateArgumentListInfo * ArgsAsWritten )
inlineprotected

Definition at line 155 of file ASTConcept.h.

References ArgsAsWritten, ConceptName, FoundDecl, NamedConcept, NestedNameSpec, and TemplateKWLoc.

Referenced by Create().

Member Function Documentation

◆ Create()

ConceptReference * ConceptReference::Create ( const ASTContext & C,
NestedNameSpecifierLoc NNS,
SourceLocation TemplateKWLoc,
DeclarationNameInfo ConceptNameInfo,
NamedDecl * FoundDecl,
TemplateDecl * NamedConcept,
const ASTTemplateArgumentListInfo * ArgsAsWritten )
static

Definition at line 93 of file ASTConcept.cpp.

References ArgsAsWritten, clang::C, ConceptReference(), FoundDecl, NamedConcept, and TemplateKWLoc.

Referenced by clang::Sema::AttachTypeConstraint(), clang::Sema::CheckConceptTemplateId(), clang::hlsl::TemplateParameterListBuilder::constructConceptSpecializationExpr(), createTrivialConceptReference(), clang::ASTNodeImporter::import(), and clang::ASTRecordReader::readConceptReference().

◆ dump() [1/2]

LLVM_DUMP_METHOD void ConceptReference::dump ( ) const

Definition at line 354 of file ASTDumper.cpp.

References dump().

Referenced by dump().

◆ dump() [2/2]

void clang::ConceptReference::dump ( llvm::raw_ostream & ) const

◆ getBeginLoc()

SourceLocation ConceptReference::getBeginLoc ( ) const

Definition at line 102 of file ASTConcept.cpp.

References clang::DeclarationNameInfo::getBeginLoc(), getConceptNameInfo(), and getNestedNameSpecifierLoc().

Referenced by getSourceRange().

◆ getConceptNameInfo()

const DeclarationNameInfo & clang::ConceptReference::getConceptNameInfo ( ) const
inline

Definition at line 174 of file ASTConcept.h.

References ConceptName.

Referenced by clang::ASTRecordWriter::AddConceptReference(), getBeginLoc(), clang::AutoTypeLoc::getConceptNameInfo(), getConceptNameLoc(), getEndLoc(), and clang::ASTNodeImporter::import().

◆ getConceptNameLoc()

SourceLocation clang::ConceptReference::getConceptNameLoc ( ) const
inline

Definition at line 176 of file ASTConcept.h.

References getConceptNameInfo(), and clang::DeclarationNameInfo::getLoc().

Referenced by getLocation().

◆ getEndLoc()

SourceLocation clang::ConceptReference::getEndLoc ( ) const
inline

Definition at line 186 of file ASTConcept.h.

References getConceptNameInfo(), getEndLoc(), clang::DeclarationNameInfo::getEndLoc(), clang::ASTTemplateArgumentListInfo::getRAngleLoc(), getTemplateArgsAsWritten(), and clang::SourceLocation::isValid().

Referenced by getEndLoc(), and getSourceRange().

◆ getFoundDecl()

NamedDecl * clang::ConceptReference::getFoundDecl ( ) const
inline

Definition at line 197 of file ASTConcept.h.

References FoundDecl.

Referenced by clang::ASTRecordWriter::AddConceptReference(), clang::ASTNodeImporter::import(), and clang::Sema::SubstTypeConstraint().

◆ getLocation()

SourceLocation clang::ConceptReference::getLocation ( ) const
inline

Definition at line 182 of file ASTConcept.h.

References getConceptNameLoc().

Referenced by clang::JSONNodeDumper::Visit().

◆ getNamedConcept()

TemplateDecl * clang::ConceptReference::getNamedConcept ( ) const
inline

Definition at line 201 of file ASTConcept.h.

References NamedConcept.

Referenced by clang::ASTRecordWriter::AddConceptReference(), clang::Sema::CheckConstraintSatisfaction(), clang::ASTNodeImporter::import(), clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().

◆ getNestedNameSpecifierLoc()

const NestedNameSpecifierLoc & clang::ConceptReference::getNestedNameSpecifierLoc ( ) const
inline

Definition at line 170 of file ASTConcept.h.

References NestedNameSpec.

Referenced by clang::ASTRecordWriter::AddConceptReference(), getBeginLoc(), and clang::ASTNodeImporter::import().

◆ getSourceRange()

SourceRange clang::ConceptReference::getSourceRange ( ) const
inline

Definition at line 193 of file ASTConcept.h.

References getBeginLoc(), and getEndLoc().

Referenced by clang::JSONNodeDumper::Visit(), and clang::TextNodeDumper::Visit().

◆ getTemplateArgsAsWritten()

const ASTTemplateArgumentListInfo * clang::ConceptReference::getTemplateArgsAsWritten ( ) const
inline

Definition at line 203 of file ASTConcept.h.

References ArgsAsWritten.

Referenced by clang::ASTRecordWriter::AddConceptReference(), getEndLoc(), clang::ASTNodeImporter::import(), clang::ASTContext::isSameTypeConstraint(), and clang::JSONNodeDumper::Visit().

◆ getTemplateKWLoc()

SourceLocation clang::ConceptReference::getTemplateKWLoc ( ) const
inline

Definition at line 180 of file ASTConcept.h.

References TemplateKWLoc.

Referenced by clang::ASTRecordWriter::AddConceptReference(), and clang::ASTNodeImporter::import().

◆ hasExplicitTemplateArgs()

bool clang::ConceptReference::hasExplicitTemplateArgs ( ) const
inline

Whether or not template arguments were explicitly specified in the concept reference (they might not be in type constraints, for example)

Definition at line 209 of file ASTConcept.h.

References ArgsAsWritten.

Referenced by clang::ASTContext::isSameTypeConstraint(), and print().

◆ print()

void ConceptReference::print ( llvm::raw_ostream & OS,
const PrintingPolicy & Policy ) const

Definition at line 109 of file ASTConcept.cpp.

References ArgsAsWritten, ConceptName, hasExplicitTemplateArgs(), and NestedNameSpec.

Member Data Documentation

◆ ArgsAsWritten

const ASTTemplateArgumentListInfo* clang::ConceptReference::ArgsAsWritten
protected

The template argument list source info used to specialize the concept.

Definition at line 153 of file ASTConcept.h.

Referenced by ConceptReference(), Create(), getTemplateArgsAsWritten(), hasExplicitTemplateArgs(), and print().

◆ ConceptName

DeclarationNameInfo clang::ConceptReference::ConceptName
protected

The concept name used.

Definition at line 140 of file ASTConcept.h.

Referenced by ConceptReference(), getConceptNameInfo(), and print().

◆ FoundDecl

NamedDecl* clang::ConceptReference::FoundDecl
protected

The declaration found by name lookup when the expression was created.

Can differ from NamedConcept when, for example, the concept was found through a UsingShadowDecl.

Definition at line 146 of file ASTConcept.h.

Referenced by ConceptReference(), Create(), and getFoundDecl().

◆ NamedConcept

TemplateDecl* clang::ConceptReference::NamedConcept
protected

The concept named.

Definition at line 149 of file ASTConcept.h.

Referenced by ConceptReference(), Create(), and getNamedConcept().

◆ NestedNameSpec

NestedNameSpecifierLoc clang::ConceptReference::NestedNameSpec
protected

Definition at line 133 of file ASTConcept.h.

Referenced by ConceptReference(), getNestedNameSpecifierLoc(), and print().

◆ TemplateKWLoc

SourceLocation clang::ConceptReference::TemplateKWLoc
protected

The location of the template keyword, if specified when naming the concept.

Definition at line 137 of file ASTConcept.h.

Referenced by ConceptReference(), Create(), and getTemplateKWLoc().

The documentation for this class was generated from the following files:
Generated on for clang by doxygen 1.14.0