clang 22.0.0git
Macros | Functions
TypePrinter.cpp File Reference
#include "clang/AST/ASTContext.h"
#include "clang/AST/Attr.h"
#include "clang/AST/Decl.h"
#include "clang/AST/DeclBase.h"
#include "clang/AST/DeclCXX.h"
#include "clang/AST/DeclObjC.h"
#include "clang/AST/DeclTemplate.h"
#include "clang/AST/Expr.h"
#include "clang/AST/NestedNameSpecifier.h"
#include "clang/AST/PrettyPrinter.h"
#include "clang/AST/TemplateBase.h"
#include "clang/AST/TemplateName.h"
#include "clang/AST/Type.h"
#include "clang/Basic/AddressSpaces.h"
#include "clang/Basic/AttrKinds.h"
#include "clang/Basic/ExceptionSpecificationType.h"
#include "clang/Basic/IdentifierTable.h"
#include "clang/Basic/LLVM.h"
#include "clang/Basic/LangOptions.h"
#include "clang/Basic/SourceLocation.h"
#include "clang/Basic/SourceManager.h"
#include "clang/Basic/Specifiers.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallString.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/ADT/Twine.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/SaveAndRestore.h"
#include "llvm/Support/raw_ostream.h"
#include <cassert>
#include <string>
#include "clang/AST/TypeNodes.inc"
#include "clang/Basic/TransformTypeTraits.def"
#include "clang/Basic/AttrList.inc"

Go to the source code of this file.

Macros

#define ABSTRACT_TYPE(CLASS, PARENT)
#define TYPE(CLASS, PARENT)
#define ABSTRACT_TYPE(CLASS, PARENT)
#define TYPE(CLASS, PARENT)
#define ABSTRACT_TYPE(CLASS, PARENT)
#define TYPE(CLASS, PARENT)
#define CC_VLS_CASE(ABI_VLEN)
#define TRANSFORM_TYPE_TRAIT_DEF(Enum, Trait)
#define TYPE_ATTR(NAME)
#define DECL_OR_TYPE_ATTR(NAME)
#define ATTR(NAME)

Functions

static void AppendTypeQualList (raw_ostream &OS, unsigned TypeQuals, bool HasRestrictKeyword)
static SplitQualType splitAccordingToPolicy (QualType QT, const PrintingPolicy &Policy)
static QualType skipTopLevelReferences (QualType T)
static void printDims (const ConstantMatrixType *T, raw_ostream &OS)
static void printHLSLMatrixBefore (TypePrinter &TP, const ConstantMatrixType *T, raw_ostream &OS)
static void printHLSLMatrixAfter (const ConstantMatrixType *T, raw_ostream &OS)
static void printClangMatrixBefore (TypePrinter &TP, const ConstantMatrixType *T, raw_ostream &OS)
static void printCountAttributedImpl (const CountAttributedType *T, raw_ostream &OS, const PrintingPolicy &Policy)
static const TemplateArgument & getArgument (const TemplateArgument &A)
static const TemplateArgument & getArgument (const TemplateArgumentLoc &A)
static void printArgument (const TemplateArgument &A, const PrintingPolicy &PP, llvm::raw_ostream &OS, bool IncludeType)
static void printArgument (const TemplateArgumentLoc &A, const PrintingPolicy &PP, llvm::raw_ostream &OS, bool IncludeType)
static bool isSubstitutedTemplateArgument (ASTContext &Ctx, TemplateArgument Arg, TemplateArgument Pattern, ArrayRef< TemplateArgument > Args, unsigned Depth)
static bool isSubstitutedType (ASTContext &Ctx, QualType T, QualType Pattern, ArrayRef< TemplateArgument > Args, unsigned Depth)
static bool templateArgumentExpressionsEqual (ASTContext const &Ctx, TemplateArgument const &Pattern, TemplateArgument const &Arg)
 Evaluates the expression template argument 'Pattern' and returns true if 'Arg' evaluates to the same result.
template<typename TA>
static void printTo (raw_ostream &OS, ArrayRef< TA > Args, const PrintingPolicy &Policy, const TemplateParameterList *TPL, bool IsPack, unsigned ParmIndex)

Macro Definition Documentation

◆ ABSTRACT_TYPE [1/3]

#define ABSTRACT_TYPE ( CLASS,
PARENT )

Definition at line 138 of file TypePrinter.cpp.

◆ ABSTRACT_TYPE [2/3]

#define ABSTRACT_TYPE ( CLASS,
PARENT )

Definition at line 138 of file TypePrinter.cpp.

◆ ABSTRACT_TYPE [3/3]

#define ABSTRACT_TYPE ( CLASS,
PARENT )

Definition at line 138 of file TypePrinter.cpp.

◆ ATTR

#define ATTR ( NAME)
Value:
case attr::NAME:

◆ CC_VLS_CASE

#define CC_VLS_CASE ( ABI_VLEN)
Value:
case CC_RISCVVLSCall_##ABI_VLEN: \
OS << "__attribute__((riscv_vls_cc" #ABI_VLEN "))"; \
break;

◆ DECL_OR_TYPE_ATTR

#define DECL_OR_TYPE_ATTR ( NAME)

◆ TRANSFORM_TYPE_TRAIT_DEF

#define TRANSFORM_TYPE_TRAIT_DEF ( Enum,
Trait )
Value:
{UnaryTransformType::Enum, "__" #Trait},

◆ TYPE [1/3]

#define TYPE ( CLASS,
PARENT )
Value:
void print##CLASS##Before(const CLASS##Type *T, raw_ostream &OS); \
void print##CLASS##After(const CLASS##Type *T, raw_ostream &OS);
print
static void print(llvm::raw_ostream &OS, const T &V, ASTContext &ASTCtx, QualType Ty)
Definition InterpFrame.cpp:104
clang::Type
The base class of the type hierarchy.
Definition TypeBase.h:1833
clang::T
const FunctionProtoType * T
Definition RecursiveASTVisitor.h:1414

Definition at line 139 of file TypePrinter.cpp.

◆ TYPE [2/3]

#define TYPE ( CLASS,
PARENT )
Value:
case Type::CLASS: \
print##CLASS##Before(cast<CLASS##Type>(T), OS); \
break;
clang::cast
U cast(CodeGen::Address addr)
Definition Address.h:327

Definition at line 139 of file TypePrinter.cpp.

◆ TYPE [3/3]

#define TYPE ( CLASS,
PARENT )
Value:
case Type::CLASS: \
print##CLASS##After(cast<CLASS##Type>(T), OS); \
break;

Definition at line 139 of file TypePrinter.cpp.

◆ TYPE_ATTR

#define TYPE_ATTR ( NAME)

Function Documentation

◆ AppendTypeQualList()

void AppendTypeQualList ( raw_ostream & OS,
unsigned TypeQuals,
bool HasRestrictKeyword )
static

Definition at line 151 of file TypePrinter.cpp.

References clang::Qualifiers::Const, clang::Qualifiers::Restrict, and clang::Qualifiers::Volatile.

Referenced by clang::Qualifiers::print().

◆ getArgument() [1/2]

const TemplateArgument & getArgument ( const TemplateArgument & A)
static

Definition at line 2366 of file TypePrinter.cpp.

Referenced by clang::Sema::CheckTemplateArgumentList(), clang::NormalizedConstraint::hasMatchingParameterMapping(), clang::Sema::MarkUsedTemplateParameters(), and printTo().

◆ getArgument() [2/2]

const TemplateArgument & getArgument ( const TemplateArgumentLoc & A)
static

Definition at line 2368 of file TypePrinter.cpp.

References clang::TemplateArgumentLoc::getArgument().

◆ isSubstitutedTemplateArgument()

bool isSubstitutedTemplateArgument ( ASTContext & Ctx,
TemplateArgument Arg,
TemplateArgument Pattern,
ArrayRef< TemplateArgument > Args,
unsigned Depth )
static

Definition at line 2487 of file TypePrinter.cpp.

References clang::TemplateArgument::Expression, clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsTemplate(), clang::TemplateName::getAsTemplateDecl(), clang::TemplateArgument::getAsType(), clang::ASTContext::getCanonicalTemplateArgument(), clang::TemplateArgument::getKind(), clang::Expr::IgnoreParenImpCasts(), isSubstitutedType(), clang::TemplateArgument::structurallyEquals(), clang::TemplateArgument::Template, templateArgumentExpressionsEqual(), and clang::TemplateArgument::Type.

Referenced by isSubstitutedType().

◆ isSubstitutedType()

bool isSubstitutedType ( ASTContext & Ctx,
QualType T,
QualType Pattern,
ArrayRef< TemplateArgument > Args,
unsigned Depth )
static

Definition at line 2391 of file TypePrinter.cpp.

References clang::Type::getAs(), clang::Type::getAsCanonical(), clang::QualType::getCanonicalType(), clang::Type::getPointeeType(), clang::ASTContext::getQualifiedType(), clang::QualType::getQualifiers(), clang::Type::getTypeClass(), clang::ASTContext::getUnqualifiedArrayType(), clang::ASTContext::hasSameType(), clang::QualType::isNull(), isSubstitutedTemplateArgument(), isSubstitutedType(), clang::T, clang::Template, clang::TemplateName, and clang::TemplateArgument::Type.

Referenced by isSubstitutedTemplateArgument(), and isSubstitutedType().

◆ printArgument() [1/2]

void printArgument ( const TemplateArgument & A,
const PrintingPolicy & PP,
llvm::raw_ostream & OS,
bool IncludeType )
static

Definition at line 2372 of file TypePrinter.cpp.

References clang::TemplateArgument::print().

Referenced by printTo().

◆ printArgument() [2/2]

void printArgument ( const TemplateArgumentLoc & A,
const PrintingPolicy & PP,
llvm::raw_ostream & OS,
bool IncludeType )
static

Definition at line 2377 of file TypePrinter.cpp.

References clang::TemplateArgumentLoc::getArgument(), clang::TemplateArgument::getKind(), clang::TypeSourceInfo::getType(), clang::TemplateArgumentLoc::getTypeSourceInfo(), clang::QualType::print(), clang::TemplateArgument::print(), and clang::TemplateArgument::Type.

◆ printClangMatrixBefore()

void printClangMatrixBefore ( TypePrinter & TP,
const ConstantMatrixType * T,
raw_ostream & OS )
static

Definition at line 865 of file TypePrinter.cpp.

References printDims(), and clang::T.

◆ printCountAttributedImpl()

void printCountAttributedImpl ( const CountAttributedType * T,
raw_ostream & OS,
const PrintingPolicy & Policy )
static

Definition at line 1878 of file TypePrinter.cpp.

References clang::T.

◆ printDims()

void printDims ( const ConstantMatrixType * T,
raw_ostream & OS )
static

Definition at line 849 of file TypePrinter.cpp.

References clang::T.

Referenced by printClangMatrixBefore(), and printHLSLMatrixAfter().

◆ printHLSLMatrixAfter()

void printHLSLMatrixAfter ( const ConstantMatrixType * T,
raw_ostream & OS )
static

Definition at line 859 of file TypePrinter.cpp.

References printDims(), and clang::T.

◆ printHLSLMatrixBefore()

void printHLSLMatrixBefore ( TypePrinter & TP,
const ConstantMatrixType * T,
raw_ostream & OS )
static

Definition at line 853 of file TypePrinter.cpp.

References clang::T.

◆ printTo()

template<typename TA>
void printTo ( raw_ostream & OS,
ArrayRef< TA > Args,
const PrintingPolicy & Policy,
const TemplateParameterList * TPL,
bool IsPack,
unsigned ParmIndex )
static

Definition at line 2554 of file TypePrinter.cpp.

References getArgument(), clang::TemplateArgument::getKind(), clang::TemplateArgument::getPackAsArray(), clang::PrintingPolicy::MSVCFormatting, clang::TemplateArgument::Pack, clang::TemplateArgument::pack_size(), printArgument(), clang::PrintingPolicy::PrintAsCanonical, printTo(), clang::TemplateParameterList::shouldIncludeTypeForArgument(), clang::TemplateParameterList::size(), clang::PrintingPolicy::SplitTemplateClosers, and clang::PrintingPolicy::SuppressDefaultTemplateArgs.

Referenced by printTo().

◆ skipTopLevelReferences()

QualType skipTopLevelReferences ( QualType T)
static

Definition at line 441 of file TypePrinter.cpp.

References skipTopLevelReferences(), and clang::T.

Referenced by skipTopLevelReferences().

◆ splitAccordingToPolicy()

SplitQualType splitAccordingToPolicy ( QualType QT,
const PrintingPolicy & Policy )
static

Definition at line 178 of file TypePrinter.cpp.

References clang::QualType::getCanonicalType(), clang::PrintingPolicy::PrintAsCanonical, and clang::QualType::split().

Referenced by clang::QualType::getAsStringInternal(), and clang::QualType::print().

◆ templateArgumentExpressionsEqual()

bool templateArgumentExpressionsEqual ( ASTContext const & Ctx,
TemplateArgument const & Pattern,
TemplateArgument const & Arg )
static

Evaluates the expression template argument 'Pattern' and returns true if 'Arg' evaluates to the same result.

Definition at line 2459 of file TypePrinter.cpp.

References clang::Expr::EvaluateKnownConstInt(), clang::TemplateArgument::Expression, clang::TemplateArgument::getAsExpr(), clang::TemplateArgument::getAsIntegral(), clang::TemplateArgument::getKind(), clang::TemplateArgument::Integral, clang::Expr::isIntegerConstantExpr(), and clang::Expr::isValueDependent().

Referenced by isSubstitutedTemplateArgument().

Generated on for clang by doxygen 1.14.0