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