13#include "clang/AST/ASTTypeTraits.h"
14#include "clang/AST/Expr.h"
15#include "clang/AST/ExprCXX.h"
16#include "clang/AST/NestedNameSpecifier.h"
17#include "clang/AST/PrettyPrinter.h"
18#include "clang/AST/RecursiveASTVisitor.h"
19#include "clang/AST/TextNodeDumper.h"
20#include "clang/AST/Type.h"
21#include "clang/AST/TypeLoc.h"
22#include "clang/Basic/Specifiers.h"
23#include "clang/Tooling/Syntax/Tokens.h"
24#include "llvm/ADT/StringRef.h"
25#include "llvm/Support/raw_ostream.h"
32using llvm::raw_ostream;
33template <
typename Pr
int> std::string
toString(
const Print &
C) {
35 llvm::raw_string_ostream
OS(Result);
37 return std::move(
OS.str());
40bool isInjectedClassName(
Decl *D) {
41 if (
const auto *CRD = llvm::dyn_cast<CXXRecordDecl>(D))
42 return CRD->isInjectedClassName();
49 const syntax::TokenBuffer &Tokens;
50 const ASTContext &Ctx;
55 std::vector<ASTNode *> Stack;
60 bool traverseNodePre(llvm::StringRef
Role,
const T &Node) {
62 assert(
Root.role.empty());
63 Stack.push_back(&Root);
65 Stack.back()->children.emplace_back();
66 Stack.push_back(&Stack.back()->children.back());
68 auto &N = *Stack.back();
70 N.kind = getKind(Node);
71 N.detail = getDetail(Node);
72 N.range = getRange(Node);
73 N.arcana = getArcana(Node);
76 bool traverseNodePost() {
77 assert(!Stack.empty());
81 template <
typename T,
typename Callable>
82 bool traverseNode(llvm::StringRef
Role,
const T &Node,
const Callable &Body) {
83 traverseNodePre(
Role, Node);
85 return traverseNodePost();
91 template <
typename T> std::optional<Range> getRange(
const T &Node) {
92 SourceRange SR = getSourceRange(Node);
93 auto Spelled = Tokens.spelledForExpanded(Tokens.expandedTokens(SR));
97 Tokens.sourceManager(),
98 CharSourceRange::getCharRange(
Spelled->front().location(),
99 Spelled->back().endLocation()));
101 template <typename T, typename = decltype(std::declval<T>().getSourceRange())>
102 SourceRange getSourceRange(
const T &Node) {
103 return Node.getSourceRange();
105 template <
typename T,
106 typename =
decltype(std::declval<T *>()->getSourceRange())>
107 SourceRange getSourceRange(
const T *Node) {
108 return Node->getSourceRange();
111 SourceRange getSourceRange(
const TemplateName &Node) {
return SourceRange(); }
113 SourceRange getSourceRange(
const Attr *Node) {
return Node->getRange(); }
118 std::string getKind(
const Decl *D) {
return D->getDeclKindName(); }
119 std::string getKind(
const Stmt *S) {
120 std::string Result = S->getStmtClassName();
121 if (llvm::StringRef(Result).ends_with(
"Stmt") ||
122 llvm::StringRef(Result).ends_with(
"Expr"))
123 Result.resize(Result.size() - 4);
126 std::string getKind(
const TypeLoc &TL) {
128 if (TL.getTypeLocClass() == TypeLoc::Qualified)
130 return TL.getType()->getTypeClassName();
132 std::string getKind(
const TemplateArgumentLoc &TAL) {
133 switch (TAL.getArgument().getKind()) {
134#define TEMPLATE_ARGUMENT_KIND(X) \
135 case TemplateArgument::X: \
147#undef TEMPLATE_ARGUMENT_KIND
149 llvm_unreachable(
"Unhandled ArgKind enum");
151 std::string getKind(
const NestedNameSpecifierLoc &NNSL) {
152 assert(NNSL.getNestedNameSpecifier());
153 switch (NNSL.getNestedNameSpecifier()->getKind()) {
155 case NestedNameSpecifier::X: \
166 llvm_unreachable(
"Unhandled SpecifierKind enum");
168 std::string getKind(
const CXXCtorInitializer *CCI) {
169 if (CCI->isBaseInitializer())
170 return "BaseInitializer";
171 if (CCI->isDelegatingInitializer())
172 return "DelegatingInitializer";
173 if (CCI->isAnyMemberInitializer())
174 return "MemberInitializer";
175 llvm_unreachable(
"Unhandled CXXCtorInitializer type");
177 std::string getKind(
const TemplateName &TN) {
178 switch (TN.getKind()) {
179#define TEMPLATE_KIND(X) \
180 case TemplateName::X: \
193 llvm_unreachable(
"Unhandled NameKind enum");
195 std::string getKind(
const Attr *A) {
196 switch (
A->getKind()) {
200#include "clang/Basic/AttrList.inc"
203 llvm_unreachable(
"Unhandled attr::Kind enum");
205 std::string getKind(
const CXXBaseSpecifier &CBS) {
208 return getAccessSpelling(CBS.getAccessSpecifier()).str();
210 std::string getKind(
const ConceptReference *CR) {
220 std::string getDetail(
const Decl *D) {
221 const auto *ND = dyn_cast<NamedDecl>(D);
222 if (!ND || llvm::isa_and_nonnull<CXXConstructorDecl>(ND->getAsFunction()) ||
223 isa<CXXDestructorDecl>(ND))
227 return "(anonymous)";
230 std::string getDetail(
const Stmt *S) {
231 if (
const auto *DRE = dyn_cast<DeclRefExpr>(S))
232 return DRE->getNameInfo().getAsString();
233 if (
const auto *DSDRE = dyn_cast<DependentScopeDeclRefExpr>(S))
234 return DSDRE->getNameInfo().getAsString();
235 if (
const auto *ME = dyn_cast<MemberExpr>(S))
236 return ME->getMemberNameInfo().getAsString();
237 if (
const auto *
CE = dyn_cast<CastExpr>(S))
238 return CE->getCastKindName();
239 if (
const auto *BO = dyn_cast<BinaryOperator>(S))
240 return BO->getOpcodeStr().str();
241 if (
const auto *UO = dyn_cast<UnaryOperator>(S))
242 return UnaryOperator::getOpcodeStr(UO->getOpcode()).str();
243 if (
const auto *CCO = dyn_cast<CXXConstructExpr>(S))
244 return CCO->getConstructor()->getNameAsString();
245 if (
const auto *CTE = dyn_cast<CXXThisExpr>(S)) {
246 bool Const = CTE->getType()->getPointeeType().isLocalConstQualified();
247 if (CTE->isImplicit())
248 return Const ?
"const, implicit" :
"implicit";
253 if (isa<IntegerLiteral, FloatingLiteral, FixedPointLiteral,
254 CharacterLiteral, ImaginaryLiteral, CXXBoolLiteralExpr>(S))
256 S->printPretty(
OS,
nullptr, Ctx.getPrintingPolicy());
258 if (
const auto *MTE = dyn_cast<MaterializeTemporaryExpr>(S))
259 return MTE->isBoundToLvalueReference() ?
"lvalue" :
"rvalue";
262 std::string getDetail(
const TypeLoc &TL) {
263 if (TL.getType().hasLocalQualifiers())
264 return TL.getType().getLocalQualifiers().getAsString(
265 Ctx.getPrintingPolicy());
266 if (
const auto *TT = dyn_cast<TagType>(TL.getTypePtr()))
267 return getDetail(TT->getDecl());
268 if (
const auto *DT = dyn_cast<DeducedType>(TL.getTypePtr()))
270 return DT->getDeducedType().getAsString(Ctx.getPrintingPolicy());
271 if (
const auto *BT = dyn_cast<BuiltinType>(TL.getTypePtr()))
272 return BT->getName(Ctx.getPrintingPolicy()).str();
273 if (
const auto *TTPT = dyn_cast<TemplateTypeParmType>(TL.getTypePtr()))
274 return getDetail(TTPT->getDecl());
275 if (
const auto *TT = dyn_cast<TypedefType>(TL.getTypePtr()))
276 return getDetail(TT->getDecl());
279 std::string getDetail(
const NestedNameSpecifierLoc &NNSL) {
280 const auto &NNS = *NNSL.getNestedNameSpecifier();
281 switch (NNS.getKind()) {
282 case NestedNameSpecifier::Identifier:
283 return NNS.getAsIdentifier()->getName().str() +
"::";
284 case NestedNameSpecifier::Namespace:
285 return NNS.getAsNamespace()->getNameAsString() +
"::";
286 case NestedNameSpecifier::NamespaceAlias:
287 return NNS.getAsNamespaceAlias()->getNameAsString() +
"::";
292 std::string getDetail(
const CXXCtorInitializer *CCI) {
293 if (FieldDecl *FD = CCI->getAnyMember())
294 return getDetail(FD);
295 if (TypeLoc TL = CCI->getBaseClassLoc())
296 return getDetail(TL);
299 std::string getDetail(
const TemplateArgumentLoc &TAL) {
300 if (TAL.getArgument().getKind() == TemplateArgument::Integral)
301 return toString(TAL.getArgument().getAsIntegral(), 10);
304 std::string getDetail(
const TemplateName &TN) {
306 TN.print(
OS, Ctx.getPrintingPolicy(), TemplateName::Qualified::None);
309 std::string getDetail(
const Attr *A) {
310 return A->getAttrName() ?
A->getNormalizedFullName() :
A->getSpelling();
312 std::string getDetail(
const CXXBaseSpecifier &CBS) {
313 return CBS.isVirtual() ?
"virtual" :
"";
315 std::string getDetail(
const ConceptReference *CR) {
316 return CR->getNamedConcept()->getNameAsString();
321 template <
typename Dump> std::string dump(
const Dump &D) {
323 TextNodeDumper Dumper(
OS, Ctx,
false);
327 template <
typename T> std::string getArcana(
const T &N) {
328 return dump([&](TextNodeDumper &D) { D.Visit(N); });
330 std::string getArcana(
const NestedNameSpecifierLoc &NNS) {
return ""; }
331 std::string getArcana(
const TemplateName &NNS) {
return ""; }
332 std::string getArcana(
const CXXBaseSpecifier &CBS) {
return ""; }
333 std::string getArcana(
const TemplateArgumentLoc &TAL) {
334 return dump([&](TextNodeDumper &D) {
335 D.Visit(TAL.getArgument(), TAL.getSourceRange());
338 std::string getArcana(
const TypeLoc &TL) {
339 return dump([&](TextNodeDumper &D) { D.Visit(TL.getType()); });
344 DumpVisitor(
const syntax::TokenBuffer &Tokens,
const ASTContext &Ctx)
345 : Tokens(Tokens), Ctx(Ctx) {}
350 bool TraverseDecl(
Decl *D) {
351 return !D || isInjectedClassName(D) ||
352 traverseNode(
"declaration", D, [&] { Base::TraverseDecl(D); });
354 bool TraverseTypeLoc(TypeLoc TL) {
355 return !TL || traverseNode(
"type", TL, [&] { Base::TraverseTypeLoc(TL); });
357 bool TraverseTemplateName(
const TemplateName &TN) {
358 return traverseNode(
"template name", TN,
359 [&] { Base::TraverseTemplateName(TN); });
361 bool TraverseTemplateArgumentLoc(
const TemplateArgumentLoc &TAL) {
362 return traverseNode(
"template argument", TAL,
363 [&] { Base::TraverseTemplateArgumentLoc(TAL); });
365 bool TraverseNestedNameSpecifierLoc(NestedNameSpecifierLoc NNSL) {
366 return !NNSL || traverseNode(
"specifier", NNSL, [&] {
367 Base::TraverseNestedNameSpecifierLoc(NNSL);
370 bool TraverseConstructorInitializer(CXXCtorInitializer *CCI) {
371 return !CCI || traverseNode(
"constructor initializer", CCI, [&] {
372 Base::TraverseConstructorInitializer(CCI);
375 bool TraverseAttr(Attr *A) {
376 return !
A || traverseNode(
"attribute", A, [&] { Base::TraverseAttr(A); });
378 bool TraverseConceptReference(ConceptReference *
C) {
379 return !
C || traverseNode(
"reference",
C,
380 [&] { Base::TraverseConceptReference(
C); });
382 bool TraverseCXXBaseSpecifier(
const CXXBaseSpecifier &CBS) {
383 return traverseNode(
"base", CBS,
384 [&] { Base::TraverseCXXBaseSpecifier(CBS); });
387 bool dataTraverseStmtPre(Stmt *S) {
388 return S && traverseNodePre(isa<Expr>(S) ?
"expression" :
"statement", S);
390 bool dataTraverseStmtPost(Stmt *
X) {
return traverseNodePost(); }
397 bool TraverseQualifiedTypeLoc(QualifiedTypeLoc QTL) {
398 return TraverseTypeLoc(QTL.getUnqualifiedLoc());
401 bool TraverseNestedNameSpecifier(NestedNameSpecifier *) {
return true; }
402 bool TraverseType(QualType) {
return true; }
405 bool TraverseOpaqueValueExpr(OpaqueValueExpr *
E) {
406 return TraverseStmt(
E->getSourceExpr());
409 bool TraversePseudoObjectExpr(PseudoObjectExpr *
E) {
410 return TraverseStmt(
E->getSyntacticForm());
417 const ASTContext &Ctx) {
418 DumpVisitor V(Tokens, Ctx);
420 if (
const auto *D = N.get<
Decl>())
421 V.TraverseDecl(
const_cast<Decl *
>(D));
422 else if (
const auto *S = N.get<Stmt>())
423 V.TraverseStmt(
const_cast<Stmt *
>(S));
424 else if (
const auto *NNSL = N.get<NestedNameSpecifierLoc>())
425 V.TraverseNestedNameSpecifierLoc(
426 *
const_cast<NestedNameSpecifierLoc *
>(NNSL));
427 else if (
const auto *NNS = N.get<NestedNameSpecifier>())
428 V.TraverseNestedNameSpecifier(
const_cast<NestedNameSpecifier *
>(NNS));
429 else if (
const auto *TL = N.get<TypeLoc>())
430 V.TraverseTypeLoc(*
const_cast<TypeLoc *
>(TL));
431 else if (
const auto *QT = N.get<QualType>())
432 V.TraverseType(*
const_cast<QualType *
>(QT));
433 else if (
const auto *CCI = N.get<CXXCtorInitializer>())
434 V.TraverseConstructorInitializer(
const_cast<CXXCtorInitializer *
>(CCI));
435 else if (
const auto *TAL = N.get<TemplateArgumentLoc>())
436 V.TraverseTemplateArgumentLoc(*
const_cast<TemplateArgumentLoc *
>(TAL));
437 else if (
const auto *CBS = N.get<CXXBaseSpecifier>())
438 V.TraverseCXXBaseSpecifier(*
const_cast<CXXBaseSpecifier *
>(CBS));
439 else if (
const auto *CR = N.get<ConceptReference>())
440 V.TraverseConceptReference(
const_cast<ConceptReference *
>(CR));
442 elog(
"dumpAST: unhandled DynTypedNode kind {0}",
443 N.getNodeKind().asStringRef());
444 return std::move(V.Root);
ArrayRef< const ParmVarDecl * > Pack
const FunctionDecl * Decl
llvm::SmallString< 256U > Name
#define TEMPLATE_ARGUMENT_KIND(X)
::clang::DynTypedNode Node
index::SymbolRoleSet Role
Range halfOpenToRange(const SourceManager &SM, CharSourceRange R)
ASTNode dumpAST(const DynTypedNode &N, const syntax::TokenBuffer &Tokens, const ASTContext &Ctx)
static const char * toString(OffsetEncoding OE)
@ Type
An inlay hint that for a type annotation.
void elog(const char *Fmt, Ts &&... Vals)
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
Simplified description of a clang AST node.