1 //===--- TextNodeDumper.cpp - Printing of AST nodes -----------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file implements AST dumping of components of individual AST nodes.
10 //
11 //===----------------------------------------------------------------------===//
12 
13 #include "clang/AST/TextNodeDumper.h"
14 #include "clang/AST/DeclFriend.h"
15 #include "clang/AST/DeclOpenMP.h"
16 #include "clang/AST/DeclTemplate.h"
17 #include "clang/AST/LocInfoType.h"
18 #include "clang/Basic/Module.h"
19 #include "clang/Basic/SourceManager.h"
20 #include "clang/Basic/Specifiers.h"
21 
22 using namespace clang;
23 
24 static void dumpPreviousDeclImpl(raw_ostream &OS, ...) {}
25 
26 template <typename T>
27 static void dumpPreviousDeclImpl(raw_ostream &OS, const Mergeable<T> *D) {
28   const T *First = D->getFirstDecl();
29   if (First != D)
30     OS << " first " << First;
31 }
32 
33 template <typename T>
34 static void dumpPreviousDeclImpl(raw_ostream &OS, const Redeclarable<T> *D) {
35   const T *Prev = D->getPreviousDecl();
36   if (Prev)
37     OS << " prev " << Prev;
38 }
39 
40 /// Dump the previous declaration in the redeclaration chain for a declaration,
41 /// if any.
42 static void dumpPreviousDecl(raw_ostream &OS, const Decl *D) {
43   switch (D->getKind()) {
44 #define DECL(DERIVED, BASE)                                                    \
45   case Decl::DERIVED:                                                          \
46     return dumpPreviousDeclImpl(OS, cast<DERIVED##Decl>(D));
47 #define ABSTRACT_DECL(DECL)
48 #include "clang/AST/DeclNodes.inc"
49   }
50   llvm_unreachable("Decl that isn't part of DeclNodes.inc!");
51 }
52 
53 TextNodeDumper::TextNodeDumper(raw_ostream &OS, bool ShowColors,
54                                const SourceManager *SM,
55                                const PrintingPolicy &PrintPolicy,
56                                const comments::CommandTraits *Traits)
57     : TextTreeStructure(OS, ShowColors), OS(OS), ShowColors(ShowColors), SM(SM),
58       PrintPolicy(PrintPolicy), Traits(Traits) {}
59 
60 void TextNodeDumper::Visit(const comments::Comment *C,
61                            const comments::FullComment *FC) {
62   if (!C) {
63     ColorScope Color(OS, ShowColors, NullColor);
64     OS << "<<<NULL>>>";
65     return;
66   }
67 
68   {
69     ColorScope Color(OS, ShowColors, CommentColor);
70     OS << C->getCommentKindName();
71   }
72   dumpPointer(C);
73   dumpSourceRange(C->getSourceRange());
74 
75   ConstCommentVisitor<TextNodeDumper, void,
76                       const comments::FullComment *>::visit(C, FC);
77 }
78 
79 void TextNodeDumper::Visit(const Attr *A) {
80   {
81     ColorScope Color(OS, ShowColors, AttrColor);
82 
83     switch (A->getKind()) {
84 #define ATTR(X)                                                                \
85   case attr::X:                                                                \
86     OS << #X;                                                                  \
87     break;
88 #include "clang/Basic/AttrList.inc"
89     }
90     OS << "Attr";
91   }
92   dumpPointer(A);
93   dumpSourceRange(A->getRange());
94   if (A->isInherited())
95     OS << " Inherited";
96   if (A->isImplicit())
97     OS << " Implicit";
98 
99   ConstAttrVisitor<TextNodeDumper>::Visit(A);
100 }
101 
102 void TextNodeDumper::Visit(const TemplateArgument &TA, SourceRange R,
103                            const Decl *From, StringRef Label) {
104   OS << "TemplateArgument";
105   if (R.isValid())
106     dumpSourceRange(R);
107 
108   if (From)
109     dumpDeclRef(From, Label);
110 
111   ConstTemplateArgumentVisitor<TextNodeDumper>::Visit(TA);
112 }
113 
114 void TextNodeDumper::Visit(const Stmt *Node) {
115   if (!Node) {
116     ColorScope Color(OS, ShowColors, NullColor);
117     OS << "<<<NULL>>>";
118     return;
119   }
120   {
121     ColorScope Color(OS, ShowColors, StmtColor);
122     OS << Node->getStmtClassName();
123   }
124   dumpPointer(Node);
125   dumpSourceRange(Node->getSourceRange());
126 
127   if (const auto *E = dyn_cast<Expr>(Node)) {
128     dumpType(E->getType());
129 
130     if (E->containsErrors()) {
131       ColorScope Color(OS, ShowColors, ErrorsColor);
132       OS << " contains-errors";
133     }
134 
135     {
136       ColorScope Color(OS, ShowColors, ValueKindColor);
137       switch (E->getValueKind()) {
138       case VK_RValue:
139         break;
140       case VK_LValue:
141         OS << " lvalue";
142         break;
143       case VK_XValue:
144         OS << " xvalue";
145         break;
146       }
147     }
148 
149     {
150       ColorScope Color(OS, ShowColors, ObjectKindColor);
151       switch (E->getObjectKind()) {
152       case OK_Ordinary:
153         break;
154       case OK_BitField:
155         OS << " bitfield";
156         break;
157       case OK_ObjCProperty:
158         OS << " objcproperty";
159         break;
160       case OK_ObjCSubscript:
161         OS << " objcsubscript";
162         break;
163       case OK_VectorComponent:
164         OS << " vectorcomponent";
165         break;
166       case OK_MatrixComponent:
167         OS << " matrixcomponent";
168         break;
169       }
170     }
171   }
172 
173   ConstStmtVisitor<TextNodeDumper>::Visit(Node);
174 }
175 
176 void TextNodeDumper::Visit(const Type *T) {
177   if (!T) {
178     ColorScope Color(OS, ShowColors, NullColor);
179     OS << "<<<NULL>>>";
180     return;
181   }
182   if (isa<LocInfoType>(T)) {
183     {
184       ColorScope Color(OS, ShowColors, TypeColor);
185       OS << "LocInfo Type";
186     }
187     dumpPointer(T);
188     return;
189   }
190 
191   {
192     ColorScope Color(OS, ShowColors, TypeColor);
193     OS << T->getTypeClassName() << "Type";
194   }
195   dumpPointer(T);
196   OS << " ";
197   dumpBareType(QualType(T, 0), false);
198 
199   QualType SingleStepDesugar =
200       T->getLocallyUnqualifiedSingleStepDesugaredType();
201   if (SingleStepDesugar != QualType(T, 0))
202     OS << " sugar";
203 
204   if (T->isDependentType())
205     OS << " dependent";
206   else if (T->isInstantiationDependentType())
207     OS << " instantiation_dependent";
208 
209   if (T->isVariablyModifiedType())
210     OS << " variably_modified";
211   if (T->containsUnexpandedParameterPack())
212     OS << " contains_unexpanded_pack";
213   if (T->isFromAST())
214     OS << " imported";
215 
216   TypeVisitor<TextNodeDumper>::Visit(T);
217 }
218 
219 void TextNodeDumper::Visit(QualType T) {
220   OS << "QualType";
221   dumpPointer(T.getAsOpaquePtr());
222   OS << " ";
223   dumpBareType(T, false);
224   OS << " " << T.split().Quals.getAsString();
225 }
226 
227 void TextNodeDumper::Visit(const Decl *D) {
228   if (!D) {
229     ColorScope Color(OS, ShowColors, NullColor);
230     OS << "<<<NULL>>>";
231     return;
232   }
233 
234   {
235     ColorScope Color(OS, ShowColors, DeclKindNameColor);
236     OS << D->getDeclKindName() << "Decl";
237   }
238   dumpPointer(D);
239   if (D->getLexicalDeclContext() != D->getDeclContext())
240     OS << " parent " << cast<Decl>(D->getDeclContext());
241   dumpPreviousDecl(OS, D);
242   dumpSourceRange(D->getSourceRange());
243   OS << ' ';
244   dumpLocation(D->getLocation());
245   if (D->isFromASTFile())
246     OS << " imported";
247   if (Module *M = D->getOwningModule())
248     OS << " in " << M->getFullModuleName();
249   if (auto *ND = dyn_cast<NamedDecl>(D))
250     for (Module *M : D->getASTContext().getModulesWithMergedDefinition(
251              const_cast<NamedDecl *>(ND)))
252       AddChild([=] { OS << "also in " << M->getFullModuleName(); });
253   if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
254     if (ND->isHidden())
255       OS << " hidden";
256   if (D->isImplicit())
257     OS << " implicit";
258 
259   if (D->isUsed())
260     OS << " used";
261   else if (D->isThisDeclarationReferenced())
262     OS << " referenced";
263 
264   if (D->isInvalidDecl())
265     OS << " invalid";
266   if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
267     if (FD->isConstexprSpecified())
268       OS << " constexpr";
269     if (FD->isConsteval())
270       OS << " consteval";
271   }
272 
273   if (!isa<FunctionDecl>(*D)) {
274     const auto *MD = dyn_cast<ObjCMethodDecl>(D);
275     if (!MD || !MD->isThisDeclarationADefinition()) {
276       const auto *DC = dyn_cast<DeclContext>(D);
277       if (DC && DC->hasExternalLexicalStorage()) {
278         ColorScope Color(OS, ShowColors, UndeserializedColor);
279         OS << " <undeserialized declarations>";
280       }
281     }
282   }
283 
284   ConstDeclVisitor<TextNodeDumper>::Visit(D);
285 }
286 
287 void TextNodeDumper::Visit(const CXXCtorInitializer *Init) {
288   OS << "CXXCtorInitializer";
289   if (Init->isAnyMemberInitializer()) {
290     OS << ' ';
291     dumpBareDeclRef(Init->getAnyMember());
292   } else if (Init->isBaseInitializer()) {
293     dumpType(QualType(Init->getBaseClass(), 0));
294   } else if (Init->isDelegatingInitializer()) {
295     dumpType(Init->getTypeSourceInfo()->getType());
296   } else {
297     llvm_unreachable("Unknown initializer type");
298   }
299 }
300 
301 void TextNodeDumper::Visit(const BlockDecl::Capture &C) {
302   OS << "capture";
303   if (C.isByRef())
304     OS << " byref";
305   if (C.isNested())
306     OS << " nested";
307   if (C.getVariable()) {
308     OS << ' ';
309     dumpBareDeclRef(C.getVariable());
310   }
311 }
312 
313 void TextNodeDumper::Visit(const OMPClause *C) {
314   if (!C) {
315     ColorScope Color(OS, ShowColors, NullColor);
316     OS << "<<<NULL>>> OMPClause";
317     return;
318   }
319   {
320     ColorScope Color(OS, ShowColors, AttrColor);
321     StringRef ClauseName(llvm::omp::getOpenMPClauseName(C->getClauseKind()));
322     OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper()
323        << ClauseName.drop_front() << "Clause";
324   }
325   dumpPointer(C);
326   dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc()));
327   if (C->isImplicit())
328     OS << " <implicit>";
329 }
330 
331 void TextNodeDumper::Visit(const GenericSelectionExpr::ConstAssociation &A) {
332   const TypeSourceInfo *TSI = A.getTypeSourceInfo();
333   if (TSI) {
334     OS << "case ";
335     dumpType(TSI->getType());
336   } else {
337     OS << "default";
338   }
339 
340   if (A.isSelected())
341     OS << " selected";
342 }
343 
344 void TextNodeDumper::dumpPointer(const void *Ptr) {
345   ColorScope Color(OS, ShowColors, AddressColor);
346   OS << ' ' << Ptr;
347 }
348 
349 void TextNodeDumper::dumpLocation(SourceLocation Loc) {
350   if (!SM)
351     return;
352 
353   ColorScope Color(OS, ShowColors, LocationColor);
354   SourceLocation SpellingLoc = SM->getSpellingLoc(Loc);
355 
356   // The general format we print out is filename:line:col, but we drop pieces
357   // that haven't changed since the last loc printed.
358   PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc);
359 
360   if (PLoc.isInvalid()) {
361     OS << "<invalid sloc>";
362     return;
363   }
364 
365   if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) {
366     OS << PLoc.getFilename() << ':' << PLoc.getLine() << ':'
367        << PLoc.getColumn();
368     LastLocFilename = PLoc.getFilename();
369     LastLocLine = PLoc.getLine();
370   } else if (PLoc.getLine() != LastLocLine) {
371     OS << "line" << ':' << PLoc.getLine() << ':' << PLoc.getColumn();
372     LastLocLine = PLoc.getLine();
373   } else {
374     OS << "col" << ':' << PLoc.getColumn();
375   }
376 }
377 
378 void TextNodeDumper::dumpSourceRange(SourceRange R) {
379   // Can't translate locations if a SourceManager isn't available.
380   if (!SM)
381     return;
382 
383   OS << " <";
384   dumpLocation(R.getBegin());
385   if (R.getBegin() != R.getEnd()) {
386     OS << ", ";
387     dumpLocation(R.getEnd());
388   }
389   OS << ">";
390 
391   // <t2.c:123:421[blah], t2.c:412:321>
392 }
393 
394 void TextNodeDumper::dumpBareType(QualType T, bool Desugar) {
395   ColorScope Color(OS, ShowColors, TypeColor);
396 
397   SplitQualType T_split = T.split();
398   OS << "'" << QualType::getAsString(T_split, PrintPolicy) << "'";
399 
400   if (Desugar && !T.isNull()) {
401     // If the type is sugared, also dump a (shallow) desugared type.
402     SplitQualType D_split = T.getSplitDesugaredType();
403     if (T_split != D_split)
404       OS << ":'" << QualType::getAsString(D_split, PrintPolicy) << "'";
405   }
406 }
407 
408 void TextNodeDumper::dumpType(QualType T) {
409   OS << ' ';
410   dumpBareType(T);
411 }
412 
413 void TextNodeDumper::dumpBareDeclRef(const Decl *D) {
414   if (!D) {
415     ColorScope Color(OS, ShowColors, NullColor);
416     OS << "<<<NULL>>>";
417     return;
418   }
419 
420   {
421     ColorScope Color(OS, ShowColors, DeclKindNameColor);
422     OS << D->getDeclKindName();
423   }
424   dumpPointer(D);
425 
426   if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
427     ColorScope Color(OS, ShowColors, DeclNameColor);
428     OS << " '" << ND->getDeclName() << '\'';
429   }
430 
431   if (const ValueDecl *VD = dyn_cast<ValueDecl>(D))
432     dumpType(VD->getType());
433 }
434 
435 void TextNodeDumper::dumpName(const NamedDecl *ND) {
436   if (ND->getDeclName()) {
437     ColorScope Color(OS, ShowColors, DeclNameColor);
438     OS << ' ' << ND->getNameAsString();
439   }
440 }
441 
442 void TextNodeDumper::dumpAccessSpecifier(AccessSpecifier AS) {
443   const auto AccessSpelling = getAccessSpelling(AS);
444   if (AccessSpelling.empty())
445     return;
446   OS << AccessSpelling;
447 }
448 
449 void TextNodeDumper::dumpCleanupObject(
450     const ExprWithCleanups::CleanupObject &C) {
451   if (auto *BD = C.dyn_cast<BlockDecl *>())
452     dumpDeclRef(BD, "cleanup");
453   else if (auto *CLE = C.dyn_cast<CompoundLiteralExpr *>())
454     AddChild([=] {
455       OS << "cleanup ";
456       {
457         ColorScope Color(OS, ShowColors, StmtColor);
458         OS << CLE->getStmtClassName();
459       }
460       dumpPointer(CLE);
461     });
462   else
463     llvm_unreachable("unexpected cleanup type");
464 }
465 
466 void TextNodeDumper::dumpDeclRef(const Decl *D, StringRef Label) {
467   if (!D)
468     return;
469 
470   AddChild([=] {
471     if (!Label.empty())
472       OS << Label << ' ';
473     dumpBareDeclRef(D);
474   });
475 }
476 
477 const char *TextNodeDumper::getCommandName(unsigned CommandID) {
478   if (Traits)
479     return Traits->getCommandInfo(CommandID)->Name;
480   const comments::CommandInfo *Info =
481       comments::CommandTraits::getBuiltinCommandInfo(CommandID);
482   if (Info)
483     return Info->Name;
484   return "<not a builtin command>";
485 }
486 
487 void TextNodeDumper::visitTextComment(const comments::TextComment *C,
488                                       const comments::FullComment *) {
489   OS << " Text=\"" << C->getText() << "\"";
490 }
491 
492 void TextNodeDumper::visitInlineCommandComment(
493     const comments::InlineCommandComment *C, const comments::FullComment *) {
494   OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
495   switch (C->getRenderKind()) {
496   case comments::InlineCommandComment::RenderNormal:
497     OS << " RenderNormal";
498     break;
499   case comments::InlineCommandComment::RenderBold:
500     OS << " RenderBold";
501     break;
502   case comments::InlineCommandComment::RenderMonospaced:
503     OS << " RenderMonospaced";
504     break;
505   case comments::InlineCommandComment::RenderEmphasized:
506     OS << " RenderEmphasized";
507     break;
508   case comments::InlineCommandComment::RenderAnchor:
509     OS << " RenderAnchor";
510     break;
511   }
512 
513   for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
514     OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
515 }
516 
517 void TextNodeDumper::visitHTMLStartTagComment(
518     const comments::HTMLStartTagComment *C, const comments::FullComment *) {
519   OS << " Name=\"" << C->getTagName() << "\"";
520   if (C->getNumAttrs() != 0) {
521     OS << " Attrs: ";
522     for (unsigned i = 0, e = C->getNumAttrs(); i != e; ++i) {
523       const comments::HTMLStartTagComment::Attribute &Attr = C->getAttr(i);
524       OS << " \"" << Attr.Name << "=\"" << Attr.Value << "\"";
525     }
526   }
527   if (C->isSelfClosing())
528     OS << " SelfClosing";
529 }
530 
531 void TextNodeDumper::visitHTMLEndTagComment(
532     const comments::HTMLEndTagComment *C, const comments::FullComment *) {
533   OS << " Name=\"" << C->getTagName() << "\"";
534 }
535 
536 void TextNodeDumper::visitBlockCommandComment(
537     const comments::BlockCommandComment *C, const comments::FullComment *) {
538   OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
539   for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
540     OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
541 }
542 
543 void TextNodeDumper::visitParamCommandComment(
544     const comments::ParamCommandComment *C, const comments::FullComment *FC) {
545   OS << " "
546      << comments::ParamCommandComment::getDirectionAsString(C->getDirection());
547 
548   if (C->isDirectionExplicit())
549     OS << " explicitly";
550   else
551     OS << " implicitly";
552 
553   if (C->hasParamName()) {
554     if (C->isParamIndexValid())
555       OS << " Param=\"" << C->getParamName(FC) << "\"";
556     else
557       OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
558   }
559 
560   if (C->isParamIndexValid() && !C->isVarArgParam())
561     OS << " ParamIndex=" << C->getParamIndex();
562 }
563 
564 void TextNodeDumper::visitTParamCommandComment(
565     const comments::TParamCommandComment *C, const comments::FullComment *FC) {
566   if (C->hasParamName()) {
567     if (C->isPositionValid())
568       OS << " Param=\"" << C->getParamName(FC) << "\"";
569     else
570       OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
571   }
572 
573   if (C->isPositionValid()) {
574     OS << " Position=<";
575     for (unsigned i = 0, e = C->getDepth(); i != e; ++i) {
576       OS << C->getIndex(i);
577       if (i != e - 1)
578         OS << ", ";
579     }
580     OS << ">";
581   }
582 }
583 
584 void TextNodeDumper::visitVerbatimBlockComment(
585     const comments::VerbatimBlockComment *C, const comments::FullComment *) {
586   OS << " Name=\"" << getCommandName(C->getCommandID())
587      << "\""
588         " CloseName=\""
589      << C->getCloseName() << "\"";
590 }
591 
592 void TextNodeDumper::visitVerbatimBlockLineComment(
593     const comments::VerbatimBlockLineComment *C,
594     const comments::FullComment *) {
595   OS << " Text=\"" << C->getText() << "\"";
596 }
597 
598 void TextNodeDumper::visitVerbatimLineComment(
599     const comments::VerbatimLineComment *C, const comments::FullComment *) {
600   OS << " Text=\"" << C->getText() << "\"";
601 }
602 
603 void TextNodeDumper::VisitNullTemplateArgument(const TemplateArgument &) {
604   OS << " null";
605 }
606 
607 void TextNodeDumper::VisitTypeTemplateArgument(const TemplateArgument &TA) {
608   OS << " type";
609   dumpType(TA.getAsType());
610 }
611 
612 void TextNodeDumper::VisitDeclarationTemplateArgument(
613     const TemplateArgument &TA) {
614   OS << " decl";
615   dumpDeclRef(TA.getAsDecl());
616 }
617 
618 void TextNodeDumper::VisitNullPtrTemplateArgument(const TemplateArgument &) {
619   OS << " nullptr";
620 }
621 
622 void TextNodeDumper::VisitIntegralTemplateArgument(const TemplateArgument &TA) {
623   OS << " integral " << TA.getAsIntegral();
624 }
625 
626 void TextNodeDumper::VisitTemplateTemplateArgument(const TemplateArgument &TA) {
627   OS << " template ";
628   TA.getAsTemplate().dump(OS);
629 }
630 
631 void TextNodeDumper::VisitTemplateExpansionTemplateArgument(
632     const TemplateArgument &TA) {
633   OS << " template expansion ";
634   TA.getAsTemplateOrTemplatePattern().dump(OS);
635 }
636 
637 void TextNodeDumper::VisitExpressionTemplateArgument(const TemplateArgument &) {
638   OS << " expr";
639 }
640 
641 void TextNodeDumper::VisitPackTemplateArgument(const TemplateArgument &) {
642   OS << " pack";
643 }
644 
645 static void dumpBasePath(raw_ostream &OS, const CastExpr *Node) {
646   if (Node->path_empty())
647     return;
648 
649   OS << " (";
650   bool First = true;
651   for (CastExpr::path_const_iterator I = Node->path_begin(),
652                                      E = Node->path_end();
653        I != E; ++I) {
654     const CXXBaseSpecifier *Base = *I;
655     if (!First)
656       OS << " -> ";
657 
658     const auto *RD =
659         cast<CXXRecordDecl>(Base->getType()->castAs<RecordType>()->getDecl());
660 
661     if (Base->isVirtual())
662       OS << "virtual ";
663     OS << RD->getName();
664     First = false;
665   }
666 
667   OS << ')';
668 }
669 
670 void TextNodeDumper::VisitIfStmt(const IfStmt *Node) {
671   if (Node->hasInitStorage())
672     OS << " has_init";
673   if (Node->hasVarStorage())
674     OS << " has_var";
675   if (Node->hasElseStorage())
676     OS << " has_else";
677 }
678 
679 void TextNodeDumper::VisitSwitchStmt(const SwitchStmt *Node) {
680   if (Node->hasInitStorage())
681     OS << " has_init";
682   if (Node->hasVarStorage())
683     OS << " has_var";
684 }
685 
686 void TextNodeDumper::VisitWhileStmt(const WhileStmt *Node) {
687   if (Node->hasVarStorage())
688     OS << " has_var";
689 }
690 
691 void TextNodeDumper::VisitLabelStmt(const LabelStmt *Node) {
692   OS << " '" << Node->getName() << "'";
693 }
694 
695 void TextNodeDumper::VisitGotoStmt(const GotoStmt *Node) {
696   OS << " '" << Node->getLabel()->getName() << "'";
697   dumpPointer(Node->getLabel());
698 }
699 
700 void TextNodeDumper::VisitCaseStmt(const CaseStmt *Node) {
701   if (Node->caseStmtIsGNURange())
702     OS << " gnu_range";
703 }
704 
705 void TextNodeDumper::VisitConstantExpr(const ConstantExpr *Node) {
706   if (Node->getResultAPValueKind() != APValue::None) {
707     ColorScope Color(OS, ShowColors, ValueColor);
708     OS << " ";
709     Node->getAPValueResult().dump(OS);
710   }
711 }
712 
713 void TextNodeDumper::VisitCallExpr(const CallExpr *Node) {
714   if (Node->usesADL())
715     OS << " adl";
716 }
717 
718 void TextNodeDumper::VisitCastExpr(const CastExpr *Node) {
719   OS << " <";
720   {
721     ColorScope Color(OS, ShowColors, CastColor);
722     OS << Node->getCastKindName();
723   }
724   dumpBasePath(OS, Node);
725   OS << ">";
726 }
727 
728 void TextNodeDumper::VisitImplicitCastExpr(const ImplicitCastExpr *Node) {
729   VisitCastExpr(Node);
730   if (Node->isPartOfExplicitCast())
731     OS << " part_of_explicit_cast";
732 }
733 
734 void TextNodeDumper::VisitDeclRefExpr(const DeclRefExpr *Node) {
735   OS << " ";
736   dumpBareDeclRef(Node->getDecl());
737   if (Node->getDecl() != Node->getFoundDecl()) {
738     OS << " (";
739     dumpBareDeclRef(Node->getFoundDecl());
740     OS << ")";
741   }
742   switch (Node->isNonOdrUse()) {
743   case NOUR_None: break;
744   case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break;
745   case NOUR_Constant: OS << " non_odr_use_constant"; break;
746   case NOUR_Discarded: OS << " non_odr_use_discarded"; break;
747   }
748 }
749 
750 void TextNodeDumper::VisitUnresolvedLookupExpr(
751     const UnresolvedLookupExpr *Node) {
752   OS << " (";
753   if (!Node->requiresADL())
754     OS << "no ";
755   OS << "ADL) = '" << Node->getName() << '\'';
756 
757   UnresolvedLookupExpr::decls_iterator I = Node->decls_begin(),
758                                        E = Node->decls_end();
759   if (I == E)
760     OS << " empty";
761   for (; I != E; ++I)
762     dumpPointer(*I);
763 }
764 
765 void TextNodeDumper::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node) {
766   {
767     ColorScope Color(OS, ShowColors, DeclKindNameColor);
768     OS << " " << Node->getDecl()->getDeclKindName() << "Decl";
769   }
770   OS << "='" << *Node->getDecl() << "'";
771   dumpPointer(Node->getDecl());
772   if (Node->isFreeIvar())
773     OS << " isFreeIvar";
774 }
775 
776 void TextNodeDumper::VisitPredefinedExpr(const PredefinedExpr *Node) {
777   OS << " " << PredefinedExpr::getIdentKindName(Node->getIdentKind());
778 }
779 
780 void TextNodeDumper::VisitCharacterLiteral(const CharacterLiteral *Node) {
781   ColorScope Color(OS, ShowColors, ValueColor);
782   OS << " " << Node->getValue();
783 }
784 
785 void TextNodeDumper::VisitIntegerLiteral(const IntegerLiteral *Node) {
786   bool isSigned = Node->getType()->isSignedIntegerType();
787   ColorScope Color(OS, ShowColors, ValueColor);
788   OS << " " << Node->getValue().toString(10, isSigned);
789 }
790 
791 void TextNodeDumper::VisitFixedPointLiteral(const FixedPointLiteral *Node) {
792   ColorScope Color(OS, ShowColors, ValueColor);
793   OS << " " << Node->getValueAsString(/*Radix=*/10);
794 }
795 
796 void TextNodeDumper::VisitFloatingLiteral(const FloatingLiteral *Node) {
797   ColorScope Color(OS, ShowColors, ValueColor);
798   OS << " " << Node->getValueAsApproximateDouble();
799 }
800 
801 void TextNodeDumper::VisitStringLiteral(const StringLiteral *Str) {
802   ColorScope Color(OS, ShowColors, ValueColor);
803   OS << " ";
804   Str->outputString(OS);
805 }
806 
807 void TextNodeDumper::VisitInitListExpr(const InitListExpr *ILE) {
808   if (auto *Field = ILE->getInitializedFieldInUnion()) {
809     OS << " field ";
810     dumpBareDeclRef(Field);
811   }
812 }
813 
814 void TextNodeDumper::VisitGenericSelectionExpr(const GenericSelectionExpr *E) {
815   if (E->isResultDependent())
816     OS << " result_dependent";
817 }
818 
819 void TextNodeDumper::VisitUnaryOperator(const UnaryOperator *Node) {
820   OS << " " << (Node->isPostfix() ? "postfix" : "prefix") << " '"
821      << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
822   if (!Node->canOverflow())
823     OS << " cannot overflow";
824 }
825 
826 void TextNodeDumper::VisitUnaryExprOrTypeTraitExpr(
827     const UnaryExprOrTypeTraitExpr *Node) {
828   switch (Node->getKind()) {
829   case UETT_SizeOf:
830     OS << " sizeof";
831     break;
832   case UETT_AlignOf:
833     OS << " alignof";
834     break;
835   case UETT_VecStep:
836     OS << " vec_step";
837     break;
838   case UETT_OpenMPRequiredSimdAlign:
839     OS << " __builtin_omp_required_simd_align";
840     break;
841   case UETT_PreferredAlignOf:
842     OS << " __alignof";
843     break;
844   }
845   if (Node->isArgumentType())
846     dumpType(Node->getArgumentType());
847 }
848 
849 void TextNodeDumper::VisitMemberExpr(const MemberExpr *Node) {
850   OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl();
851   dumpPointer(Node->getMemberDecl());
852   switch (Node->isNonOdrUse()) {
853   case NOUR_None: break;
854   case NOUR_Unevaluated: OS << " non_odr_use_unevaluated"; break;
855   case NOUR_Constant: OS << " non_odr_use_constant"; break;
856   case NOUR_Discarded: OS << " non_odr_use_discarded"; break;
857   }
858 }
859 
860 void TextNodeDumper::VisitExtVectorElementExpr(
861     const ExtVectorElementExpr *Node) {
862   OS << " " << Node->getAccessor().getNameStart();
863 }
864 
865 void TextNodeDumper::VisitBinaryOperator(const BinaryOperator *Node) {
866   OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
867 }
868 
869 void TextNodeDumper::VisitCompoundAssignOperator(
870     const CompoundAssignOperator *Node) {
871   OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode())
872      << "' ComputeLHSTy=";
873   dumpBareType(Node->getComputationLHSType());
874   OS << " ComputeResultTy=";
875   dumpBareType(Node->getComputationResultType());
876 }
877 
878 void TextNodeDumper::VisitAddrLabelExpr(const AddrLabelExpr *Node) {
879   OS << " " << Node->getLabel()->getName();
880   dumpPointer(Node->getLabel());
881 }
882 
883 void TextNodeDumper::VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node) {
884   OS << " " << Node->getCastName() << "<"
885      << Node->getTypeAsWritten().getAsString() << ">"
886      << " <" << Node->getCastKindName();
887   dumpBasePath(OS, Node);
888   OS << ">";
889 }
890 
891 void TextNodeDumper::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node) {
892   OS << " " << (Node->getValue() ? "true" : "false");
893 }
894 
895 void TextNodeDumper::VisitCXXThisExpr(const CXXThisExpr *Node) {
896   if (Node->isImplicit())
897     OS << " implicit";
898   OS << " this";
899 }
900 
901 void TextNodeDumper::VisitCXXFunctionalCastExpr(
902     const CXXFunctionalCastExpr *Node) {
903   OS << " functional cast to " << Node->getTypeAsWritten().getAsString() << " <"
904      << Node->getCastKindName() << ">";
905 }
906 
907 void TextNodeDumper::VisitCXXUnresolvedConstructExpr(
908     const CXXUnresolvedConstructExpr *Node) {
909   dumpType(Node->getTypeAsWritten());
910   if (Node->isListInitialization())
911     OS << " list";
912 }
913 
914 void TextNodeDumper::VisitCXXConstructExpr(const CXXConstructExpr *Node) {
915   CXXConstructorDecl *Ctor = Node->getConstructor();
916   dumpType(Ctor->getType());
917   if (Node->isElidable())
918     OS << " elidable";
919   if (Node->isListInitialization())
920     OS << " list";
921   if (Node->isStdInitListInitialization())
922     OS << " std::initializer_list";
923   if (Node->requiresZeroInitialization())
924     OS << " zeroing";
925 }
926 
927 void TextNodeDumper::VisitCXXBindTemporaryExpr(
928     const CXXBindTemporaryExpr *Node) {
929   OS << " (CXXTemporary";
930   dumpPointer(Node);
931   OS << ")";
932 }
933 
934 void TextNodeDumper::VisitCXXNewExpr(const CXXNewExpr *Node) {
935   if (Node->isGlobalNew())
936     OS << " global";
937   if (Node->isArray())
938     OS << " array";
939   if (Node->getOperatorNew()) {
940     OS << ' ';
941     dumpBareDeclRef(Node->getOperatorNew());
942   }
943   // We could dump the deallocation function used in case of error, but it's
944   // usually not that interesting.
945 }
946 
947 void TextNodeDumper::VisitCXXDeleteExpr(const CXXDeleteExpr *Node) {
948   if (Node->isGlobalDelete())
949     OS << " global";
950   if (Node->isArrayForm())
951     OS << " array";
952   if (Node->getOperatorDelete()) {
953     OS << ' ';
954     dumpBareDeclRef(Node->getOperatorDelete());
955   }
956 }
957 
958 void TextNodeDumper::VisitMaterializeTemporaryExpr(
959     const MaterializeTemporaryExpr *Node) {
960   if (const ValueDecl *VD = Node->getExtendingDecl()) {
961     OS << " extended by ";
962     dumpBareDeclRef(VD);
963   }
964 }
965 
966 void TextNodeDumper::VisitExprWithCleanups(const ExprWithCleanups *Node) {
967   for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i)
968     dumpCleanupObject(Node->getObject(i));
969 }
970 
971 void TextNodeDumper::VisitSizeOfPackExpr(const SizeOfPackExpr *Node) {
972   dumpPointer(Node->getPack());
973   dumpName(Node->getPack());
974 }
975 
976 void TextNodeDumper::VisitCXXDependentScopeMemberExpr(
977     const CXXDependentScopeMemberExpr *Node) {
978   OS << " " << (Node->isArrow() ? "->" : ".") << Node->getMember();
979 }
980 
981 void TextNodeDumper::VisitObjCMessageExpr(const ObjCMessageExpr *Node) {
982   OS << " selector=";
983   Node->getSelector().print(OS);
984   switch (Node->getReceiverKind()) {
985   case ObjCMessageExpr::Instance:
986     break;
987 
988   case ObjCMessageExpr::Class:
989     OS << " class=";
990     dumpBareType(Node->getClassReceiver());
991     break;
992 
993   case ObjCMessageExpr::SuperInstance:
994     OS << " super (instance)";
995     break;
996 
997   case ObjCMessageExpr::SuperClass:
998     OS << " super (class)";
999     break;
1000   }
1001 }
1002 
1003 void TextNodeDumper::VisitObjCBoxedExpr(const ObjCBoxedExpr *Node) {
1004   if (auto *BoxingMethod = Node->getBoxingMethod()) {
1005     OS << " selector=";
1006     BoxingMethod->getSelector().print(OS);
1007   }
1008 }
1009 
1010 void TextNodeDumper::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node) {
1011   if (!Node->getCatchParamDecl())
1012     OS << " catch all";
1013 }
1014 
1015 void TextNodeDumper::VisitObjCEncodeExpr(const ObjCEncodeExpr *Node) {
1016   dumpType(Node->getEncodedType());
1017 }
1018 
1019 void TextNodeDumper::VisitObjCSelectorExpr(const ObjCSelectorExpr *Node) {
1020   OS << " ";
1021   Node->getSelector().print(OS);
1022 }
1023 
1024 void TextNodeDumper::VisitObjCProtocolExpr(const ObjCProtocolExpr *Node) {
1025   OS << ' ' << *Node->getProtocol();
1026 }
1027 
1028 void TextNodeDumper::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node) {
1029   if (Node->isImplicitProperty()) {
1030     OS << " Kind=MethodRef Getter=\"";
1031     if (Node->getImplicitPropertyGetter())
1032       Node->getImplicitPropertyGetter()->getSelector().print(OS);
1033     else
1034       OS << "(null)";
1035 
1036     OS << "\" Setter=\"";
1037     if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter())
1038       Setter->getSelector().print(OS);
1039     else
1040       OS << "(null)";
1041     OS << "\"";
1042   } else {
1043     OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty()
1044        << '"';
1045   }
1046 
1047   if (Node->isSuperReceiver())
1048     OS << " super";
1049 
1050   OS << " Messaging=";
1051   if (Node->isMessagingGetter() && Node->isMessagingSetter())
1052     OS << "Getter&Setter";
1053   else if (Node->isMessagingGetter())
1054     OS << "Getter";
1055   else if (Node->isMessagingSetter())
1056     OS << "Setter";
1057 }
1058 
1059 void TextNodeDumper::VisitObjCSubscriptRefExpr(
1060     const ObjCSubscriptRefExpr *Node) {
1061   if (Node->isArraySubscriptRefExpr())
1062     OS << " Kind=ArraySubscript GetterForArray=\"";
1063   else
1064     OS << " Kind=DictionarySubscript GetterForDictionary=\"";
1065   if (Node->getAtIndexMethodDecl())
1066     Node->getAtIndexMethodDecl()->getSelector().print(OS);
1067   else
1068     OS << "(null)";
1069 
1070   if (Node->isArraySubscriptRefExpr())
1071     OS << "\" SetterForArray=\"";
1072   else
1073     OS << "\" SetterForDictionary=\"";
1074   if (Node->setAtIndexMethodDecl())
1075     Node->setAtIndexMethodDecl()->getSelector().print(OS);
1076   else
1077     OS << "(null)";
1078 }
1079 
1080 void TextNodeDumper::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node) {
1081   OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no");
1082 }
1083 
1084 void TextNodeDumper::VisitOMPIteratorExpr(const OMPIteratorExpr *Node) {
1085   OS << " ";
1086   for (unsigned I = 0, E = Node->numOfIterators(); I < E; ++I) {
1087     Visit(Node->getIteratorDecl(I));
1088     OS << " = ";
1089     const OMPIteratorExpr::IteratorRange Range = Node->getIteratorRange(I);
1090     OS << " begin ";
1091     Visit(Range.Begin);
1092     OS << " end ";
1093     Visit(Range.End);
1094     if (Range.Step) {
1095       OS << " step ";
1096       Visit(Range.Step);
1097     }
1098   }
1099 }
1100 
1101 void TextNodeDumper::VisitRValueReferenceType(const ReferenceType *T) {
1102   if (T->isSpelledAsLValue())
1103     OS << " written as lvalue reference";
1104 }
1105 
1106 void TextNodeDumper::VisitArrayType(const ArrayType *T) {
1107   switch (T->getSizeModifier()) {
1108   case ArrayType::Normal:
1109     break;
1110   case ArrayType::Static:
1111     OS << " static";
1112     break;
1113   case ArrayType::Star:
1114     OS << " *";
1115     break;
1116   }
1117   OS << " " << T->getIndexTypeQualifiers().getAsString();
1118 }
1119 
1120 void TextNodeDumper::VisitConstantArrayType(const ConstantArrayType *T) {
1121   OS << " " << T->getSize();
1122   VisitArrayType(T);
1123 }
1124 
1125 void TextNodeDumper::VisitVariableArrayType(const VariableArrayType *T) {
1126   OS << " ";
1127   dumpSourceRange(T->getBracketsRange());
1128   VisitArrayType(T);
1129 }
1130 
1131 void TextNodeDumper::VisitDependentSizedArrayType(
1132     const DependentSizedArrayType *T) {
1133   VisitArrayType(T);
1134   OS << " ";
1135   dumpSourceRange(T->getBracketsRange());
1136 }
1137 
1138 void TextNodeDumper::VisitDependentSizedExtVectorType(
1139     const DependentSizedExtVectorType *T) {
1140   OS << " ";
1141   dumpLocation(T->getAttributeLoc());
1142 }
1143 
1144 void TextNodeDumper::VisitVectorType(const VectorType *T) {
1145   switch (T->getVectorKind()) {
1146   case VectorType::GenericVector:
1147     break;
1148   case VectorType::AltiVecVector:
1149     OS << " altivec";
1150     break;
1151   case VectorType::AltiVecPixel:
1152     OS << " altivec pixel";
1153     break;
1154   case VectorType::AltiVecBool:
1155     OS << " altivec bool";
1156     break;
1157   case VectorType::NeonVector:
1158     OS << " neon";
1159     break;
1160   case VectorType::NeonPolyVector:
1161     OS << " neon poly";
1162     break;
1163   }
1164   OS << " " << T->getNumElements();
1165 }
1166 
1167 void TextNodeDumper::VisitFunctionType(const FunctionType *T) {
1168   auto EI = T->getExtInfo();
1169   if (EI.getNoReturn())
1170     OS << " noreturn";
1171   if (EI.getProducesResult())
1172     OS << " produces_result";
1173   if (EI.getHasRegParm())
1174     OS << " regparm " << EI.getRegParm();
1175   OS << " " << FunctionType::getNameForCallConv(EI.getCC());
1176 }
1177 
1178 void TextNodeDumper::VisitFunctionProtoType(const FunctionProtoType *T) {
1179   auto EPI = T->getExtProtoInfo();
1180   if (EPI.HasTrailingReturn)
1181     OS << " trailing_return";
1182   if (T->isConst())
1183     OS << " const";
1184   if (T->isVolatile())
1185     OS << " volatile";
1186   if (T->isRestrict())
1187     OS << " restrict";
1188   if (T->getExtProtoInfo().Variadic)
1189     OS << " variadic";
1190   switch (EPI.RefQualifier) {
1191   case RQ_None:
1192     break;
1193   case RQ_LValue:
1194     OS << " &";
1195     break;
1196   case RQ_RValue:
1197     OS << " &&";
1198     break;
1199   }
1200   // FIXME: Exception specification.
1201   // FIXME: Consumed parameters.
1202   VisitFunctionType(T);
1203 }
1204 
1205 void TextNodeDumper::VisitUnresolvedUsingType(const UnresolvedUsingType *T) {
1206   dumpDeclRef(T->getDecl());
1207 }
1208 
1209 void TextNodeDumper::VisitTypedefType(const TypedefType *T) {
1210   dumpDeclRef(T->getDecl());
1211 }
1212 
1213 void TextNodeDumper::VisitUnaryTransformType(const UnaryTransformType *T) {
1214   switch (T->getUTTKind()) {
1215   case UnaryTransformType::EnumUnderlyingType:
1216     OS << " underlying_type";
1217     break;
1218   }
1219 }
1220 
1221 void TextNodeDumper::VisitTagType(const TagType *T) {
1222   dumpDeclRef(T->getDecl());
1223 }
1224 
1225 void TextNodeDumper::VisitTemplateTypeParmType(const TemplateTypeParmType *T) {
1226   OS << " depth " << T->getDepth() << " index " << T->getIndex();
1227   if (T->isParameterPack())
1228     OS << " pack";
1229   dumpDeclRef(T->getDecl());
1230 }
1231 
1232 void TextNodeDumper::VisitAutoType(const AutoType *T) {
1233   if (T->isDecltypeAuto())
1234     OS << " decltype(auto)";
1235   if (!T->isDeduced())
1236     OS << " undeduced";
1237   if (T->isConstrained()) {
1238     dumpDeclRef(T->getTypeConstraintConcept());
1239     for (const auto &Arg : T->getTypeConstraintArguments())
1240       VisitTemplateArgument(Arg);
1241   }
1242 }
1243 
1244 void TextNodeDumper::VisitTemplateSpecializationType(
1245     const TemplateSpecializationType *T) {
1246   if (T->isTypeAlias())
1247     OS << " alias";
1248   OS << " ";
1249   T->getTemplateName().dump(OS);
1250 }
1251 
1252 void TextNodeDumper::VisitInjectedClassNameType(
1253     const InjectedClassNameType *T) {
1254   dumpDeclRef(T->getDecl());
1255 }
1256 
1257 void TextNodeDumper::VisitObjCInterfaceType(const ObjCInterfaceType *T) {
1258   dumpDeclRef(T->getDecl());
1259 }
1260 
1261 void TextNodeDumper::VisitPackExpansionType(const PackExpansionType *T) {
1262   if (auto N = T->getNumExpansions())
1263     OS << " expansions " << *N;
1264 }
1265 
1266 void TextNodeDumper::VisitLabelDecl(const LabelDecl *D) { dumpName(D); }
1267 
1268 void TextNodeDumper::VisitTypedefDecl(const TypedefDecl *D) {
1269   dumpName(D);
1270   dumpType(D->getUnderlyingType());
1271   if (D->isModulePrivate())
1272     OS << " __module_private__";
1273 }
1274 
1275 void TextNodeDumper::VisitEnumDecl(const EnumDecl *D) {
1276   if (D->isScoped()) {
1277     if (D->isScopedUsingClassTag())
1278       OS << " class";
1279     else
1280       OS << " struct";
1281   }
1282   dumpName(D);
1283   if (D->isModulePrivate())
1284     OS << " __module_private__";
1285   if (D->isFixed())
1286     dumpType(D->getIntegerType());
1287 }
1288 
1289 void TextNodeDumper::VisitRecordDecl(const RecordDecl *D) {
1290   OS << ' ' << D->getKindName();
1291   dumpName(D);
1292   if (D->isModulePrivate())
1293     OS << " __module_private__";
1294   if (D->isCompleteDefinition())
1295     OS << " definition";
1296 }
1297 
1298 void TextNodeDumper::VisitEnumConstantDecl(const EnumConstantDecl *D) {
1299   dumpName(D);
1300   dumpType(D->getType());
1301 }
1302 
1303 void TextNodeDumper::VisitIndirectFieldDecl(const IndirectFieldDecl *D) {
1304   dumpName(D);
1305   dumpType(D->getType());
1306 
1307   for (const auto *Child : D->chain())
1308     dumpDeclRef(Child);
1309 }
1310 
1311 void TextNodeDumper::VisitFunctionDecl(const FunctionDecl *D) {
1312   dumpName(D);
1313   dumpType(D->getType());
1314 
1315   StorageClass SC = D->getStorageClass();
1316   if (SC != SC_None)
1317     OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
1318   if (D->isInlineSpecified())
1319     OS << " inline";
1320   if (D->isVirtualAsWritten())
1321     OS << " virtual";
1322   if (D->isModulePrivate())
1323     OS << " __module_private__";
1324 
1325   if (D->isPure())
1326     OS << " pure";
1327   if (D->isDefaulted()) {
1328     OS << " default";
1329     if (D->isDeleted())
1330       OS << "_delete";
1331   }
1332   if (D->isDeletedAsWritten())
1333     OS << " delete";
1334   if (D->isTrivial())
1335     OS << " trivial";
1336 
1337   if (const auto *FPT = D->getType()->getAs<FunctionProtoType>()) {
1338     FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo();
1339     switch (EPI.ExceptionSpec.Type) {
1340     default:
1341       break;
1342     case EST_Unevaluated:
1343       OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl;
1344       break;
1345     case EST_Uninstantiated:
1346       OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate;
1347       break;
1348     }
1349   }
1350 
1351   if (const auto *MD = dyn_cast<CXXMethodDecl>(D)) {
1352     if (MD->size_overridden_methods() != 0) {
1353       auto dumpOverride = [=](const CXXMethodDecl *D) {
1354         SplitQualType T_split = D->getType().split();
1355         OS << D << " " << D->getParent()->getName()
1356            << "::" << D->getNameAsString() << " '"
1357            << QualType::getAsString(T_split, PrintPolicy) << "'";
1358       };
1359 
1360       AddChild([=] {
1361         auto Overrides = MD->overridden_methods();
1362         OS << "Overrides: [ ";
1363         dumpOverride(*Overrides.begin());
1364         for (const auto *Override :
1365              llvm::make_range(Overrides.begin() + 1, Overrides.end())) {
1366           OS << ", ";
1367           dumpOverride(Override);
1368         }
1369         OS << " ]";
1370       });
1371     }
1372   }
1373 
1374   // Since NumParams comes from the FunctionProtoType of the FunctionDecl and
1375   // the Params are set later, it is possible for a dump during debugging to
1376   // encounter a FunctionDecl that has been created but hasn't been assigned
1377   // ParmVarDecls yet.
1378   if (!D->param_empty() && !D->param_begin())
1379     OS << " <<<NULL params x " << D->getNumParams() << ">>>";
1380 }
1381 
1382 void TextNodeDumper::VisitLifetimeExtendedTemporaryDecl(
1383     const LifetimeExtendedTemporaryDecl *D) {
1384   OS << " extended by ";
1385   dumpBareDeclRef(D->getExtendingDecl());
1386   OS << " mangling ";
1387   {
1388     ColorScope Color(OS, ShowColors, ValueColor);
1389     OS << D->getManglingNumber();
1390   }
1391 }
1392 
1393 void TextNodeDumper::VisitFieldDecl(const FieldDecl *D) {
1394   dumpName(D);
1395   dumpType(D->getType());
1396   if (D->isMutable())
1397     OS << " mutable";
1398   if (D->isModulePrivate())
1399     OS << " __module_private__";
1400 }
1401 
1402 void TextNodeDumper::VisitVarDecl(const VarDecl *D) {
1403   dumpName(D);
1404   dumpType(D->getType());
1405   StorageClass SC = D->getStorageClass();
1406   if (SC != SC_None)
1407     OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
1408   switch (D->getTLSKind()) {
1409   case VarDecl::TLS_None:
1410     break;
1411   case VarDecl::TLS_Static:
1412     OS << " tls";
1413     break;
1414   case VarDecl::TLS_Dynamic:
1415     OS << " tls_dynamic";
1416     break;
1417   }
1418   if (D->isModulePrivate())
1419     OS << " __module_private__";
1420   if (D->isNRVOVariable())
1421     OS << " nrvo";
1422   if (D->isInline())
1423     OS << " inline";
1424   if (D->isConstexpr())
1425     OS << " constexpr";
1426   if (D->hasInit()) {
1427     switch (D->getInitStyle()) {
1428     case VarDecl::CInit:
1429       OS << " cinit";
1430       break;
1431     case VarDecl::CallInit:
1432       OS << " callinit";
1433       break;
1434     case VarDecl::ListInit:
1435       OS << " listinit";
1436       break;
1437     }
1438   }
1439   if (D->needsDestruction(D->getASTContext()))
1440     OS << " destroyed";
1441   if (D->isParameterPack())
1442     OS << " pack";
1443 }
1444 
1445 void TextNodeDumper::VisitBindingDecl(const BindingDecl *D) {
1446   dumpName(D);
1447   dumpType(D->getType());
1448 }
1449 
1450 void TextNodeDumper::VisitCapturedDecl(const CapturedDecl *D) {
1451   if (D->isNothrow())
1452     OS << " nothrow";
1453 }
1454 
1455 void TextNodeDumper::VisitImportDecl(const ImportDecl *D) {
1456   OS << ' ' << D->getImportedModule()->getFullModuleName();
1457 
1458   for (Decl *InitD :
1459        D->getASTContext().getModuleInitializers(D->getImportedModule()))
1460     dumpDeclRef(InitD, "initializer");
1461 }
1462 
1463 void TextNodeDumper::VisitPragmaCommentDecl(const PragmaCommentDecl *D) {
1464   OS << ' ';
1465   switch (D->getCommentKind()) {
1466   case PCK_Unknown:
1467     llvm_unreachable("unexpected pragma comment kind");
1468   case PCK_Compiler:
1469     OS << "compiler";
1470     break;
1471   case PCK_ExeStr:
1472     OS << "exestr";
1473     break;
1474   case PCK_Lib:
1475     OS << "lib";
1476     break;
1477   case PCK_Linker:
1478     OS << "linker";
1479     break;
1480   case PCK_User:
1481     OS << "user";
1482     break;
1483   }
1484   StringRef Arg = D->getArg();
1485   if (!Arg.empty())
1486     OS << " \"" << Arg << "\"";
1487 }
1488 
1489 void TextNodeDumper::VisitPragmaDetectMismatchDecl(
1490     const PragmaDetectMismatchDecl *D) {
1491   OS << " \"" << D->getName() << "\" \"" << D->getValue() << "\"";
1492 }
1493 
1494 void TextNodeDumper::VisitOMPExecutableDirective(
1495     const OMPExecutableDirective *D) {
1496   if (D->isStandaloneDirective())
1497     OS << " openmp_standalone_directive";
1498 }
1499 
1500 void TextNodeDumper::VisitOMPDeclareReductionDecl(
1501     const OMPDeclareReductionDecl *D) {
1502   dumpName(D);
1503   dumpType(D->getType());
1504   OS << " combiner";
1505   dumpPointer(D->getCombiner());
1506   if (const auto *Initializer = D->getInitializer()) {
1507     OS << " initializer";
1508     dumpPointer(Initializer);
1509     switch (D->getInitializerKind()) {
1510     case OMPDeclareReductionDecl::DirectInit:
1511       OS << " omp_priv = ";
1512       break;
1513     case OMPDeclareReductionDecl::CopyInit:
1514       OS << " omp_priv ()";
1515       break;
1516     case OMPDeclareReductionDecl::CallInit:
1517       break;
1518     }
1519   }
1520 }
1521 
1522 void TextNodeDumper::VisitOMPRequiresDecl(const OMPRequiresDecl *D) {
1523   for (const auto *C : D->clauselists()) {
1524     AddChild([=] {
1525       if (!C) {
1526         ColorScope Color(OS, ShowColors, NullColor);
1527         OS << "<<<NULL>>> OMPClause";
1528         return;
1529       }
1530       {
1531         ColorScope Color(OS, ShowColors, AttrColor);
1532         StringRef ClauseName(
1533             llvm::omp::getOpenMPClauseName(C->getClauseKind()));
1534         OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper()
1535            << ClauseName.drop_front() << "Clause";
1536       }
1537       dumpPointer(C);
1538       dumpSourceRange(SourceRange(C->getBeginLoc(), C->getEndLoc()));
1539     });
1540   }
1541 }
1542 
1543 void TextNodeDumper::VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D) {
1544   dumpName(D);
1545   dumpType(D->getType());
1546 }
1547 
1548 void TextNodeDumper::VisitNamespaceDecl(const NamespaceDecl *D) {
1549   dumpName(D);
1550   if (D->isInline())
1551     OS << " inline";
1552   if (!D->isOriginalNamespace())
1553     dumpDeclRef(D->getOriginalNamespace(), "original");
1554 }
1555 
1556 void TextNodeDumper::VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) {
1557   OS << ' ';
1558   dumpBareDeclRef(D->getNominatedNamespace());
1559 }
1560 
1561 void TextNodeDumper::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) {
1562   dumpName(D);
1563   dumpDeclRef(D->getAliasedNamespace());
1564 }
1565 
1566 void TextNodeDumper::VisitTypeAliasDecl(const TypeAliasDecl *D) {
1567   dumpName(D);
1568   dumpType(D->getUnderlyingType());
1569 }
1570 
1571 void TextNodeDumper::VisitTypeAliasTemplateDecl(
1572     const TypeAliasTemplateDecl *D) {
1573   dumpName(D);
1574 }
1575 
1576 void TextNodeDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) {
1577   VisitRecordDecl(D);
1578   if (!D->isCompleteDefinition())
1579     return;
1580 
1581   AddChild([=] {
1582     {
1583       ColorScope Color(OS, ShowColors, DeclKindNameColor);
1584       OS << "DefinitionData";
1585     }
1586 #define FLAG(fn, name)                                                         \
1587   if (D->fn())                                                                 \
1588     OS << " " #name;
1589     FLAG(isParsingBaseSpecifiers, parsing_base_specifiers);
1590 
1591     FLAG(isGenericLambda, generic);
1592     FLAG(isLambda, lambda);
1593 
1594     FLAG(isAnonymousStructOrUnion, is_anonymous);
1595     FLAG(canPassInRegisters, pass_in_registers);
1596     FLAG(isEmpty, empty);
1597     FLAG(isAggregate, aggregate);
1598     FLAG(isStandardLayout, standard_layout);
1599     FLAG(isTriviallyCopyable, trivially_copyable);
1600     FLAG(isPOD, pod);
1601     FLAG(isTrivial, trivial);
1602     FLAG(isPolymorphic, polymorphic);
1603     FLAG(isAbstract, abstract);
1604     FLAG(isLiteral, literal);
1605 
1606     FLAG(hasUserDeclaredConstructor, has_user_declared_ctor);
1607     FLAG(hasConstexprNonCopyMoveConstructor, has_constexpr_non_copy_move_ctor);
1608     FLAG(hasMutableFields, has_mutable_fields);
1609     FLAG(hasVariantMembers, has_variant_members);
1610     FLAG(allowConstDefaultInit, can_const_default_init);
1611 
1612     AddChild([=] {
1613       {
1614         ColorScope Color(OS, ShowColors, DeclKindNameColor);
1615         OS << "DefaultConstructor";
1616       }
1617       FLAG(hasDefaultConstructor, exists);
1618       FLAG(hasTrivialDefaultConstructor, trivial);
1619       FLAG(hasNonTrivialDefaultConstructor, non_trivial);
1620       FLAG(hasUserProvidedDefaultConstructor, user_provided);
1621       FLAG(hasConstexprDefaultConstructor, constexpr);
1622       FLAG(needsImplicitDefaultConstructor, needs_implicit);
1623       FLAG(defaultedDefaultConstructorIsConstexpr, defaulted_is_constexpr);
1624     });
1625 
1626     AddChild([=] {
1627       {
1628         ColorScope Color(OS, ShowColors, DeclKindNameColor);
1629         OS << "CopyConstructor";
1630       }
1631       FLAG(hasSimpleCopyConstructor, simple);
1632       FLAG(hasTrivialCopyConstructor, trivial);
1633       FLAG(hasNonTrivialCopyConstructor, non_trivial);
1634       FLAG(hasUserDeclaredCopyConstructor, user_declared);
1635       FLAG(hasCopyConstructorWithConstParam, has_const_param);
1636       FLAG(needsImplicitCopyConstructor, needs_implicit);
1637       FLAG(needsOverloadResolutionForCopyConstructor,
1638            needs_overload_resolution);
1639       if (!D->needsOverloadResolutionForCopyConstructor())
1640         FLAG(defaultedCopyConstructorIsDeleted, defaulted_is_deleted);
1641       FLAG(implicitCopyConstructorHasConstParam, implicit_has_const_param);
1642     });
1643 
1644     AddChild([=] {
1645       {
1646         ColorScope Color(OS, ShowColors, DeclKindNameColor);
1647         OS << "MoveConstructor";
1648       }
1649       FLAG(hasMoveConstructor, exists);
1650       FLAG(hasSimpleMoveConstructor, simple);
1651       FLAG(hasTrivialMoveConstructor, trivial);
1652       FLAG(hasNonTrivialMoveConstructor, non_trivial);
1653       FLAG(hasUserDeclaredMoveConstructor, user_declared);
1654       FLAG(needsImplicitMoveConstructor, needs_implicit);
1655       FLAG(needsOverloadResolutionForMoveConstructor,
1656            needs_overload_resolution);
1657       if (!D->needsOverloadResolutionForMoveConstructor())
1658         FLAG(defaultedMoveConstructorIsDeleted, defaulted_is_deleted);
1659     });
1660 
1661     AddChild([=] {
1662       {
1663         ColorScope Color(OS, ShowColors, DeclKindNameColor);
1664         OS << "CopyAssignment";
1665       }
1666       FLAG(hasTrivialCopyAssignment, trivial);
1667       FLAG(hasNonTrivialCopyAssignment, non_trivial);
1668       FLAG(hasCopyAssignmentWithConstParam, has_const_param);
1669       FLAG(hasUserDeclaredCopyAssignment, user_declared);
1670       FLAG(needsImplicitCopyAssignment, needs_implicit);
1671       FLAG(needsOverloadResolutionForCopyAssignment, needs_overload_resolution);
1672       FLAG(implicitCopyAssignmentHasConstParam, implicit_has_const_param);
1673     });
1674 
1675     AddChild([=] {
1676       {
1677         ColorScope Color(OS, ShowColors, DeclKindNameColor);
1678         OS << "MoveAssignment";
1679       }
1680       FLAG(hasMoveAssignment, exists);
1681       FLAG(hasSimpleMoveAssignment, simple);
1682       FLAG(hasTrivialMoveAssignment, trivial);
1683       FLAG(hasNonTrivialMoveAssignment, non_trivial);
1684       FLAG(hasUserDeclaredMoveAssignment, user_declared);
1685       FLAG(needsImplicitMoveAssignment, needs_implicit);
1686       FLAG(needsOverloadResolutionForMoveAssignment, needs_overload_resolution);
1687     });
1688 
1689     AddChild([=] {
1690       {
1691         ColorScope Color(OS, ShowColors, DeclKindNameColor);
1692         OS << "Destructor";
1693       }
1694       FLAG(hasSimpleDestructor, simple);
1695       FLAG(hasIrrelevantDestructor, irrelevant);
1696       FLAG(hasTrivialDestructor, trivial);
1697       FLAG(hasNonTrivialDestructor, non_trivial);
1698       FLAG(hasUserDeclaredDestructor, user_declared);
1699       FLAG(hasConstexprDestructor, constexpr);
1700       FLAG(needsImplicitDestructor, needs_implicit);
1701       FLAG(needsOverloadResolutionForDestructor, needs_overload_resolution);
1702       if (!D->needsOverloadResolutionForDestructor())
1703         FLAG(defaultedDestructorIsDeleted, defaulted_is_deleted);
1704     });
1705   });
1706 
1707   for (const auto &I : D->bases()) {
1708     AddChild([=] {
1709       if (I.isVirtual())
1710         OS << "virtual ";
1711       dumpAccessSpecifier(I.getAccessSpecifier());
1712       dumpType(I.getType());
1713       if (I.isPackExpansion())
1714         OS << "...";
1715     });
1716   }
1717 }
1718 
1719 void TextNodeDumper::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) {
1720   dumpName(D);
1721 }
1722 
1723 void TextNodeDumper::VisitClassTemplateDecl(const ClassTemplateDecl *D) {
1724   dumpName(D);
1725 }
1726 
1727 void TextNodeDumper::VisitVarTemplateDecl(const VarTemplateDecl *D) {
1728   dumpName(D);
1729 }
1730 
1731 void TextNodeDumper::VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D) {
1732   dumpName(D);
1733 }
1734 
1735 void TextNodeDumper::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) {
1736   if (const auto *TC = D->getTypeConstraint()) {
1737     OS << " ";
1738     dumpBareDeclRef(TC->getNamedConcept());
1739     if (TC->getNamedConcept() != TC->getFoundDecl()) {
1740       OS << " (";
1741       dumpBareDeclRef(TC->getFoundDecl());
1742       OS << ")";
1743     }
1744     Visit(TC->getImmediatelyDeclaredConstraint());
1745   } else if (D->wasDeclaredWithTypename())
1746     OS << " typename";
1747   else
1748     OS << " class";
1749   OS << " depth " << D->getDepth() << " index " << D->getIndex();
1750   if (D->isParameterPack())
1751     OS << " ...";
1752   dumpName(D);
1753 }
1754 
1755 void TextNodeDumper::VisitNonTypeTemplateParmDecl(
1756     const NonTypeTemplateParmDecl *D) {
1757   dumpType(D->getType());
1758   OS << " depth " << D->getDepth() << " index " << D->getIndex();
1759   if (D->isParameterPack())
1760     OS << " ...";
1761   dumpName(D);
1762 }
1763 
1764 void TextNodeDumper::VisitTemplateTemplateParmDecl(
1765     const TemplateTemplateParmDecl *D) {
1766   OS << " depth " << D->getDepth() << " index " << D->getIndex();
1767   if (D->isParameterPack())
1768     OS << " ...";
1769   dumpName(D);
1770 }
1771 
1772 void TextNodeDumper::VisitUsingDecl(const UsingDecl *D) {
1773   OS << ' ';
1774   if (D->getQualifier())
1775     D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1776   OS << D->getNameAsString();
1777 }
1778 
1779 void TextNodeDumper::VisitUnresolvedUsingTypenameDecl(
1780     const UnresolvedUsingTypenameDecl *D) {
1781   OS << ' ';
1782   if (D->getQualifier())
1783     D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1784   OS << D->getNameAsString();
1785 }
1786 
1787 void TextNodeDumper::VisitUnresolvedUsingValueDecl(
1788     const UnresolvedUsingValueDecl *D) {
1789   OS << ' ';
1790   if (D->getQualifier())
1791     D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1792   OS << D->getNameAsString();
1793   dumpType(D->getType());
1794 }
1795 
1796 void TextNodeDumper::VisitUsingShadowDecl(const UsingShadowDecl *D) {
1797   OS << ' ';
1798   dumpBareDeclRef(D->getTargetDecl());
1799 }
1800 
1801 void TextNodeDumper::VisitConstructorUsingShadowDecl(
1802     const ConstructorUsingShadowDecl *D) {
1803   if (D->constructsVirtualBase())
1804     OS << " virtual";
1805 
1806   AddChild([=] {
1807     OS << "target ";
1808     dumpBareDeclRef(D->getTargetDecl());
1809   });
1810 
1811   AddChild([=] {
1812     OS << "nominated ";
1813     dumpBareDeclRef(D->getNominatedBaseClass());
1814     OS << ' ';
1815     dumpBareDeclRef(D->getNominatedBaseClassShadowDecl());
1816   });
1817 
1818   AddChild([=] {
1819     OS << "constructed ";
1820     dumpBareDeclRef(D->getConstructedBaseClass());
1821     OS << ' ';
1822     dumpBareDeclRef(D->getConstructedBaseClassShadowDecl());
1823   });
1824 }
1825 
1826 void TextNodeDumper::VisitLinkageSpecDecl(const LinkageSpecDecl *D) {
1827   switch (D->getLanguage()) {
1828   case LinkageSpecDecl::lang_c:
1829     OS << " C";
1830     break;
1831   case LinkageSpecDecl::lang_cxx:
1832     OS << " C++";
1833     break;
1834   }
1835 }
1836 
1837 void TextNodeDumper::VisitAccessSpecDecl(const AccessSpecDecl *D) {
1838   OS << ' ';
1839   dumpAccessSpecifier(D->getAccess());
1840 }
1841 
1842 void TextNodeDumper::VisitFriendDecl(const FriendDecl *D) {
1843   if (TypeSourceInfo *T = D->getFriendType())
1844     dumpType(T->getType());
1845 }
1846 
1847 void TextNodeDumper::VisitObjCIvarDecl(const ObjCIvarDecl *D) {
1848   dumpName(D);
1849   dumpType(D->getType());
1850   if (D->getSynthesize())
1851     OS << " synthesize";
1852 
1853   switch (D->getAccessControl()) {
1854   case ObjCIvarDecl::None:
1855     OS << " none";
1856     break;
1857   case ObjCIvarDecl::Private:
1858     OS << " private";
1859     break;
1860   case ObjCIvarDecl::Protected:
1861     OS << " protected";
1862     break;
1863   case ObjCIvarDecl::Public:
1864     OS << " public";
1865     break;
1866   case ObjCIvarDecl::Package:
1867     OS << " package";
1868     break;
1869   }
1870 }
1871 
1872 void TextNodeDumper::VisitObjCMethodDecl(const ObjCMethodDecl *D) {
1873   if (D->isInstanceMethod())
1874     OS << " -";
1875   else
1876     OS << " +";
1877   dumpName(D);
1878   dumpType(D->getReturnType());
1879 
1880   if (D->isVariadic())
1881     OS << " variadic";
1882 }
1883 
1884 void TextNodeDumper::VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D) {
1885   dumpName(D);
1886   switch (D->getVariance()) {
1887   case ObjCTypeParamVariance::Invariant:
1888     break;
1889 
1890   case ObjCTypeParamVariance::Covariant:
1891     OS << " covariant";
1892     break;
1893 
1894   case ObjCTypeParamVariance::Contravariant:
1895     OS << " contravariant";
1896     break;
1897   }
1898 
1899   if (D->hasExplicitBound())
1900     OS << " bounded";
1901   dumpType(D->getUnderlyingType());
1902 }
1903 
1904 void TextNodeDumper::VisitObjCCategoryDecl(const ObjCCategoryDecl *D) {
1905   dumpName(D);
1906   dumpDeclRef(D->getClassInterface());
1907   dumpDeclRef(D->getImplementation());
1908   for (const auto *P : D->protocols())
1909     dumpDeclRef(P);
1910 }
1911 
1912 void TextNodeDumper::VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D) {
1913   dumpName(D);
1914   dumpDeclRef(D->getClassInterface());
1915   dumpDeclRef(D->getCategoryDecl());
1916 }
1917 
1918 void TextNodeDumper::VisitObjCProtocolDecl(const ObjCProtocolDecl *D) {
1919   dumpName(D);
1920 
1921   for (const auto *Child : D->protocols())
1922     dumpDeclRef(Child);
1923 }
1924 
1925 void TextNodeDumper::VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D) {
1926   dumpName(D);
1927   dumpDeclRef(D->getSuperClass(), "super");
1928 
1929   dumpDeclRef(D->getImplementation());
1930   for (const auto *Child : D->protocols())
1931     dumpDeclRef(Child);
1932 }
1933 
1934 void TextNodeDumper::VisitObjCImplementationDecl(
1935     const ObjCImplementationDecl *D) {
1936   dumpName(D);
1937   dumpDeclRef(D->getSuperClass(), "super");
1938   dumpDeclRef(D->getClassInterface());
1939 }
1940 
1941 void TextNodeDumper::VisitObjCCompatibleAliasDecl(
1942     const ObjCCompatibleAliasDecl *D) {
1943   dumpName(D);
1944   dumpDeclRef(D->getClassInterface());
1945 }
1946 
1947 void TextNodeDumper::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) {
1948   dumpName(D);
1949   dumpType(D->getType());
1950 
1951   if (D->getPropertyImplementation() == ObjCPropertyDecl::Required)
1952     OS << " required";
1953   else if (D->getPropertyImplementation() == ObjCPropertyDecl::Optional)
1954     OS << " optional";
1955 
1956   ObjCPropertyAttribute::Kind Attrs = D->getPropertyAttributes();
1957   if (Attrs != ObjCPropertyAttribute::kind_noattr) {
1958     if (Attrs & ObjCPropertyAttribute::kind_readonly)
1959       OS << " readonly";
1960     if (Attrs & ObjCPropertyAttribute::kind_assign)
1961       OS << " assign";
1962     if (Attrs & ObjCPropertyAttribute::kind_readwrite)
1963       OS << " readwrite";
1964     if (Attrs & ObjCPropertyAttribute::kind_retain)
1965       OS << " retain";
1966     if (Attrs & ObjCPropertyAttribute::kind_copy)
1967       OS << " copy";
1968     if (Attrs & ObjCPropertyAttribute::kind_nonatomic)
1969       OS << " nonatomic";
1970     if (Attrs & ObjCPropertyAttribute::kind_atomic)
1971       OS << " atomic";
1972     if (Attrs & ObjCPropertyAttribute::kind_weak)
1973       OS << " weak";
1974     if (Attrs & ObjCPropertyAttribute::kind_strong)
1975       OS << " strong";
1976     if (Attrs & ObjCPropertyAttribute::kind_unsafe_unretained)
1977       OS << " unsafe_unretained";
1978     if (Attrs & ObjCPropertyAttribute::kind_class)
1979       OS << " class";
1980     if (Attrs & ObjCPropertyAttribute::kind_direct)
1981       OS << " direct";
1982     if (Attrs & ObjCPropertyAttribute::kind_getter)
1983       dumpDeclRef(D->getGetterMethodDecl(), "getter");
1984     if (Attrs & ObjCPropertyAttribute::kind_setter)
1985       dumpDeclRef(D->getSetterMethodDecl(), "setter");
1986   }
1987 }
1988 
1989 void TextNodeDumper::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) {
1990   dumpName(D->getPropertyDecl());
1991   if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize)
1992     OS << " synthesize";
1993   else
1994     OS << " dynamic";
1995   dumpDeclRef(D->getPropertyDecl());
1996   dumpDeclRef(D->getPropertyIvarDecl());
1997 }
1998 
1999 void TextNodeDumper::VisitBlockDecl(const BlockDecl *D) {
2000   if (D->isVariadic())
2001     OS << " variadic";
2002 
2003   if (D->capturesCXXThis())
2004     OS << " captures_this";
2005 }
2006 
2007 void TextNodeDumper::VisitConceptDecl(const ConceptDecl *D) {
2008   dumpName(D);
2009 }
2010