blob: 711c3292760b7ba65c6f9de3125297845f91c3a2 [file] [log] [blame]
Alexander Kornienko18ec81b2012-12-13 13:59:55 +00001//===--- ASTDumper.cpp - Dumping implementation for ASTs ------------------===//
Chris Lattnercbe4f772007-08-08 22:51:59 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5b12ab82007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattnercbe4f772007-08-08 22:51:59 +00007//
8//===----------------------------------------------------------------------===//
9//
Alexander Kornienko18ec81b2012-12-13 13:59:55 +000010// This file implements the AST dump methods, which dump out the
Chris Lattnercbe4f772007-08-08 22:51:59 +000011// AST in a form that exposes type details and other fields.
12//
13//===----------------------------------------------------------------------===//
14
Chandler Carruth3a022472012-12-04 09:13:33 +000015#include "clang/AST/ASTContext.h"
Alexander Kornienko5bc364e2013-01-07 17:53:08 +000016#include "clang/AST/Attr.h"
Alexander Kornienkoebc17b52013-01-14 14:07:11 +000017#include "clang/AST/CommentVisitor.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000018#include "clang/AST/DeclCXX.h"
Richard Smith33937e72013-06-22 21:49:40 +000019#include "clang/AST/DeclLookups.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000020#include "clang/AST/DeclObjC.h"
Alexander Kornienko90ff6072012-12-20 02:09:13 +000021#include "clang/AST/DeclVisitor.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000022#include "clang/AST/StmtVisitor.h"
Richard Smithd5e7ff82014-10-31 01:17:45 +000023#include "clang/AST/TypeVisitor.h"
Alexander Kornienko90ff6072012-12-20 02:09:13 +000024#include "clang/Basic/Module.h"
Chris Lattner11e30d32007-08-30 06:17:34 +000025#include "clang/Basic/SourceManager.h"
Daniel Dunbar34a96c82009-12-03 09:13:13 +000026#include "llvm/Support/raw_ostream.h"
Chris Lattnercbe4f772007-08-08 22:51:59 +000027using namespace clang;
Alexander Kornienkoebc17b52013-01-14 14:07:11 +000028using namespace clang::comments;
Chris Lattnercbe4f772007-08-08 22:51:59 +000029
30//===----------------------------------------------------------------------===//
Alexander Kornienko18ec81b2012-12-13 13:59:55 +000031// ASTDumper Visitor
Chris Lattnercbe4f772007-08-08 22:51:59 +000032//===----------------------------------------------------------------------===//
33
34namespace {
Richard Trieud215b8d2013-01-26 01:31:20 +000035 // Colors used for various parts of the AST dump
Richard Trieu532018f2014-03-06 01:09:03 +000036 // Do not use bold yellow for any text. It is hard to read on white screens.
Richard Trieud215b8d2013-01-26 01:31:20 +000037
38 struct TerminalColor {
39 raw_ostream::Colors Color;
40 bool Bold;
41 };
42
Richard Trieu532018f2014-03-06 01:09:03 +000043 // Red - CastColor
44 // Green - TypeColor
45 // Bold Green - DeclKindNameColor, UndeserializedColor
46 // Yellow - AddressColor, LocationColor
47 // Blue - CommentColor, NullColor, IndentColor
48 // Bold Blue - AttrColor
49 // Bold Magenta - StmtColor
50 // Cyan - ValueKindColor, ObjectKindColor
51 // Bold Cyan - ValueColor, DeclNameColor
52
Richard Trieud215b8d2013-01-26 01:31:20 +000053 // Decl kind names (VarDecl, FunctionDecl, etc)
54 static const TerminalColor DeclKindNameColor = { raw_ostream::GREEN, true };
55 // Attr names (CleanupAttr, GuardedByAttr, etc)
56 static const TerminalColor AttrColor = { raw_ostream::BLUE, true };
57 // Statement names (DeclStmt, ImplicitCastExpr, etc)
58 static const TerminalColor StmtColor = { raw_ostream::MAGENTA, true };
59 // Comment names (FullComment, ParagraphComment, TextComment, etc)
Richard Trieu532018f2014-03-06 01:09:03 +000060 static const TerminalColor CommentColor = { raw_ostream::BLUE, false };
Richard Trieud215b8d2013-01-26 01:31:20 +000061
62 // Type names (int, float, etc, plus user defined types)
63 static const TerminalColor TypeColor = { raw_ostream::GREEN, false };
64
65 // Pointer address
66 static const TerminalColor AddressColor = { raw_ostream::YELLOW, false };
67 // Source locations
68 static const TerminalColor LocationColor = { raw_ostream::YELLOW, false };
69
70 // lvalue/xvalue
71 static const TerminalColor ValueKindColor = { raw_ostream::CYAN, false };
72 // bitfield/objcproperty/objcsubscript/vectorcomponent
73 static const TerminalColor ObjectKindColor = { raw_ostream::CYAN, false };
74
75 // Null statements
76 static const TerminalColor NullColor = { raw_ostream::BLUE, false };
77
Richard Smith1d209d02013-05-23 01:49:11 +000078 // Undeserialized entities
79 static const TerminalColor UndeserializedColor = { raw_ostream::GREEN, true };
80
Richard Trieud215b8d2013-01-26 01:31:20 +000081 // CastKind from CastExpr's
82 static const TerminalColor CastColor = { raw_ostream::RED, false };
83
84 // Value of the statement
85 static const TerminalColor ValueColor = { raw_ostream::CYAN, true };
86 // Decl names
87 static const TerminalColor DeclNameColor = { raw_ostream::CYAN, true };
88
Richard Trieude5cc7d2013-01-31 01:44:26 +000089 // Indents ( `, -. | )
90 static const TerminalColor IndentColor = { raw_ostream::BLUE, false };
91
Alexander Kornienko90ff6072012-12-20 02:09:13 +000092 class ASTDumper
Alexander Kornienko540bacb2013-02-01 12:35:51 +000093 : public ConstDeclVisitor<ASTDumper>, public ConstStmtVisitor<ASTDumper>,
Richard Smithd5e7ff82014-10-31 01:17:45 +000094 public ConstCommentVisitor<ASTDumper>, public TypeVisitor<ASTDumper> {
Chris Lattner0e62c1c2011-07-23 10:55:15 +000095 raw_ostream &OS;
Alexander Kornienkoebc17b52013-01-14 14:07:11 +000096 const CommandTraits *Traits;
97 const SourceManager *SM;
Mike Stump11289f42009-09-09 15:08:12 +000098
Richard Smithf7514452014-10-30 21:02:37 +000099 /// Pending[i] is an action to dump an entity at level i.
100 llvm::SmallVector<std::function<void(bool isLastChild)>, 32> Pending;
Richard Trieude5cc7d2013-01-31 01:44:26 +0000101
Richard Smithf7514452014-10-30 21:02:37 +0000102 /// Indicates whether we're at the top level.
103 bool TopLevel;
Richard Trieude5cc7d2013-01-31 01:44:26 +0000104
Richard Smithf7514452014-10-30 21:02:37 +0000105 /// Indicates if we're handling the first child after entering a new depth.
106 bool FirstChild;
107
108 /// Prefix for currently-being-dumped entity.
109 std::string Prefix;
Richard Trieude5cc7d2013-01-31 01:44:26 +0000110
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000111 /// Keep track of the last location we print out so that we can
112 /// print out deltas from then on out.
Chris Lattner11e30d32007-08-30 06:17:34 +0000113 const char *LastLocFilename;
114 unsigned LastLocLine;
Douglas Gregor7de59662009-05-29 20:38:28 +0000115
Alexander Kornienkoebc17b52013-01-14 14:07:11 +0000116 /// The \c FullComment parent of the comment being dumped.
117 const FullComment *FC;
118
Richard Trieud215b8d2013-01-26 01:31:20 +0000119 bool ShowColors;
120
Richard Smithf7514452014-10-30 21:02:37 +0000121 /// Dump a child of the current node.
122 template<typename Fn> void dumpChild(Fn doDumpChild) {
123 // If we're at the top level, there's nothing interesting to do; just
124 // run the dumper.
125 if (TopLevel) {
126 TopLevel = false;
127 doDumpChild();
128 while (!Pending.empty()) {
129 Pending.back()(true);
130 Pending.pop_back();
131 }
132 Prefix.clear();
133 OS << "\n";
134 TopLevel = true;
135 return;
Manuel Klimek874030e2012-11-07 00:33:12 +0000136 }
Richard Smithf7514452014-10-30 21:02:37 +0000137
138 const FullComment *OrigFC = FC;
139 auto dumpWithIndent = [this, doDumpChild, OrigFC](bool isLastChild) {
140 // Print out the appropriate tree structure and work out the prefix for
141 // children of this node. For instance:
142 //
143 // A Prefix = ""
144 // |-B Prefix = "| "
145 // | `-C Prefix = "| "
146 // `-D Prefix = " "
147 // |-E Prefix = " | "
148 // `-F Prefix = " "
149 // G Prefix = ""
150 //
151 // Note that the first level gets no prefix.
152 {
153 OS << '\n';
154 ColorScope Color(*this, IndentColor);
155 OS << Prefix << (isLastChild ? '`' : '|') << '-';
NAKAMURA Takumic73e4022014-10-31 00:30:37 +0000156 this->Prefix.push_back(isLastChild ? ' ' : '|');
157 this->Prefix.push_back(' ');
Richard Smithf7514452014-10-30 21:02:37 +0000158 }
159
160 FirstChild = true;
161 unsigned Depth = Pending.size();
162
163 FC = OrigFC;
164 doDumpChild();
165
166 // If any children are left, they're the last at their nesting level.
167 // Dump those ones out now.
168 while (Depth < Pending.size()) {
169 Pending.back()(true);
NAKAMURA Takumic73e4022014-10-31 00:30:37 +0000170 this->Pending.pop_back();
Richard Smithf7514452014-10-30 21:02:37 +0000171 }
172
173 // Restore the old prefix.
NAKAMURA Takumic73e4022014-10-31 00:30:37 +0000174 this->Prefix.resize(Prefix.size() - 2);
Richard Smithf7514452014-10-30 21:02:37 +0000175 };
176
177 if (FirstChild) {
178 Pending.push_back(std::move(dumpWithIndent));
179 } else {
180 Pending.back()(false);
181 Pending.back() = std::move(dumpWithIndent);
Manuel Klimek874030e2012-11-07 00:33:12 +0000182 }
Richard Smithf7514452014-10-30 21:02:37 +0000183 FirstChild = false;
184 }
Manuel Klimek874030e2012-11-07 00:33:12 +0000185
Richard Trieud215b8d2013-01-26 01:31:20 +0000186 class ColorScope {
187 ASTDumper &Dumper;
188 public:
189 ColorScope(ASTDumper &Dumper, TerminalColor Color)
190 : Dumper(Dumper) {
191 if (Dumper.ShowColors)
192 Dumper.OS.changeColor(Color.Color, Color.Bold);
193 }
194 ~ColorScope() {
195 if (Dumper.ShowColors)
196 Dumper.OS.resetColor();
197 }
198 };
199
Chris Lattnercbe4f772007-08-08 22:51:59 +0000200 public:
Alexander Kornienkoebc17b52013-01-14 14:07:11 +0000201 ASTDumper(raw_ostream &OS, const CommandTraits *Traits,
202 const SourceManager *SM)
Richard Smithf7514452014-10-30 21:02:37 +0000203 : OS(OS), Traits(Traits), SM(SM), TopLevel(true), FirstChild(true),
Craig Topper36250ad2014-05-12 05:36:57 +0000204 LastLocFilename(""), LastLocLine(~0U), FC(nullptr),
Richard Trieud215b8d2013-01-26 01:31:20 +0000205 ShowColors(SM && SM->getDiagnostics().getShowColors()) { }
206
207 ASTDumper(raw_ostream &OS, const CommandTraits *Traits,
208 const SourceManager *SM, bool ShowColors)
Richard Smithf7514452014-10-30 21:02:37 +0000209 : OS(OS), Traits(Traits), SM(SM), TopLevel(true), FirstChild(true),
Richard Smith56d12152013-01-31 02:04:38 +0000210 LastLocFilename(""), LastLocLine(~0U),
Richard Trieude5cc7d2013-01-31 01:44:26 +0000211 ShowColors(ShowColors) { }
Mike Stump11289f42009-09-09 15:08:12 +0000212
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000213 void dumpDecl(const Decl *D);
214 void dumpStmt(const Stmt *S);
Alexander Kornienkoebc17b52013-01-14 14:07:11 +0000215 void dumpFullComment(const FullComment *C);
Mike Stump11289f42009-09-09 15:08:12 +0000216
Richard Trieude5cc7d2013-01-31 01:44:26 +0000217 // Utilities
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000218 void dumpPointer(const void *Ptr);
219 void dumpSourceRange(SourceRange R);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000220 void dumpLocation(SourceLocation Loc);
Richard Smithd5e7ff82014-10-31 01:17:45 +0000221 void dumpBareType(QualType T, bool Desugar = true);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000222 void dumpType(QualType T);
Richard Smithd5e7ff82014-10-31 01:17:45 +0000223 void dumpTypeAsChild(QualType T);
224 void dumpTypeAsChild(const Type *T);
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000225 void dumpBareDeclRef(const Decl *Node);
Craig Topper36250ad2014-05-12 05:36:57 +0000226 void dumpDeclRef(const Decl *Node, const char *Label = nullptr);
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000227 void dumpName(const NamedDecl *D);
Richard Trieude5cc7d2013-01-31 01:44:26 +0000228 bool hasNodes(const DeclContext *DC);
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000229 void dumpDeclContext(const DeclContext *DC);
Richard Smith35f986d2014-08-11 22:11:07 +0000230 void dumpLookups(const DeclContext *DC, bool DumpDecls);
Alexander Kornienko5bc364e2013-01-07 17:53:08 +0000231 void dumpAttr(const Attr *A);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000232
233 // C++ Utilities
234 void dumpAccessSpecifier(AccessSpecifier AS);
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000235 void dumpCXXCtorInitializer(const CXXCtorInitializer *Init);
236 void dumpTemplateParameters(const TemplateParameterList *TPL);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000237 void dumpTemplateArgumentListInfo(const TemplateArgumentListInfo &TALI);
238 void dumpTemplateArgumentLoc(const TemplateArgumentLoc &A);
239 void dumpTemplateArgumentList(const TemplateArgumentList &TAL);
240 void dumpTemplateArgument(const TemplateArgument &A,
241 SourceRange R = SourceRange());
242
Richard Smithd5e7ff82014-10-31 01:17:45 +0000243 // Types
244 void VisitComplexType(const ComplexType *T) {
245 dumpTypeAsChild(T->getElementType());
246 }
247 void VisitPointerType(const PointerType *T) {
248 dumpTypeAsChild(T->getPointeeType());
249 }
250 void VisitBlockPointerType(const BlockPointerType *T) {
251 dumpTypeAsChild(T->getPointeeType());
252 }
253 void VisitReferenceType(const ReferenceType *T) {
254 dumpTypeAsChild(T->getPointeeType());
255 }
256 void VisitRValueReferenceType(const ReferenceType *T) {
257 if (T->isSpelledAsLValue())
258 OS << " written as lvalue reference";
259 VisitReferenceType(T);
260 }
261 void VisitMemberPointerType(const MemberPointerType *T) {
262 dumpTypeAsChild(T->getClass());
263 dumpTypeAsChild(T->getPointeeType());
264 }
265 void VisitArrayType(const ArrayType *T) {
266 switch (T->getSizeModifier()) {
267 case ArrayType::Normal: break;
268 case ArrayType::Static: OS << " static"; break;
269 case ArrayType::Star: OS << " *"; break;
270 }
271 OS << " " << T->getIndexTypeQualifiers().getAsString();
272 dumpTypeAsChild(T->getElementType());
273 }
274 void VisitConstantArrayType(const ConstantArrayType *T) {
275 OS << " " << T->getSize();
276 VisitArrayType(T);
277 }
278 void VisitVariableArrayType(const VariableArrayType *T) {
279 OS << " ";
280 dumpSourceRange(T->getBracketsRange());
281 VisitArrayType(T);
282 dumpStmt(T->getSizeExpr());
283 }
284 void VisitDependentSizedArrayType(const DependentSizedArrayType *T) {
285 VisitArrayType(T);
286 OS << " ";
287 dumpSourceRange(T->getBracketsRange());
288 dumpStmt(T->getSizeExpr());
289 }
290 void VisitDependentSizedExtVectorType(
291 const DependentSizedExtVectorType *T) {
292 OS << " ";
293 dumpLocation(T->getAttributeLoc());
294 dumpTypeAsChild(T->getElementType());
295 dumpStmt(T->getSizeExpr());
296 }
297 void VisitVectorType(const VectorType *T) {
298 switch (T->getVectorKind()) {
299 case VectorType::GenericVector: break;
300 case VectorType::AltiVecVector: OS << " altivec"; break;
301 case VectorType::AltiVecPixel: OS << " altivec pixel"; break;
302 case VectorType::AltiVecBool: OS << " altivec bool"; break;
303 case VectorType::NeonVector: OS << " neon"; break;
304 case VectorType::NeonPolyVector: OS << " neon poly"; break;
305 }
306 OS << " " << T->getNumElements();
307 dumpTypeAsChild(T->getElementType());
308 }
309 void VisitFunctionType(const FunctionType *T) {
310 auto EI = T->getExtInfo();
311 if (EI.getNoReturn()) OS << " noreturn";
312 if (EI.getProducesResult()) OS << " produces_result";
313 if (EI.getHasRegParm()) OS << " regparm " << EI.getRegParm();
314 OS << " " << FunctionType::getNameForCallConv(EI.getCC());
315 dumpTypeAsChild(T->getReturnType());
316 }
317 void VisitFunctionProtoType(const FunctionProtoType *T) {
318 auto EPI = T->getExtProtoInfo();
319 if (EPI.HasTrailingReturn) OS << " trailing_return";
320 if (T->isConst()) OS << " const";
321 if (T->isVolatile()) OS << " volatile";
322 if (T->isRestrict()) OS << " restrict";
323 switch (EPI.RefQualifier) {
324 case RQ_None: break;
325 case RQ_LValue: OS << " &"; break;
326 case RQ_RValue: OS << " &&"; break;
327 }
328 // FIXME: Exception specification.
329 // FIXME: Consumed parameters.
330 VisitFunctionType(T);
331 for (QualType PT : T->getParamTypes())
332 dumpTypeAsChild(PT);
333 if (EPI.Variadic)
334 dumpChild([=] { OS << "..."; });
335 }
336 void VisitUnresolvedUsingType(const UnresolvedUsingType *T) {
337 dumpDeclRef(T->getDecl());
338 }
339 void VisitTypedefType(const TypedefType *T) {
340 dumpDeclRef(T->getDecl());
341 }
342 void VisitTypeOfExprType(const TypeOfExprType *T) {
343 dumpStmt(T->getUnderlyingExpr());
344 }
345 void VisitDecltypeType(const DecltypeType *T) {
346 dumpStmt(T->getUnderlyingExpr());
347 }
348 void VisitUnaryTransformType(const UnaryTransformType *T) {
349 switch (T->getUTTKind()) {
350 case UnaryTransformType::EnumUnderlyingType:
351 OS << " underlying_type";
352 break;
353 }
354 dumpTypeAsChild(T->getBaseType());
355 }
356 void VisitTagType(const TagType *T) {
357 dumpDeclRef(T->getDecl());
358 }
359 void VisitAttributedType(const AttributedType *T) {
360 // FIXME: AttrKind
361 dumpTypeAsChild(T->getModifiedType());
362 }
363 void VisitTemplateTypeParmType(const TemplateTypeParmType *T) {
364 OS << " depth " << T->getDepth() << " index " << T->getIndex();
365 if (T->isParameterPack()) OS << " pack";
366 dumpDeclRef(T->getDecl());
367 }
368 void VisitSubstTemplateTypeParmType(const SubstTemplateTypeParmType *T) {
369 dumpTypeAsChild(T->getReplacedParameter());
370 }
371 void VisitSubstTemplateTypeParmPackType(
372 const SubstTemplateTypeParmPackType *T) {
373 dumpTypeAsChild(T->getReplacedParameter());
374 dumpTemplateArgument(T->getArgumentPack());
375 }
376 void VisitAutoType(const AutoType *T) {
377 if (T->isDecltypeAuto()) OS << " decltype(auto)";
378 if (!T->isDeduced())
379 OS << " undeduced";
380 }
381 void VisitTemplateSpecializationType(const TemplateSpecializationType *T) {
382 if (T->isTypeAlias()) OS << " alias";
383 OS << " "; T->getTemplateName().dump(OS);
384 for (auto &Arg : *T)
385 dumpTemplateArgument(Arg);
386 if (T->isTypeAlias())
387 dumpTypeAsChild(T->getAliasedType());
388 }
389 void VisitInjectedClassNameType(const InjectedClassNameType *T) {
390 dumpDeclRef(T->getDecl());
391 }
392 void VisitObjCInterfaceType(const ObjCInterfaceType *T) {
393 dumpDeclRef(T->getDecl());
394 }
395 void VisitObjCObjectPointerType(const ObjCObjectPointerType *T) {
396 dumpTypeAsChild(T->getPointeeType());
397 }
398 void VisitAtomicType(const AtomicType *T) {
399 dumpTypeAsChild(T->getValueType());
400 }
401 void VisitAdjustedType(const AdjustedType *T) {
402 dumpTypeAsChild(T->getOriginalType());
403 }
404 void VisitPackExpansionType(const PackExpansionType *T) {
405 if (auto N = T->getNumExpansions()) OS << " expansions " << *N;
406 if (!T->isSugared())
407 dumpTypeAsChild(T->getPattern());
408 }
409 // FIXME: ElaboratedType, DependentNameType,
410 // DependentTemplateSpecializationType, ObjCObjectType
411
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000412 // Decls
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000413 void VisitLabelDecl(const LabelDecl *D);
414 void VisitTypedefDecl(const TypedefDecl *D);
415 void VisitEnumDecl(const EnumDecl *D);
416 void VisitRecordDecl(const RecordDecl *D);
417 void VisitEnumConstantDecl(const EnumConstantDecl *D);
418 void VisitIndirectFieldDecl(const IndirectFieldDecl *D);
419 void VisitFunctionDecl(const FunctionDecl *D);
420 void VisitFieldDecl(const FieldDecl *D);
421 void VisitVarDecl(const VarDecl *D);
422 void VisitFileScopeAsmDecl(const FileScopeAsmDecl *D);
423 void VisitImportDecl(const ImportDecl *D);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000424
425 // C++ Decls
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000426 void VisitNamespaceDecl(const NamespaceDecl *D);
427 void VisitUsingDirectiveDecl(const UsingDirectiveDecl *D);
428 void VisitNamespaceAliasDecl(const NamespaceAliasDecl *D);
429 void VisitTypeAliasDecl(const TypeAliasDecl *D);
430 void VisitTypeAliasTemplateDecl(const TypeAliasTemplateDecl *D);
431 void VisitCXXRecordDecl(const CXXRecordDecl *D);
432 void VisitStaticAssertDecl(const StaticAssertDecl *D);
Richard Smithcbdf7332014-03-18 02:07:28 +0000433 template<typename SpecializationDecl>
Richard Smithf7514452014-10-30 21:02:37 +0000434 void VisitTemplateDeclSpecialization(const SpecializationDecl *D,
Richard Smithcbdf7332014-03-18 02:07:28 +0000435 bool DumpExplicitInst,
436 bool DumpRefOnly);
Richard Smith20ade552014-03-17 23:34:53 +0000437 template<typename TemplateDecl>
438 void VisitTemplateDecl(const TemplateDecl *D, bool DumpExplicitInst);
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000439 void VisitFunctionTemplateDecl(const FunctionTemplateDecl *D);
440 void VisitClassTemplateDecl(const ClassTemplateDecl *D);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000441 void VisitClassTemplateSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000442 const ClassTemplateSpecializationDecl *D);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000443 void VisitClassTemplatePartialSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000444 const ClassTemplatePartialSpecializationDecl *D);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000445 void VisitClassScopeFunctionSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000446 const ClassScopeFunctionSpecializationDecl *D);
Richard Smithd25789a2013-09-18 01:36:02 +0000447 void VisitVarTemplateDecl(const VarTemplateDecl *D);
448 void VisitVarTemplateSpecializationDecl(
449 const VarTemplateSpecializationDecl *D);
450 void VisitVarTemplatePartialSpecializationDecl(
451 const VarTemplatePartialSpecializationDecl *D);
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000452 void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D);
453 void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D);
454 void VisitTemplateTemplateParmDecl(const TemplateTemplateParmDecl *D);
455 void VisitUsingDecl(const UsingDecl *D);
456 void VisitUnresolvedUsingTypenameDecl(const UnresolvedUsingTypenameDecl *D);
457 void VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D);
458 void VisitUsingShadowDecl(const UsingShadowDecl *D);
459 void VisitLinkageSpecDecl(const LinkageSpecDecl *D);
460 void VisitAccessSpecDecl(const AccessSpecDecl *D);
461 void VisitFriendDecl(const FriendDecl *D);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000462
463 // ObjC Decls
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000464 void VisitObjCIvarDecl(const ObjCIvarDecl *D);
465 void VisitObjCMethodDecl(const ObjCMethodDecl *D);
466 void VisitObjCCategoryDecl(const ObjCCategoryDecl *D);
467 void VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D);
468 void VisitObjCProtocolDecl(const ObjCProtocolDecl *D);
469 void VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D);
470 void VisitObjCImplementationDecl(const ObjCImplementationDecl *D);
471 void VisitObjCCompatibleAliasDecl(const ObjCCompatibleAliasDecl *D);
472 void VisitObjCPropertyDecl(const ObjCPropertyDecl *D);
473 void VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D);
474 void VisitBlockDecl(const BlockDecl *D);
Mike Stump11289f42009-09-09 15:08:12 +0000475
Chris Lattner84ca3762007-08-30 01:00:35 +0000476 // Stmts.
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000477 void VisitStmt(const Stmt *Node);
478 void VisitDeclStmt(const DeclStmt *Node);
479 void VisitAttributedStmt(const AttributedStmt *Node);
480 void VisitLabelStmt(const LabelStmt *Node);
481 void VisitGotoStmt(const GotoStmt *Node);
Pavel Labath1ef83422013-09-04 14:35:00 +0000482 void VisitCXXCatchStmt(const CXXCatchStmt *Node);
Mike Stump11289f42009-09-09 15:08:12 +0000483
Chris Lattner84ca3762007-08-30 01:00:35 +0000484 // Exprs
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000485 void VisitExpr(const Expr *Node);
486 void VisitCastExpr(const CastExpr *Node);
487 void VisitDeclRefExpr(const DeclRefExpr *Node);
488 void VisitPredefinedExpr(const PredefinedExpr *Node);
489 void VisitCharacterLiteral(const CharacterLiteral *Node);
490 void VisitIntegerLiteral(const IntegerLiteral *Node);
491 void VisitFloatingLiteral(const FloatingLiteral *Node);
492 void VisitStringLiteral(const StringLiteral *Str);
Richard Smithf0514962014-06-03 08:24:28 +0000493 void VisitInitListExpr(const InitListExpr *ILE);
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000494 void VisitUnaryOperator(const UnaryOperator *Node);
495 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Node);
496 void VisitMemberExpr(const MemberExpr *Node);
497 void VisitExtVectorElementExpr(const ExtVectorElementExpr *Node);
498 void VisitBinaryOperator(const BinaryOperator *Node);
499 void VisitCompoundAssignOperator(const CompoundAssignOperator *Node);
500 void VisitAddrLabelExpr(const AddrLabelExpr *Node);
501 void VisitBlockExpr(const BlockExpr *Node);
502 void VisitOpaqueValueExpr(const OpaqueValueExpr *Node);
Chris Lattner84ca3762007-08-30 01:00:35 +0000503
504 // C++
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000505 void VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node);
506 void VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node);
507 void VisitCXXThisExpr(const CXXThisExpr *Node);
508 void VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *Node);
509 void VisitCXXConstructExpr(const CXXConstructExpr *Node);
510 void VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *Node);
Reid Kleckner5c682bc2015-03-19 18:09:25 +0000511 void VisitCXXNewExpr(const CXXNewExpr *Node);
512 void VisitCXXDeleteExpr(const CXXDeleteExpr *Node);
Richard Smithe6c01442013-06-05 00:46:14 +0000513 void VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000514 void VisitExprWithCleanups(const ExprWithCleanups *Node);
515 void VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *Node);
516 void dumpCXXTemporary(const CXXTemporary *Temporary);
Faisal Vali2b391ab2013-09-26 19:54:12 +0000517 void VisitLambdaExpr(const LambdaExpr *Node) {
518 VisitExpr(Node);
519 dumpDecl(Node->getLambdaClass());
520 }
Serge Pavlov6b926032015-02-16 19:58:41 +0000521 void VisitSizeOfPackExpr(const SizeOfPackExpr *Node);
Mike Stump11289f42009-09-09 15:08:12 +0000522
Chris Lattner84ca3762007-08-30 01:00:35 +0000523 // ObjC
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000524 void VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node);
525 void VisitObjCEncodeExpr(const ObjCEncodeExpr *Node);
526 void VisitObjCMessageExpr(const ObjCMessageExpr *Node);
527 void VisitObjCBoxedExpr(const ObjCBoxedExpr *Node);
528 void VisitObjCSelectorExpr(const ObjCSelectorExpr *Node);
529 void VisitObjCProtocolExpr(const ObjCProtocolExpr *Node);
530 void VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node);
531 void VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *Node);
532 void VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node);
533 void VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node);
Alexander Kornienkoebc17b52013-01-14 14:07:11 +0000534
535 // Comments.
536 const char *getCommandName(unsigned CommandID);
537 void dumpComment(const Comment *C);
538
539 // Inline comments.
540 void visitTextComment(const TextComment *C);
541 void visitInlineCommandComment(const InlineCommandComment *C);
542 void visitHTMLStartTagComment(const HTMLStartTagComment *C);
543 void visitHTMLEndTagComment(const HTMLEndTagComment *C);
544
545 // Block comments.
546 void visitBlockCommandComment(const BlockCommandComment *C);
547 void visitParamCommandComment(const ParamCommandComment *C);
548 void visitTParamCommandComment(const TParamCommandComment *C);
549 void visitVerbatimBlockComment(const VerbatimBlockComment *C);
550 void visitVerbatimBlockLineComment(const VerbatimBlockLineComment *C);
551 void visitVerbatimLineComment(const VerbatimLineComment *C);
Chris Lattnercbe4f772007-08-08 22:51:59 +0000552 };
553}
554
555//===----------------------------------------------------------------------===//
Chris Lattner11e30d32007-08-30 06:17:34 +0000556// Utilities
557//===----------------------------------------------------------------------===//
558
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000559void ASTDumper::dumpPointer(const void *Ptr) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000560 ColorScope Color(*this, AddressColor);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000561 OS << ' ' << Ptr;
562}
563
Alexander Kornienko18ec81b2012-12-13 13:59:55 +0000564void ASTDumper::dumpLocation(SourceLocation Loc) {
Alex McCarthye14ddef2014-05-02 20:24:11 +0000565 if (!SM)
566 return;
567
Richard Trieud215b8d2013-01-26 01:31:20 +0000568 ColorScope Color(*this, LocationColor);
Chris Lattner53e384f2009-01-16 07:00:02 +0000569 SourceLocation SpellingLoc = SM->getSpellingLoc(Loc);
Mike Stump11289f42009-09-09 15:08:12 +0000570
Chris Lattner11e30d32007-08-30 06:17:34 +0000571 // The general format we print out is filename:line:col, but we drop pieces
572 // that haven't changed since the last loc printed.
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000573 PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc);
574
Douglas Gregor453b0122010-11-12 07:15:47 +0000575 if (PLoc.isInvalid()) {
576 OS << "<invalid sloc>";
577 return;
578 }
579
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000580 if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000581 OS << PLoc.getFilename() << ':' << PLoc.getLine()
582 << ':' << PLoc.getColumn();
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000583 LastLocFilename = PLoc.getFilename();
584 LastLocLine = PLoc.getLine();
585 } else if (PLoc.getLine() != LastLocLine) {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000586 OS << "line" << ':' << PLoc.getLine()
587 << ':' << PLoc.getColumn();
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000588 LastLocLine = PLoc.getLine();
Chris Lattner11e30d32007-08-30 06:17:34 +0000589 } else {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000590 OS << "col" << ':' << PLoc.getColumn();
Chris Lattner11e30d32007-08-30 06:17:34 +0000591 }
592}
593
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000594void ASTDumper::dumpSourceRange(SourceRange R) {
Chris Lattner11e30d32007-08-30 06:17:34 +0000595 // Can't translate locations if a SourceManager isn't available.
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000596 if (!SM)
597 return;
Mike Stump11289f42009-09-09 15:08:12 +0000598
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000599 OS << " <";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000600 dumpLocation(R.getBegin());
Chris Lattnera7c19fe2007-10-16 22:36:42 +0000601 if (R.getBegin() != R.getEnd()) {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000602 OS << ", ";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000603 dumpLocation(R.getEnd());
Chris Lattner11e30d32007-08-30 06:17:34 +0000604 }
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000605 OS << ">";
Mike Stump11289f42009-09-09 15:08:12 +0000606
Chris Lattner11e30d32007-08-30 06:17:34 +0000607 // <t2.c:123:421[blah], t2.c:412:321>
608
609}
610
Richard Smithd5e7ff82014-10-31 01:17:45 +0000611void ASTDumper::dumpBareType(QualType T, bool Desugar) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000612 ColorScope Color(*this, TypeColor);
Richard Smithd5e7ff82014-10-31 01:17:45 +0000613
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000614 SplitQualType T_split = T.split();
615 OS << "'" << QualType::getAsString(T_split) << "'";
616
Richard Smithd5e7ff82014-10-31 01:17:45 +0000617 if (Desugar && !T.isNull()) {
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000618 // If the type is sugared, also dump a (shallow) desugared type.
619 SplitQualType D_split = T.getSplitDesugaredType();
620 if (T_split != D_split)
621 OS << ":'" << QualType::getAsString(D_split) << "'";
622 }
623}
624
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000625void ASTDumper::dumpType(QualType T) {
626 OS << ' ';
627 dumpBareType(T);
628}
629
Richard Smithd5e7ff82014-10-31 01:17:45 +0000630void ASTDumper::dumpTypeAsChild(QualType T) {
631 SplitQualType SQT = T.split();
632 if (!SQT.Quals.hasQualifiers())
633 return dumpTypeAsChild(SQT.Ty);
634
635 dumpChild([=] {
636 OS << "QualType";
637 dumpPointer(T.getAsOpaquePtr());
638 OS << " ";
639 dumpBareType(T, false);
640 OS << " " << T.split().Quals.getAsString();
641 dumpTypeAsChild(T.split().Ty);
642 });
643}
644
645void ASTDumper::dumpTypeAsChild(const Type *T) {
646 dumpChild([=] {
647 if (!T) {
648 ColorScope Color(*this, NullColor);
649 OS << "<<<NULL>>>";
650 return;
651 }
652
653 {
654 ColorScope Color(*this, TypeColor);
655 OS << T->getTypeClassName() << "Type";
656 }
657 dumpPointer(T);
658 OS << " ";
659 dumpBareType(QualType(T, 0), false);
660
661 QualType SingleStepDesugar =
662 T->getLocallyUnqualifiedSingleStepDesugaredType();
663 if (SingleStepDesugar != QualType(T, 0))
664 OS << " sugar";
665 if (T->isDependentType())
666 OS << " dependent";
667 else if (T->isInstantiationDependentType())
668 OS << " instantiation_dependent";
669 if (T->isVariablyModifiedType())
670 OS << " variably_modified";
671 if (T->containsUnexpandedParameterPack())
672 OS << " contains_unexpanded_pack";
673 if (T->isFromAST())
674 OS << " imported";
675
676 TypeVisitor<ASTDumper>::Visit(T);
677
678 if (SingleStepDesugar != QualType(T, 0))
679 dumpTypeAsChild(SingleStepDesugar);
680 });
681}
682
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000683void ASTDumper::dumpBareDeclRef(const Decl *D) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000684 {
685 ColorScope Color(*this, DeclKindNameColor);
686 OS << D->getDeclKindName();
687 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000688 dumpPointer(D);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000689
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000690 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000691 ColorScope Color(*this, DeclNameColor);
David Blaikied4da8722013-05-14 21:04:00 +0000692 OS << " '" << ND->getDeclName() << '\'';
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000693 }
694
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000695 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D))
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000696 dumpType(VD->getType());
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000697}
698
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000699void ASTDumper::dumpDeclRef(const Decl *D, const char *Label) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000700 if (!D)
701 return;
702
Richard Smithf7514452014-10-30 21:02:37 +0000703 dumpChild([=]{
704 if (Label)
705 OS << Label << ' ';
706 dumpBareDeclRef(D);
707 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000708}
709
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000710void ASTDumper::dumpName(const NamedDecl *ND) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000711 if (ND->getDeclName()) {
712 ColorScope Color(*this, DeclNameColor);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000713 OS << ' ' << ND->getNameAsString();
Richard Trieud215b8d2013-01-26 01:31:20 +0000714 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000715}
716
Richard Trieude5cc7d2013-01-31 01:44:26 +0000717bool ASTDumper::hasNodes(const DeclContext *DC) {
718 if (!DC)
719 return false;
720
Richard Smith1d209d02013-05-23 01:49:11 +0000721 return DC->hasExternalLexicalStorage() ||
722 DC->noload_decls_begin() != DC->noload_decls_end();
Richard Trieude5cc7d2013-01-31 01:44:26 +0000723}
724
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000725void ASTDumper::dumpDeclContext(const DeclContext *DC) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000726 if (!DC)
727 return;
Richard Smithdcc2c452014-03-17 23:00:06 +0000728
Richard Smithdcc2c452014-03-17 23:00:06 +0000729 for (auto *D : DC->noload_decls())
Richard Smithf7514452014-10-30 21:02:37 +0000730 dumpDecl(D);
Richard Smithdcc2c452014-03-17 23:00:06 +0000731
732 if (DC->hasExternalLexicalStorage()) {
Richard Smithf7514452014-10-30 21:02:37 +0000733 dumpChild([=]{
734 ColorScope Color(*this, UndeserializedColor);
735 OS << "<undeserialized declarations>";
736 });
Richard Smith1d209d02013-05-23 01:49:11 +0000737 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000738}
739
Richard Smith35f986d2014-08-11 22:11:07 +0000740void ASTDumper::dumpLookups(const DeclContext *DC, bool DumpDecls) {
Richard Smithf7514452014-10-30 21:02:37 +0000741 dumpChild([=] {
742 OS << "StoredDeclsMap ";
743 dumpBareDeclRef(cast<Decl>(DC));
Richard Smith33937e72013-06-22 21:49:40 +0000744
Richard Smithf7514452014-10-30 21:02:37 +0000745 const DeclContext *Primary = DC->getPrimaryContext();
746 if (Primary != DC) {
747 OS << " primary";
748 dumpPointer(cast<Decl>(Primary));
Richard Smith33937e72013-06-22 21:49:40 +0000749 }
750
Richard Smithf7514452014-10-30 21:02:37 +0000751 bool HasUndeserializedLookups = Primary->hasExternalVisibleStorage();
Richard Smith35f986d2014-08-11 22:11:07 +0000752
Richard Smithf7514452014-10-30 21:02:37 +0000753 DeclContext::all_lookups_iterator I = Primary->noload_lookups_begin(),
754 E = Primary->noload_lookups_end();
755 while (I != E) {
756 DeclarationName Name = I.getLookupName();
757 DeclContextLookupResult R = *I++;
Richard Smith35f986d2014-08-11 22:11:07 +0000758
Richard Smithf7514452014-10-30 21:02:37 +0000759 dumpChild([=] {
760 OS << "DeclarationName ";
761 {
762 ColorScope Color(*this, DeclNameColor);
763 OS << '\'' << Name << '\'';
764 }
Richard Smith35f986d2014-08-11 22:11:07 +0000765
Richard Smithf7514452014-10-30 21:02:37 +0000766 for (DeclContextLookupResult::iterator RI = R.begin(), RE = R.end();
767 RI != RE; ++RI) {
768 dumpChild([=] {
769 dumpBareDeclRef(*RI);
770
771 if ((*RI)->isHidden())
772 OS << " hidden";
773
774 // If requested, dump the redecl chain for this lookup.
775 if (DumpDecls) {
776 // Dump earliest decl first.
777 std::function<void(Decl *)> DumpWithPrev = [&](Decl *D) {
778 if (Decl *Prev = D->getPreviousDecl())
779 DumpWithPrev(Prev);
780 dumpDecl(D);
781 };
782 DumpWithPrev(*RI);
783 }
784 });
785 }
786 });
Richard Smith33937e72013-06-22 21:49:40 +0000787 }
Richard Smith33937e72013-06-22 21:49:40 +0000788
Richard Smithf7514452014-10-30 21:02:37 +0000789 if (HasUndeserializedLookups) {
790 dumpChild([=] {
791 ColorScope Color(*this, UndeserializedColor);
792 OS << "<undeserialized lookups>";
793 });
794 }
795 });
Richard Smith33937e72013-06-22 21:49:40 +0000796}
797
Alexander Kornienko5bc364e2013-01-07 17:53:08 +0000798void ASTDumper::dumpAttr(const Attr *A) {
Richard Smithf7514452014-10-30 21:02:37 +0000799 dumpChild([=] {
800 {
801 ColorScope Color(*this, AttrColor);
Aaron Ballman36a53502014-01-16 13:03:14 +0000802
Richard Smithf7514452014-10-30 21:02:37 +0000803 switch (A->getKind()) {
Alexander Kornienko5bc364e2013-01-07 17:53:08 +0000804#define ATTR(X) case attr::X: OS << #X; break;
805#include "clang/Basic/AttrList.inc"
Richard Smithf7514452014-10-30 21:02:37 +0000806 default:
807 llvm_unreachable("unexpected attribute kind");
808 }
809 OS << "Attr";
Richard Trieud215b8d2013-01-26 01:31:20 +0000810 }
Richard Smithf7514452014-10-30 21:02:37 +0000811 dumpPointer(A);
812 dumpSourceRange(A->getRange());
813 if (A->isInherited())
814 OS << " Inherited";
815 if (A->isImplicit())
816 OS << " Implicit";
Hans Wennborgb0a8b4a2014-05-31 04:05:57 +0000817#include "clang/AST/AttrDump.inc"
Richard Smithf7514452014-10-30 21:02:37 +0000818 });
Alexander Kornienko5bc364e2013-01-07 17:53:08 +0000819}
820
Richard Smith71bec062013-10-15 21:58:30 +0000821static void dumpPreviousDeclImpl(raw_ostream &OS, ...) {}
822
823template<typename T>
824static void dumpPreviousDeclImpl(raw_ostream &OS, const Mergeable<T> *D) {
Rafael Espindola8db352d2013-10-17 15:37:26 +0000825 const T *First = D->getFirstDecl();
Richard Smith71bec062013-10-15 21:58:30 +0000826 if (First != D)
827 OS << " first " << First;
Richard Smithf5f43542013-02-07 01:35:44 +0000828}
829
830template<typename T>
Richard Smith71bec062013-10-15 21:58:30 +0000831static void dumpPreviousDeclImpl(raw_ostream &OS, const Redeclarable<T> *D) {
832 const T *Prev = D->getPreviousDecl();
833 if (Prev)
834 OS << " prev " << Prev;
Richard Smithf5f43542013-02-07 01:35:44 +0000835}
836
Richard Smith71bec062013-10-15 21:58:30 +0000837/// Dump the previous declaration in the redeclaration chain for a declaration,
838/// if any.
839static void dumpPreviousDecl(raw_ostream &OS, const Decl *D) {
Richard Smithf5f43542013-02-07 01:35:44 +0000840 switch (D->getKind()) {
841#define DECL(DERIVED, BASE) \
842 case Decl::DERIVED: \
Richard Smith71bec062013-10-15 21:58:30 +0000843 return dumpPreviousDeclImpl(OS, cast<DERIVED##Decl>(D));
Richard Smithf5f43542013-02-07 01:35:44 +0000844#define ABSTRACT_DECL(DECL)
845#include "clang/AST/DeclNodes.inc"
846 }
847 llvm_unreachable("Decl that isn't part of DeclNodes.inc!");
848}
849
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000850//===----------------------------------------------------------------------===//
851// C++ Utilities
852//===----------------------------------------------------------------------===//
853
854void ASTDumper::dumpAccessSpecifier(AccessSpecifier AS) {
855 switch (AS) {
856 case AS_none:
857 break;
858 case AS_public:
859 OS << "public";
860 break;
861 case AS_protected:
862 OS << "protected";
863 break;
864 case AS_private:
865 OS << "private";
866 break;
867 }
868}
869
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000870void ASTDumper::dumpCXXCtorInitializer(const CXXCtorInitializer *Init) {
Richard Smithf7514452014-10-30 21:02:37 +0000871 dumpChild([=] {
872 OS << "CXXCtorInitializer";
873 if (Init->isAnyMemberInitializer()) {
874 OS << ' ';
875 dumpBareDeclRef(Init->getAnyMember());
876 } else if (Init->isBaseInitializer()) {
877 dumpType(QualType(Init->getBaseClass(), 0));
878 } else if (Init->isDelegatingInitializer()) {
879 dumpType(Init->getTypeSourceInfo()->getType());
880 } else {
881 llvm_unreachable("Unknown initializer type");
882 }
883 dumpStmt(Init->getInit());
884 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000885}
886
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000887void ASTDumper::dumpTemplateParameters(const TemplateParameterList *TPL) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000888 if (!TPL)
889 return;
890
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000891 for (TemplateParameterList::const_iterator I = TPL->begin(), E = TPL->end();
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000892 I != E; ++I)
893 dumpDecl(*I);
894}
895
896void ASTDumper::dumpTemplateArgumentListInfo(
897 const TemplateArgumentListInfo &TALI) {
Richard Smithf7514452014-10-30 21:02:37 +0000898 for (unsigned i = 0, e = TALI.size(); i < e; ++i)
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000899 dumpTemplateArgumentLoc(TALI[i]);
900}
901
902void ASTDumper::dumpTemplateArgumentLoc(const TemplateArgumentLoc &A) {
903 dumpTemplateArgument(A.getArgument(), A.getSourceRange());
904}
905
906void ASTDumper::dumpTemplateArgumentList(const TemplateArgumentList &TAL) {
907 for (unsigned i = 0, e = TAL.size(); i < e; ++i)
908 dumpTemplateArgument(TAL[i]);
909}
910
911void ASTDumper::dumpTemplateArgument(const TemplateArgument &A, SourceRange R) {
Richard Smithf7514452014-10-30 21:02:37 +0000912 dumpChild([=] {
913 OS << "TemplateArgument";
914 if (R.isValid())
915 dumpSourceRange(R);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000916
Richard Smithf7514452014-10-30 21:02:37 +0000917 switch (A.getKind()) {
918 case TemplateArgument::Null:
919 OS << " null";
920 break;
921 case TemplateArgument::Type:
922 OS << " type";
923 dumpType(A.getAsType());
924 break;
925 case TemplateArgument::Declaration:
926 OS << " decl";
927 dumpDeclRef(A.getAsDecl());
928 break;
929 case TemplateArgument::NullPtr:
930 OS << " nullptr";
931 break;
932 case TemplateArgument::Integral:
933 OS << " integral " << A.getAsIntegral();
934 break;
935 case TemplateArgument::Template:
936 OS << " template ";
937 A.getAsTemplate().dump(OS);
938 break;
939 case TemplateArgument::TemplateExpansion:
940 OS << " template expansion";
941 A.getAsTemplateOrTemplatePattern().dump(OS);
942 break;
943 case TemplateArgument::Expression:
944 OS << " expr";
945 dumpStmt(A.getAsExpr());
946 break;
947 case TemplateArgument::Pack:
948 OS << " pack";
949 for (TemplateArgument::pack_iterator I = A.pack_begin(), E = A.pack_end();
950 I != E; ++I)
951 dumpTemplateArgument(*I);
952 break;
Richard Trieude5cc7d2013-01-31 01:44:26 +0000953 }
Richard Smithf7514452014-10-30 21:02:37 +0000954 });
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000955}
956
Chris Lattner11e30d32007-08-30 06:17:34 +0000957//===----------------------------------------------------------------------===//
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000958// Decl dumping methods.
Chris Lattnercbe4f772007-08-08 22:51:59 +0000959//===----------------------------------------------------------------------===//
960
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000961void ASTDumper::dumpDecl(const Decl *D) {
Richard Smithf7514452014-10-30 21:02:37 +0000962 dumpChild([=] {
963 if (!D) {
964 ColorScope Color(*this, NullColor);
965 OS << "<<<NULL>>>";
966 return;
967 }
Mike Stump11289f42009-09-09 15:08:12 +0000968
Richard Smithf7514452014-10-30 21:02:37 +0000969 {
970 ColorScope Color(*this, DeclKindNameColor);
971 OS << D->getDeclKindName() << "Decl";
972 }
973 dumpPointer(D);
974 if (D->getLexicalDeclContext() != D->getDeclContext())
975 OS << " parent " << cast<Decl>(D->getDeclContext());
976 dumpPreviousDecl(OS, D);
977 dumpSourceRange(D->getSourceRange());
978 OS << ' ';
979 dumpLocation(D->getLocation());
980 if (Module *M = D->getOwningModule())
981 OS << " in " << M->getFullModuleName();
982 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
983 if (ND->isHidden())
984 OS << " hidden";
985 if (D->isImplicit())
986 OS << " implicit";
987 if (D->isUsed())
988 OS << " used";
989 else if (D->isThisDeclarationReferenced())
990 OS << " referenced";
991 if (D->isInvalidDecl())
992 OS << " invalid";
Hans Wennborg76b00532014-12-05 22:38:57 +0000993 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
994 if (FD->isConstexpr())
995 OS << " constexpr";
996
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000997
Richard Smithf7514452014-10-30 21:02:37 +0000998 ConstDeclVisitor<ASTDumper>::Visit(D);
Richard Trieude5cc7d2013-01-31 01:44:26 +0000999
Richard Smithf7514452014-10-30 21:02:37 +00001000 for (Decl::attr_iterator I = D->attr_begin(), E = D->attr_end(); I != E;
1001 ++I)
1002 dumpAttr(*I);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001003
Richard Smithf7514452014-10-30 21:02:37 +00001004 if (const FullComment *Comment =
1005 D->getASTContext().getLocalCommentForDeclUncached(D))
1006 dumpFullComment(Comment);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001007
Richard Smithf7514452014-10-30 21:02:37 +00001008 // Decls within functions are visited by the body.
1009 if (!isa<FunctionDecl>(*D) && !isa<ObjCMethodDecl>(*D) &&
1010 hasNodes(dyn_cast<DeclContext>(D)))
1011 dumpDeclContext(cast<DeclContext>(D));
1012 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001013}
1014
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001015void ASTDumper::VisitLabelDecl(const LabelDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001016 dumpName(D);
1017}
1018
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001019void ASTDumper::VisitTypedefDecl(const TypedefDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001020 dumpName(D);
1021 dumpType(D->getUnderlyingType());
1022 if (D->isModulePrivate())
1023 OS << " __module_private__";
1024}
1025
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001026void ASTDumper::VisitEnumDecl(const EnumDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001027 if (D->isScoped()) {
1028 if (D->isScopedUsingClassTag())
1029 OS << " class";
1030 else
1031 OS << " struct";
1032 }
1033 dumpName(D);
1034 if (D->isModulePrivate())
1035 OS << " __module_private__";
1036 if (D->isFixed())
1037 dumpType(D->getIntegerType());
1038}
1039
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001040void ASTDumper::VisitRecordDecl(const RecordDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001041 OS << ' ' << D->getKindName();
1042 dumpName(D);
1043 if (D->isModulePrivate())
1044 OS << " __module_private__";
Richard Smith99bc1b92013-08-30 05:32:29 +00001045 if (D->isCompleteDefinition())
1046 OS << " definition";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001047}
1048
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001049void ASTDumper::VisitEnumConstantDecl(const EnumConstantDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001050 dumpName(D);
1051 dumpType(D->getType());
Richard Smithf7514452014-10-30 21:02:37 +00001052 if (const Expr *Init = D->getInitExpr())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001053 dumpStmt(Init);
1054}
1055
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001056void ASTDumper::VisitIndirectFieldDecl(const IndirectFieldDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001057 dumpName(D);
1058 dumpType(D->getType());
Richard Smithdcc2c452014-03-17 23:00:06 +00001059
Richard Smith8aa49222014-03-18 00:35:12 +00001060 for (auto *Child : D->chain())
Richard Smithf7514452014-10-30 21:02:37 +00001061 dumpDeclRef(Child);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001062}
1063
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001064void ASTDumper::VisitFunctionDecl(const FunctionDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001065 dumpName(D);
1066 dumpType(D->getType());
1067
Rafael Espindola6ae7e502013-04-03 19:27:57 +00001068 StorageClass SC = D->getStorageClass();
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001069 if (SC != SC_None)
1070 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
1071 if (D->isInlineSpecified())
1072 OS << " inline";
1073 if (D->isVirtualAsWritten())
1074 OS << " virtual";
1075 if (D->isModulePrivate())
1076 OS << " __module_private__";
1077
1078 if (D->isPure())
1079 OS << " pure";
1080 else if (D->isDeletedAsWritten())
1081 OS << " delete";
1082
Richard Smithadaa0152013-05-17 02:09:46 +00001083 if (const FunctionProtoType *FPT = D->getType()->getAs<FunctionProtoType>()) {
1084 FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo();
Richard Smith8acb4282014-07-31 21:57:55 +00001085 switch (EPI.ExceptionSpec.Type) {
Richard Smithadaa0152013-05-17 02:09:46 +00001086 default: break;
1087 case EST_Unevaluated:
Richard Smith8acb4282014-07-31 21:57:55 +00001088 OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl;
Richard Smithadaa0152013-05-17 02:09:46 +00001089 break;
1090 case EST_Uninstantiated:
Richard Smith8acb4282014-07-31 21:57:55 +00001091 OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate;
Richard Smithadaa0152013-05-17 02:09:46 +00001092 break;
1093 }
1094 }
1095
Richard Smithf7514452014-10-30 21:02:37 +00001096 if (const FunctionTemplateSpecializationInfo *FTSI =
1097 D->getTemplateSpecializationInfo())
Richard Trieude5cc7d2013-01-31 01:44:26 +00001098 dumpTemplateArgumentList(*FTSI->TemplateArguments);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001099
Dmitri Gribenkof8579502013-01-12 19:30:44 +00001100 for (ArrayRef<NamedDecl *>::iterator
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001101 I = D->getDeclsInPrototypeScope().begin(),
Richard Smithf7514452014-10-30 21:02:37 +00001102 E = D->getDeclsInPrototypeScope().end(); I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001103 dumpDecl(*I);
1104
Richard Smith8a639892015-01-24 01:07:20 +00001105 if (!D->param_begin() && D->getNumParams())
1106 dumpChild([=] { OS << "<<NULL params x " << D->getNumParams() << ">>"; });
1107 else
1108 for (FunctionDecl::param_const_iterator I = D->param_begin(),
1109 E = D->param_end();
1110 I != E; ++I)
1111 dumpDecl(*I);
Richard Smithf7514452014-10-30 21:02:37 +00001112
1113 if (const CXXConstructorDecl *C = dyn_cast<CXXConstructorDecl>(D))
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001114 for (CXXConstructorDecl::init_const_iterator I = C->init_begin(),
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001115 E = C->init_end();
Richard Smithf7514452014-10-30 21:02:37 +00001116 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001117 dumpCXXCtorInitializer(*I);
1118
Richard Smithf7514452014-10-30 21:02:37 +00001119 if (D->doesThisDeclarationHaveABody())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001120 dumpStmt(D->getBody());
1121}
1122
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001123void ASTDumper::VisitFieldDecl(const FieldDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001124 dumpName(D);
1125 dumpType(D->getType());
1126 if (D->isMutable())
1127 OS << " mutable";
1128 if (D->isModulePrivate())
1129 OS << " __module_private__";
Richard Trieude5cc7d2013-01-31 01:44:26 +00001130
Richard Smithf7514452014-10-30 21:02:37 +00001131 if (D->isBitField())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001132 dumpStmt(D->getBitWidth());
Richard Smithf7514452014-10-30 21:02:37 +00001133 if (Expr *Init = D->getInClassInitializer())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001134 dumpStmt(Init);
1135}
1136
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001137void ASTDumper::VisitVarDecl(const VarDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001138 dumpName(D);
1139 dumpType(D->getType());
Rafael Espindola6ae7e502013-04-03 19:27:57 +00001140 StorageClass SC = D->getStorageClass();
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001141 if (SC != SC_None)
1142 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
Richard Smithfd3834f2013-04-13 02:43:54 +00001143 switch (D->getTLSKind()) {
1144 case VarDecl::TLS_None: break;
1145 case VarDecl::TLS_Static: OS << " tls"; break;
1146 case VarDecl::TLS_Dynamic: OS << " tls_dynamic"; break;
1147 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001148 if (D->isModulePrivate())
1149 OS << " __module_private__";
1150 if (D->isNRVOVariable())
1151 OS << " nrvo";
Richard Trieude5cc7d2013-01-31 01:44:26 +00001152 if (D->hasInit()) {
Richard Smithd9967cc2014-07-10 22:54:03 +00001153 switch (D->getInitStyle()) {
1154 case VarDecl::CInit: OS << " cinit"; break;
1155 case VarDecl::CallInit: OS << " callinit"; break;
1156 case VarDecl::ListInit: OS << " listinit"; break;
1157 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001158 dumpStmt(D->getInit());
Richard Trieude5cc7d2013-01-31 01:44:26 +00001159 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001160}
1161
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001162void ASTDumper::VisitFileScopeAsmDecl(const FileScopeAsmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001163 dumpStmt(D->getAsmString());
1164}
1165
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001166void ASTDumper::VisitImportDecl(const ImportDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001167 OS << ' ' << D->getImportedModule()->getFullModuleName();
1168}
1169
1170//===----------------------------------------------------------------------===//
1171// C++ Declarations
1172//===----------------------------------------------------------------------===//
1173
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001174void ASTDumper::VisitNamespaceDecl(const NamespaceDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001175 dumpName(D);
1176 if (D->isInline())
1177 OS << " inline";
1178 if (!D->isOriginalNamespace())
1179 dumpDeclRef(D->getOriginalNamespace(), "original");
1180}
1181
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001182void ASTDumper::VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001183 OS << ' ';
1184 dumpBareDeclRef(D->getNominatedNamespace());
1185}
1186
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001187void ASTDumper::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001188 dumpName(D);
1189 dumpDeclRef(D->getAliasedNamespace());
1190}
1191
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001192void ASTDumper::VisitTypeAliasDecl(const TypeAliasDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001193 dumpName(D);
1194 dumpType(D->getUnderlyingType());
1195}
1196
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001197void ASTDumper::VisitTypeAliasTemplateDecl(const TypeAliasTemplateDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001198 dumpName(D);
1199 dumpTemplateParameters(D->getTemplateParameters());
1200 dumpDecl(D->getTemplatedDecl());
1201}
1202
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001203void ASTDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001204 VisitRecordDecl(D);
1205 if (!D->isCompleteDefinition())
1206 return;
1207
Aaron Ballman574705e2014-03-13 15:41:46 +00001208 for (const auto &I : D->bases()) {
Richard Smithf7514452014-10-30 21:02:37 +00001209 dumpChild([=] {
1210 if (I.isVirtual())
1211 OS << "virtual ";
1212 dumpAccessSpecifier(I.getAccessSpecifier());
1213 dumpType(I.getType());
1214 if (I.isPackExpansion())
1215 OS << "...";
1216 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001217 }
1218}
1219
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001220void ASTDumper::VisitStaticAssertDecl(const StaticAssertDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001221 dumpStmt(D->getAssertExpr());
1222 dumpStmt(D->getMessage());
1223}
1224
Richard Smithcbdf7332014-03-18 02:07:28 +00001225template<typename SpecializationDecl>
Richard Smithf7514452014-10-30 21:02:37 +00001226void ASTDumper::VisitTemplateDeclSpecialization(const SpecializationDecl *D,
Richard Smithcbdf7332014-03-18 02:07:28 +00001227 bool DumpExplicitInst,
1228 bool DumpRefOnly) {
1229 bool DumpedAny = false;
1230 for (auto *RedeclWithBadType : D->redecls()) {
1231 // FIXME: The redecls() range sometimes has elements of a less-specific
1232 // type. (In particular, ClassTemplateSpecializationDecl::redecls() gives
1233 // us TagDecls, and should give CXXRecordDecls).
1234 auto *Redecl = dyn_cast<SpecializationDecl>(RedeclWithBadType);
1235 if (!Redecl) {
1236 // Found the injected-class-name for a class template. This will be dumped
1237 // as part of its surrounding class so we don't need to dump it here.
1238 assert(isa<CXXRecordDecl>(RedeclWithBadType) &&
1239 "expected an injected-class-name");
1240 continue;
1241 }
1242
1243 switch (Redecl->getTemplateSpecializationKind()) {
1244 case TSK_ExplicitInstantiationDeclaration:
1245 case TSK_ExplicitInstantiationDefinition:
1246 if (!DumpExplicitInst)
1247 break;
1248 // Fall through.
1249 case TSK_Undeclared:
1250 case TSK_ImplicitInstantiation:
Richard Smithf7514452014-10-30 21:02:37 +00001251 if (DumpRefOnly)
1252 dumpDeclRef(Redecl);
1253 else
1254 dumpDecl(Redecl);
Richard Smithcbdf7332014-03-18 02:07:28 +00001255 DumpedAny = true;
1256 break;
1257 case TSK_ExplicitSpecialization:
1258 break;
1259 }
1260 }
1261
1262 // Ensure we dump at least one decl for each specialization.
1263 if (!DumpedAny)
Richard Smithf7514452014-10-30 21:02:37 +00001264 dumpDeclRef(D);
Richard Smithcbdf7332014-03-18 02:07:28 +00001265}
1266
Richard Smith20ade552014-03-17 23:34:53 +00001267template<typename TemplateDecl>
1268void ASTDumper::VisitTemplateDecl(const TemplateDecl *D,
1269 bool DumpExplicitInst) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001270 dumpName(D);
1271 dumpTemplateParameters(D->getTemplateParameters());
Richard Smithdcc2c452014-03-17 23:00:06 +00001272
Richard Smithf7514452014-10-30 21:02:37 +00001273 dumpDecl(D->getTemplatedDecl());
Richard Smithdcc2c452014-03-17 23:00:06 +00001274
Richard Smithcbdf7332014-03-18 02:07:28 +00001275 for (auto *Child : D->specializations())
Richard Smithf7514452014-10-30 21:02:37 +00001276 VisitTemplateDeclSpecialization(Child, DumpExplicitInst,
Richard Smithcbdf7332014-03-18 02:07:28 +00001277 !D->isCanonicalDecl());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001278}
1279
Richard Smith20ade552014-03-17 23:34:53 +00001280void ASTDumper::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) {
1281 // FIXME: We don't add a declaration of a function template specialization
1282 // to its context when it's explicitly instantiated, so dump explicit
1283 // instantiations when we dump the template itself.
1284 VisitTemplateDecl(D, true);
1285}
1286
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001287void ASTDumper::VisitClassTemplateDecl(const ClassTemplateDecl *D) {
Richard Smith20ade552014-03-17 23:34:53 +00001288 VisitTemplateDecl(D, false);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001289}
1290
1291void ASTDumper::VisitClassTemplateSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001292 const ClassTemplateSpecializationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001293 VisitCXXRecordDecl(D);
1294 dumpTemplateArgumentList(D->getTemplateArgs());
1295}
1296
1297void ASTDumper::VisitClassTemplatePartialSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001298 const ClassTemplatePartialSpecializationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001299 VisitClassTemplateSpecializationDecl(D);
1300 dumpTemplateParameters(D->getTemplateParameters());
1301}
1302
1303void ASTDumper::VisitClassScopeFunctionSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001304 const ClassScopeFunctionSpecializationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001305 dumpDeclRef(D->getSpecialization());
1306 if (D->hasExplicitTemplateArgs())
1307 dumpTemplateArgumentListInfo(D->templateArgs());
1308}
1309
Richard Smithd25789a2013-09-18 01:36:02 +00001310void ASTDumper::VisitVarTemplateDecl(const VarTemplateDecl *D) {
Richard Smith20ade552014-03-17 23:34:53 +00001311 VisitTemplateDecl(D, false);
Richard Smithd25789a2013-09-18 01:36:02 +00001312}
1313
1314void ASTDumper::VisitVarTemplateSpecializationDecl(
1315 const VarTemplateSpecializationDecl *D) {
1316 dumpTemplateArgumentList(D->getTemplateArgs());
1317 VisitVarDecl(D);
1318}
1319
1320void ASTDumper::VisitVarTemplatePartialSpecializationDecl(
1321 const VarTemplatePartialSpecializationDecl *D) {
1322 dumpTemplateParameters(D->getTemplateParameters());
1323 VisitVarTemplateSpecializationDecl(D);
1324}
1325
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001326void ASTDumper::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001327 if (D->wasDeclaredWithTypename())
1328 OS << " typename";
1329 else
1330 OS << " class";
1331 if (D->isParameterPack())
1332 OS << " ...";
1333 dumpName(D);
Richard Smithf7514452014-10-30 21:02:37 +00001334 if (D->hasDefaultArgument())
Richard Smithecf74ff2014-03-23 20:50:39 +00001335 dumpTemplateArgument(D->getDefaultArgument());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001336}
1337
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001338void ASTDumper::VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001339 dumpType(D->getType());
1340 if (D->isParameterPack())
1341 OS << " ...";
1342 dumpName(D);
Richard Smithf7514452014-10-30 21:02:37 +00001343 if (D->hasDefaultArgument())
Richard Smithecf74ff2014-03-23 20:50:39 +00001344 dumpTemplateArgument(D->getDefaultArgument());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001345}
1346
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001347void ASTDumper::VisitTemplateTemplateParmDecl(
1348 const TemplateTemplateParmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001349 if (D->isParameterPack())
1350 OS << " ...";
1351 dumpName(D);
1352 dumpTemplateParameters(D->getTemplateParameters());
Richard Smithf7514452014-10-30 21:02:37 +00001353 if (D->hasDefaultArgument())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001354 dumpTemplateArgumentLoc(D->getDefaultArgument());
1355}
1356
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001357void ASTDumper::VisitUsingDecl(const UsingDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001358 OS << ' ';
1359 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1360 OS << D->getNameAsString();
1361}
1362
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001363void ASTDumper::VisitUnresolvedUsingTypenameDecl(
1364 const UnresolvedUsingTypenameDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001365 OS << ' ';
1366 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1367 OS << D->getNameAsString();
1368}
1369
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001370void ASTDumper::VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001371 OS << ' ';
1372 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1373 OS << D->getNameAsString();
1374 dumpType(D->getType());
1375}
1376
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001377void ASTDumper::VisitUsingShadowDecl(const UsingShadowDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001378 OS << ' ';
1379 dumpBareDeclRef(D->getTargetDecl());
1380}
1381
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001382void ASTDumper::VisitLinkageSpecDecl(const LinkageSpecDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001383 switch (D->getLanguage()) {
1384 case LinkageSpecDecl::lang_c: OS << " C"; break;
1385 case LinkageSpecDecl::lang_cxx: OS << " C++"; break;
1386 }
1387}
1388
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001389void ASTDumper::VisitAccessSpecDecl(const AccessSpecDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001390 OS << ' ';
1391 dumpAccessSpecifier(D->getAccess());
1392}
1393
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001394void ASTDumper::VisitFriendDecl(const FriendDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001395 if (TypeSourceInfo *T = D->getFriendType())
1396 dumpType(T->getType());
1397 else
1398 dumpDecl(D->getFriendDecl());
1399}
1400
1401//===----------------------------------------------------------------------===//
1402// Obj-C Declarations
1403//===----------------------------------------------------------------------===//
1404
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001405void ASTDumper::VisitObjCIvarDecl(const ObjCIvarDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001406 dumpName(D);
1407 dumpType(D->getType());
1408 if (D->getSynthesize())
1409 OS << " synthesize";
1410
1411 switch (D->getAccessControl()) {
1412 case ObjCIvarDecl::None:
1413 OS << " none";
1414 break;
1415 case ObjCIvarDecl::Private:
1416 OS << " private";
1417 break;
1418 case ObjCIvarDecl::Protected:
1419 OS << " protected";
1420 break;
1421 case ObjCIvarDecl::Public:
1422 OS << " public";
1423 break;
1424 case ObjCIvarDecl::Package:
1425 OS << " package";
1426 break;
1427 }
1428}
1429
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001430void ASTDumper::VisitObjCMethodDecl(const ObjCMethodDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001431 if (D->isInstanceMethod())
1432 OS << " -";
1433 else
1434 OS << " +";
1435 dumpName(D);
Alp Toker314cc812014-01-25 16:55:45 +00001436 dumpType(D->getReturnType());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001437
Richard Trieude5cc7d2013-01-31 01:44:26 +00001438 if (D->isThisDeclarationADefinition()) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001439 dumpDeclContext(D);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001440 } else {
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001441 for (ObjCMethodDecl::param_const_iterator I = D->param_begin(),
1442 E = D->param_end();
Richard Smithf7514452014-10-30 21:02:37 +00001443 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001444 dumpDecl(*I);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001445 }
1446
Richard Smithf7514452014-10-30 21:02:37 +00001447 if (D->isVariadic())
1448 dumpChild([=] { OS << "..."; });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001449
Richard Smithf7514452014-10-30 21:02:37 +00001450 if (D->hasBody())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001451 dumpStmt(D->getBody());
1452}
1453
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001454void ASTDumper::VisitObjCCategoryDecl(const ObjCCategoryDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001455 dumpName(D);
1456 dumpDeclRef(D->getClassInterface());
1457 dumpDeclRef(D->getImplementation());
1458 for (ObjCCategoryDecl::protocol_iterator I = D->protocol_begin(),
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001459 E = D->protocol_end();
Richard Smithf7514452014-10-30 21:02:37 +00001460 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001461 dumpDeclRef(*I);
1462}
1463
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001464void ASTDumper::VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001465 dumpName(D);
1466 dumpDeclRef(D->getClassInterface());
1467 dumpDeclRef(D->getCategoryDecl());
1468}
1469
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001470void ASTDumper::VisitObjCProtocolDecl(const ObjCProtocolDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001471 dumpName(D);
Richard Smithdcc2c452014-03-17 23:00:06 +00001472
Richard Smith7fcb35f2014-03-18 02:37:59 +00001473 for (auto *Child : D->protocols())
Richard Smithf7514452014-10-30 21:02:37 +00001474 dumpDeclRef(Child);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001475}
1476
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001477void ASTDumper::VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001478 dumpName(D);
1479 dumpDeclRef(D->getSuperClass(), "super");
Richard Smithdcc2c452014-03-17 23:00:06 +00001480
Richard Smithf7514452014-10-30 21:02:37 +00001481 dumpDeclRef(D->getImplementation());
Richard Smith7fcb35f2014-03-18 02:37:59 +00001482 for (auto *Child : D->protocols())
Richard Smithf7514452014-10-30 21:02:37 +00001483 dumpDeclRef(Child);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001484}
1485
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001486void ASTDumper::VisitObjCImplementationDecl(const ObjCImplementationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001487 dumpName(D);
1488 dumpDeclRef(D->getSuperClass(), "super");
1489 dumpDeclRef(D->getClassInterface());
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001490 for (ObjCImplementationDecl::init_const_iterator I = D->init_begin(),
1491 E = D->init_end();
Richard Smithf7514452014-10-30 21:02:37 +00001492 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001493 dumpCXXCtorInitializer(*I);
1494}
1495
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001496void ASTDumper::VisitObjCCompatibleAliasDecl(const ObjCCompatibleAliasDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001497 dumpName(D);
1498 dumpDeclRef(D->getClassInterface());
1499}
1500
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001501void ASTDumper::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001502 dumpName(D);
1503 dumpType(D->getType());
1504
1505 if (D->getPropertyImplementation() == ObjCPropertyDecl::Required)
1506 OS << " required";
1507 else if (D->getPropertyImplementation() == ObjCPropertyDecl::Optional)
1508 OS << " optional";
1509
1510 ObjCPropertyDecl::PropertyAttributeKind Attrs = D->getPropertyAttributes();
1511 if (Attrs != ObjCPropertyDecl::OBJC_PR_noattr) {
1512 if (Attrs & ObjCPropertyDecl::OBJC_PR_readonly)
1513 OS << " readonly";
1514 if (Attrs & ObjCPropertyDecl::OBJC_PR_assign)
1515 OS << " assign";
1516 if (Attrs & ObjCPropertyDecl::OBJC_PR_readwrite)
1517 OS << " readwrite";
1518 if (Attrs & ObjCPropertyDecl::OBJC_PR_retain)
1519 OS << " retain";
1520 if (Attrs & ObjCPropertyDecl::OBJC_PR_copy)
1521 OS << " copy";
1522 if (Attrs & ObjCPropertyDecl::OBJC_PR_nonatomic)
1523 OS << " nonatomic";
1524 if (Attrs & ObjCPropertyDecl::OBJC_PR_atomic)
1525 OS << " atomic";
1526 if (Attrs & ObjCPropertyDecl::OBJC_PR_weak)
1527 OS << " weak";
1528 if (Attrs & ObjCPropertyDecl::OBJC_PR_strong)
1529 OS << " strong";
1530 if (Attrs & ObjCPropertyDecl::OBJC_PR_unsafe_unretained)
1531 OS << " unsafe_unretained";
Richard Smithf7514452014-10-30 21:02:37 +00001532 if (Attrs & ObjCPropertyDecl::OBJC_PR_getter)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001533 dumpDeclRef(D->getGetterMethodDecl(), "getter");
Richard Smithf7514452014-10-30 21:02:37 +00001534 if (Attrs & ObjCPropertyDecl::OBJC_PR_setter)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001535 dumpDeclRef(D->getSetterMethodDecl(), "setter");
1536 }
1537}
1538
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001539void ASTDumper::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001540 dumpName(D->getPropertyDecl());
1541 if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize)
1542 OS << " synthesize";
1543 else
1544 OS << " dynamic";
1545 dumpDeclRef(D->getPropertyDecl());
1546 dumpDeclRef(D->getPropertyIvarDecl());
1547}
1548
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001549void ASTDumper::VisitBlockDecl(const BlockDecl *D) {
Aaron Ballmanb2b8b1d2014-03-07 16:09:59 +00001550 for (auto I : D->params())
1551 dumpDecl(I);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001552
Richard Smithf7514452014-10-30 21:02:37 +00001553 if (D->isVariadic())
1554 dumpChild([=]{ OS << "..."; });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001555
Richard Smithf7514452014-10-30 21:02:37 +00001556 if (D->capturesCXXThis())
1557 dumpChild([=]{ OS << "capture this"; });
1558
Aaron Ballman9371dd22014-03-14 18:34:04 +00001559 for (const auto &I : D->captures()) {
Richard Smithf7514452014-10-30 21:02:37 +00001560 dumpChild([=] {
1561 OS << "capture";
1562 if (I.isByRef())
1563 OS << " byref";
1564 if (I.isNested())
1565 OS << " nested";
1566 if (I.getVariable()) {
1567 OS << ' ';
1568 dumpBareDeclRef(I.getVariable());
1569 }
1570 if (I.hasCopyExpr())
1571 dumpStmt(I.getCopyExpr());
1572 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001573 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001574 dumpStmt(D->getBody());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001575}
1576
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001577//===----------------------------------------------------------------------===//
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001578// Stmt dumping methods.
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001579//===----------------------------------------------------------------------===//
1580
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001581void ASTDumper::dumpStmt(const Stmt *S) {
Richard Smithf7514452014-10-30 21:02:37 +00001582 dumpChild([=] {
1583 if (!S) {
1584 ColorScope Color(*this, NullColor);
1585 OS << "<<<NULL>>>";
1586 return;
1587 }
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001588
Richard Smithf7514452014-10-30 21:02:37 +00001589 if (const DeclStmt *DS = dyn_cast<DeclStmt>(S)) {
1590 VisitDeclStmt(DS);
1591 return;
1592 }
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001593
Richard Smithf7514452014-10-30 21:02:37 +00001594 ConstStmtVisitor<ASTDumper>::Visit(S);
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001595
Richard Smithf7514452014-10-30 21:02:37 +00001596 for (Stmt::const_child_range CI = S->children(); CI; ++CI)
1597 dumpStmt(*CI);
1598 });
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001599}
1600
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001601void ASTDumper::VisitStmt(const Stmt *Node) {
Richard Trieud215b8d2013-01-26 01:31:20 +00001602 {
1603 ColorScope Color(*this, StmtColor);
1604 OS << Node->getStmtClassName();
1605 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001606 dumpPointer(Node);
1607 dumpSourceRange(Node->getSourceRange());
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001608}
1609
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001610void ASTDumper::VisitDeclStmt(const DeclStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001611 VisitStmt(Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001612 for (DeclStmt::const_decl_iterator I = Node->decl_begin(),
1613 E = Node->decl_end();
Richard Smithf7514452014-10-30 21:02:37 +00001614 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001615 dumpDecl(*I);
Ted Kremenek433a4922007-12-12 06:59:42 +00001616}
1617
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001618void ASTDumper::VisitAttributedStmt(const AttributedStmt *Node) {
Alexander Kornienko5bc364e2013-01-07 17:53:08 +00001619 VisitStmt(Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001620 for (ArrayRef<const Attr *>::iterator I = Node->getAttrs().begin(),
1621 E = Node->getAttrs().end();
Richard Smithf7514452014-10-30 21:02:37 +00001622 I != E; ++I)
Alexander Kornienko5bc364e2013-01-07 17:53:08 +00001623 dumpAttr(*I);
1624}
1625
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001626void ASTDumper::VisitLabelStmt(const LabelStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001627 VisitStmt(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001628 OS << " '" << Node->getName() << "'";
Chris Lattnercbe4f772007-08-08 22:51:59 +00001629}
1630
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001631void ASTDumper::VisitGotoStmt(const GotoStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001632 VisitStmt(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001633 OS << " '" << Node->getLabel()->getName() << "'";
1634 dumpPointer(Node->getLabel());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001635}
1636
Pavel Labath1ef83422013-09-04 14:35:00 +00001637void ASTDumper::VisitCXXCatchStmt(const CXXCatchStmt *Node) {
1638 VisitStmt(Node);
1639 dumpDecl(Node->getExceptionDecl());
1640}
1641
Chris Lattnercbe4f772007-08-08 22:51:59 +00001642//===----------------------------------------------------------------------===//
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001643// Expr dumping methods.
Chris Lattnercbe4f772007-08-08 22:51:59 +00001644//===----------------------------------------------------------------------===//
1645
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001646void ASTDumper::VisitExpr(const Expr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001647 VisitStmt(Node);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001648 dumpType(Node->getType());
1649
Richard Trieud215b8d2013-01-26 01:31:20 +00001650 {
1651 ColorScope Color(*this, ValueKindColor);
1652 switch (Node->getValueKind()) {
1653 case VK_RValue:
1654 break;
1655 case VK_LValue:
1656 OS << " lvalue";
1657 break;
1658 case VK_XValue:
1659 OS << " xvalue";
1660 break;
1661 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001662 }
1663
Richard Trieud215b8d2013-01-26 01:31:20 +00001664 {
1665 ColorScope Color(*this, ObjectKindColor);
1666 switch (Node->getObjectKind()) {
1667 case OK_Ordinary:
1668 break;
1669 case OK_BitField:
1670 OS << " bitfield";
1671 break;
1672 case OK_ObjCProperty:
1673 OS << " objcproperty";
1674 break;
1675 case OK_ObjCSubscript:
1676 OS << " objcsubscript";
1677 break;
1678 case OK_VectorComponent:
1679 OS << " vectorcomponent";
1680 break;
1681 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001682 }
Chris Lattnercbe4f772007-08-08 22:51:59 +00001683}
1684
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001685static void dumpBasePath(raw_ostream &OS, const CastExpr *Node) {
John McCallcf142162010-08-07 06:22:56 +00001686 if (Node->path_empty())
Anders Carlssona70cff62010-04-24 19:06:50 +00001687 return;
1688
1689 OS << " (";
1690 bool First = true;
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001691 for (CastExpr::path_const_iterator I = Node->path_begin(),
1692 E = Node->path_end();
1693 I != E; ++I) {
Anders Carlssona70cff62010-04-24 19:06:50 +00001694 const CXXBaseSpecifier *Base = *I;
1695 if (!First)
1696 OS << " -> ";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001697
Anders Carlssona70cff62010-04-24 19:06:50 +00001698 const CXXRecordDecl *RD =
1699 cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl());
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001700
Anders Carlssona70cff62010-04-24 19:06:50 +00001701 if (Base->isVirtual())
1702 OS << "virtual ";
1703 OS << RD->getName();
1704 First = false;
1705 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001706
Anders Carlssona70cff62010-04-24 19:06:50 +00001707 OS << ')';
1708}
1709
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001710void ASTDumper::VisitCastExpr(const CastExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001711 VisitExpr(Node);
Richard Trieud215b8d2013-01-26 01:31:20 +00001712 OS << " <";
1713 {
1714 ColorScope Color(*this, CastColor);
1715 OS << Node->getCastKindName();
1716 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001717 dumpBasePath(OS, Node);
Anders Carlssona70cff62010-04-24 19:06:50 +00001718 OS << ">";
Anders Carlssond7923c62009-08-22 23:33:40 +00001719}
1720
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001721void ASTDumper::VisitDeclRefExpr(const DeclRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001722 VisitExpr(Node);
Ted Kremenek5f64ca82007-09-10 17:32:55 +00001723
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001724 OS << " ";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001725 dumpBareDeclRef(Node->getDecl());
Chandler Carruth8d26bb02011-05-01 23:48:14 +00001726 if (Node->getDecl() != Node->getFoundDecl()) {
1727 OS << " (";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001728 dumpBareDeclRef(Node->getFoundDecl());
Chandler Carruth8d26bb02011-05-01 23:48:14 +00001729 OS << ")";
1730 }
John McCall351762c2011-02-07 10:33:21 +00001731}
1732
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001733void ASTDumper::VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001734 VisitExpr(Node);
John McCall76d09942009-12-11 21:50:11 +00001735 OS << " (";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001736 if (!Node->requiresADL())
1737 OS << "no ";
Benjamin Kramerb11416d2010-04-17 09:33:03 +00001738 OS << "ADL) = '" << Node->getName() << '\'';
John McCall76d09942009-12-11 21:50:11 +00001739
1740 UnresolvedLookupExpr::decls_iterator
1741 I = Node->decls_begin(), E = Node->decls_end();
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001742 if (I == E)
1743 OS << " empty";
John McCall76d09942009-12-11 21:50:11 +00001744 for (; I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001745 dumpPointer(*I);
John McCall76d09942009-12-11 21:50:11 +00001746}
1747
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001748void ASTDumper::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001749 VisitExpr(Node);
Steve Naroff5d5efca2008-03-12 13:19:12 +00001750
Richard Trieud215b8d2013-01-26 01:31:20 +00001751 {
1752 ColorScope Color(*this, DeclKindNameColor);
1753 OS << " " << Node->getDecl()->getDeclKindName() << "Decl";
1754 }
1755 OS << "='" << *Node->getDecl() << "'";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001756 dumpPointer(Node->getDecl());
Steve Naroffb3424a92008-05-23 22:01:24 +00001757 if (Node->isFreeIvar())
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001758 OS << " isFreeIvar";
Steve Naroff5d5efca2008-03-12 13:19:12 +00001759}
1760
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001761void ASTDumper::VisitPredefinedExpr(const PredefinedExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001762 VisitExpr(Node);
Alexey Bataevec474782014-10-09 08:45:04 +00001763 OS << " " << PredefinedExpr::getIdentTypeName(Node->getIdentType());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001764}
1765
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001766void ASTDumper::VisitCharacterLiteral(const CharacterLiteral *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001767 VisitExpr(Node);
Richard Trieud215b8d2013-01-26 01:31:20 +00001768 ColorScope Color(*this, ValueColor);
Richard Trieu364ee422011-11-03 23:56:23 +00001769 OS << " " << Node->getValue();
Chris Lattnercbe4f772007-08-08 22:51:59 +00001770}
1771
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001772void ASTDumper::VisitIntegerLiteral(const IntegerLiteral *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001773 VisitExpr(Node);
Chris Lattnercbe4f772007-08-08 22:51:59 +00001774
1775 bool isSigned = Node->getType()->isSignedIntegerType();
Richard Trieud215b8d2013-01-26 01:31:20 +00001776 ColorScope Color(*this, ValueColor);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001777 OS << " " << Node->getValue().toString(10, isSigned);
Chris Lattnercbe4f772007-08-08 22:51:59 +00001778}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001779
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001780void ASTDumper::VisitFloatingLiteral(const FloatingLiteral *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001781 VisitExpr(Node);
Richard Trieud215b8d2013-01-26 01:31:20 +00001782 ColorScope Color(*this, ValueColor);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001783 OS << " " << Node->getValueAsApproximateDouble();
Chris Lattnercbe4f772007-08-08 22:51:59 +00001784}
Chris Lattner1c20a172007-08-26 03:42:43 +00001785
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001786void ASTDumper::VisitStringLiteral(const StringLiteral *Str) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001787 VisitExpr(Str);
Richard Trieud215b8d2013-01-26 01:31:20 +00001788 ColorScope Color(*this, ValueColor);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001789 OS << " ";
Richard Trieudc355912012-06-13 20:25:24 +00001790 Str->outputString(OS);
Chris Lattnercbe4f772007-08-08 22:51:59 +00001791}
Chris Lattner84ca3762007-08-30 01:00:35 +00001792
Richard Smithf0514962014-06-03 08:24:28 +00001793void ASTDumper::VisitInitListExpr(const InitListExpr *ILE) {
1794 VisitExpr(ILE);
1795 if (auto *Filler = ILE->getArrayFiller()) {
Richard Smithf7514452014-10-30 21:02:37 +00001796 dumpChild([=] {
1797 OS << "array filler";
1798 dumpStmt(Filler);
1799 });
Richard Smithf0514962014-06-03 08:24:28 +00001800 }
1801 if (auto *Field = ILE->getInitializedFieldInUnion()) {
1802 OS << " field ";
1803 dumpBareDeclRef(Field);
1804 }
1805}
1806
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001807void ASTDumper::VisitUnaryOperator(const UnaryOperator *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001808 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001809 OS << " " << (Node->isPostfix() ? "postfix" : "prefix")
1810 << " '" << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
Chris Lattnercbe4f772007-08-08 22:51:59 +00001811}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001812
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001813void ASTDumper::VisitUnaryExprOrTypeTraitExpr(
1814 const UnaryExprOrTypeTraitExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001815 VisitExpr(Node);
Peter Collingbournee190dee2011-03-11 19:24:49 +00001816 switch(Node->getKind()) {
1817 case UETT_SizeOf:
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001818 OS << " sizeof";
Peter Collingbournee190dee2011-03-11 19:24:49 +00001819 break;
1820 case UETT_AlignOf:
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001821 OS << " alignof";
Peter Collingbournee190dee2011-03-11 19:24:49 +00001822 break;
1823 case UETT_VecStep:
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001824 OS << " vec_step";
Peter Collingbournee190dee2011-03-11 19:24:49 +00001825 break;
1826 }
Sebastian Redl6f282892008-11-11 17:56:53 +00001827 if (Node->isArgumentType())
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001828 dumpType(Node->getArgumentType());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001829}
Chris Lattnerdb3b3ff2007-08-09 17:35:30 +00001830
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001831void ASTDumper::VisitMemberExpr(const MemberExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001832 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001833 OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl();
1834 dumpPointer(Node->getMemberDecl());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001835}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001836
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001837void ASTDumper::VisitExtVectorElementExpr(const ExtVectorElementExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001838 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001839 OS << " " << Node->getAccessor().getNameStart();
Chris Lattnercbe4f772007-08-08 22:51:59 +00001840}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001841
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001842void ASTDumper::VisitBinaryOperator(const BinaryOperator *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001843 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001844 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
Chris Lattner86928112007-08-25 02:00:02 +00001845}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001846
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001847void ASTDumper::VisitCompoundAssignOperator(
1848 const CompoundAssignOperator *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001849 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001850 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode())
1851 << "' ComputeLHSTy=";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001852 dumpBareType(Node->getComputationLHSType());
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001853 OS << " ComputeResultTy=";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001854 dumpBareType(Node->getComputationResultType());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001855}
Chris Lattnercbe4f772007-08-08 22:51:59 +00001856
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001857void ASTDumper::VisitBlockExpr(const BlockExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001858 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001859 dumpDecl(Node->getBlockDecl());
John McCall351762c2011-02-07 10:33:21 +00001860}
1861
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001862void ASTDumper::VisitOpaqueValueExpr(const OpaqueValueExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001863 VisitExpr(Node);
John McCallfe96e0b2011-11-06 09:01:30 +00001864
Richard Smithf7514452014-10-30 21:02:37 +00001865 if (Expr *Source = Node->getSourceExpr())
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001866 dumpStmt(Source);
John McCallfe96e0b2011-11-06 09:01:30 +00001867}
1868
Chris Lattnercbe4f772007-08-08 22:51:59 +00001869// GNU extensions.
1870
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001871void ASTDumper::VisitAddrLabelExpr(const AddrLabelExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001872 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001873 OS << " " << Node->getLabel()->getName();
1874 dumpPointer(Node->getLabel());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001875}
1876
Chris Lattner8f184b12007-08-09 18:03:18 +00001877//===----------------------------------------------------------------------===//
1878// C++ Expressions
1879//===----------------------------------------------------------------------===//
Chris Lattnercbe4f772007-08-08 22:51:59 +00001880
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001881void ASTDumper::VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001882 VisitExpr(Node);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001883 OS << " " << Node->getCastName()
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001884 << "<" << Node->getTypeAsWritten().getAsString() << ">"
Anders Carlssona70cff62010-04-24 19:06:50 +00001885 << " <" << Node->getCastKindName();
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001886 dumpBasePath(OS, Node);
Anders Carlssona70cff62010-04-24 19:06:50 +00001887 OS << ">";
Chris Lattnercbe4f772007-08-08 22:51:59 +00001888}
1889
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001890void ASTDumper::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001891 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001892 OS << " " << (Node->getValue() ? "true" : "false");
Chris Lattnercbe4f772007-08-08 22:51:59 +00001893}
1894
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001895void ASTDumper::VisitCXXThisExpr(const CXXThisExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001896 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001897 OS << " this";
Douglas Gregor8ea1f532008-11-04 14:56:14 +00001898}
1899
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001900void ASTDumper::VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001901 VisitExpr(Node);
Eli Friedman29538892011-09-02 17:38:59 +00001902 OS << " functional cast to " << Node->getTypeAsWritten().getAsString()
1903 << " <" << Node->getCastKindName() << ">";
Douglas Gregore200adc2008-10-27 19:41:14 +00001904}
1905
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001906void ASTDumper::VisitCXXConstructExpr(const CXXConstructExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001907 VisitExpr(Node);
John McCalleba90cd2010-02-02 19:03:45 +00001908 CXXConstructorDecl *Ctor = Node->getConstructor();
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001909 dumpType(Ctor->getType());
Anders Carlsson073846832009-08-12 00:21:52 +00001910 if (Node->isElidable())
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001911 OS << " elidable";
John McCall85370042010-08-07 06:38:55 +00001912 if (Node->requiresZeroInitialization())
1913 OS << " zeroing";
Anders Carlsson073846832009-08-12 00:21:52 +00001914}
1915
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001916void ASTDumper::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001917 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001918 OS << " ";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001919 dumpCXXTemporary(Node->getTemporary());
Anders Carlsson073846832009-08-12 00:21:52 +00001920}
1921
Reid Kleckner5c682bc2015-03-19 18:09:25 +00001922void ASTDumper::VisitCXXNewExpr(const CXXNewExpr *Node) {
1923 VisitExpr(Node);
Reid Kleckner5c682bc2015-03-19 18:09:25 +00001924 if (Node->isGlobalNew())
Reid Kleckner461c0c62015-03-19 18:47:47 +00001925 OS << " global";
Reid Kleckner5c682bc2015-03-19 18:09:25 +00001926 if (Node->isArray())
Reid Kleckner461c0c62015-03-19 18:47:47 +00001927 OS << " array";
1928 if (Node->getOperatorNew()) {
1929 OS << ' ';
1930 dumpBareDeclRef(Node->getOperatorNew());
1931 }
Reid Kleckner5c682bc2015-03-19 18:09:25 +00001932 // We could dump the deallocation function used in case of error, but it's
1933 // usually not that interesting.
1934}
1935
1936void ASTDumper::VisitCXXDeleteExpr(const CXXDeleteExpr *Node) {
1937 VisitExpr(Node);
Reid Kleckner5c682bc2015-03-19 18:09:25 +00001938 if (Node->isGlobalDelete())
Reid Kleckner461c0c62015-03-19 18:47:47 +00001939 OS << " global";
Reid Kleckner5c682bc2015-03-19 18:09:25 +00001940 if (Node->isArrayForm())
Reid Kleckner461c0c62015-03-19 18:47:47 +00001941 OS << " array";
1942 if (Node->getOperatorDelete()) {
1943 OS << ' ';
1944 dumpBareDeclRef(Node->getOperatorDelete());
1945 }
Reid Kleckner5c682bc2015-03-19 18:09:25 +00001946}
1947
Richard Smithe6c01442013-06-05 00:46:14 +00001948void
1949ASTDumper::VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *Node) {
1950 VisitExpr(Node);
1951 if (const ValueDecl *VD = Node->getExtendingDecl()) {
1952 OS << " extended by ";
1953 dumpBareDeclRef(VD);
1954 }
1955}
1956
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001957void ASTDumper::VisitExprWithCleanups(const ExprWithCleanups *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001958 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001959 for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i)
1960 dumpDeclRef(Node->getObject(i), "cleanup");
Anders Carlsson073846832009-08-12 00:21:52 +00001961}
1962
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001963void ASTDumper::dumpCXXTemporary(const CXXTemporary *Temporary) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001964 OS << "(CXXTemporary";
1965 dumpPointer(Temporary);
1966 OS << ")";
Anders Carlsson073846832009-08-12 00:21:52 +00001967}
1968
Serge Pavlov6b926032015-02-16 19:58:41 +00001969void ASTDumper::VisitSizeOfPackExpr(const SizeOfPackExpr *Node) {
1970 VisitExpr(Node);
1971 dumpPointer(Node->getPack());
1972 dumpName(Node->getPack());
1973}
1974
1975
Anders Carlsson76f4a902007-08-21 17:43:55 +00001976//===----------------------------------------------------------------------===//
1977// Obj-C Expressions
1978//===----------------------------------------------------------------------===//
1979
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001980void ASTDumper::VisitObjCMessageExpr(const ObjCMessageExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001981 VisitExpr(Node);
Aaron Ballmanb190f972014-01-03 17:59:55 +00001982 OS << " selector=";
1983 Node->getSelector().print(OS);
Douglas Gregor9a129192010-04-21 00:45:42 +00001984 switch (Node->getReceiverKind()) {
1985 case ObjCMessageExpr::Instance:
1986 break;
1987
1988 case ObjCMessageExpr::Class:
1989 OS << " class=";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001990 dumpBareType(Node->getClassReceiver());
Douglas Gregor9a129192010-04-21 00:45:42 +00001991 break;
1992
1993 case ObjCMessageExpr::SuperInstance:
1994 OS << " super (instance)";
1995 break;
1996
1997 case ObjCMessageExpr::SuperClass:
1998 OS << " super (class)";
1999 break;
2000 }
Ted Kremenek36748da2008-02-29 22:04:05 +00002001}
2002
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002003void ASTDumper::VisitObjCBoxedExpr(const ObjCBoxedExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002004 VisitExpr(Node);
Aaron Ballmanb190f972014-01-03 17:59:55 +00002005 OS << " selector=";
2006 Node->getBoxingMethod()->getSelector().print(OS);
Argyrios Kyrtzidis9dd40892012-05-10 20:02:31 +00002007}
2008
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002009void ASTDumper::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002010 VisitStmt(Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002011 if (const VarDecl *CatchParam = Node->getCatchParamDecl())
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002012 dumpDecl(CatchParam);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002013 else
Douglas Gregor96c79492010-04-23 22:50:49 +00002014 OS << " catch all";
Douglas Gregor96c79492010-04-23 22:50:49 +00002015}
2016
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002017void ASTDumper::VisitObjCEncodeExpr(const ObjCEncodeExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002018 VisitExpr(Node);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00002019 dumpType(Node->getEncodedType());
Anders Carlssonc5a81eb2007-08-22 15:14:15 +00002020}
2021
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002022void ASTDumper::VisitObjCSelectorExpr(const ObjCSelectorExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002023 VisitExpr(Node);
Mike Stump11289f42009-09-09 15:08:12 +00002024
Aaron Ballmanb190f972014-01-03 17:59:55 +00002025 OS << " ";
2026 Node->getSelector().print(OS);
Fariborz Jahanian4bef4622007-10-16 20:40:23 +00002027}
2028
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002029void ASTDumper::VisitObjCProtocolExpr(const ObjCProtocolExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002030 VisitExpr(Node);
Mike Stump11289f42009-09-09 15:08:12 +00002031
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00002032 OS << ' ' << *Node->getProtocol();
Fariborz Jahaniana32aaef2007-10-17 16:58:11 +00002033}
Daniel Dunbar4b8c6db2008-08-30 05:35:15 +00002034
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002035void ASTDumper::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002036 VisitExpr(Node);
John McCallb7bd14f2010-12-02 01:19:52 +00002037 if (Node->isImplicitProperty()) {
Fariborz Jahanian0f0b3022010-12-22 19:46:35 +00002038 OS << " Kind=MethodRef Getter=\"";
2039 if (Node->getImplicitPropertyGetter())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002040 Node->getImplicitPropertyGetter()->getSelector().print(OS);
Fariborz Jahanian0f0b3022010-12-22 19:46:35 +00002041 else
2042 OS << "(null)";
2043
2044 OS << "\" Setter=\"";
John McCallb7bd14f2010-12-02 01:19:52 +00002045 if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002046 Setter->getSelector().print(OS);
John McCallb7bd14f2010-12-02 01:19:52 +00002047 else
2048 OS << "(null)";
2049 OS << "\"";
2050 } else {
Benjamin Kramerb89514a2011-10-14 18:45:37 +00002051 OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty() <<'"';
John McCallb7bd14f2010-12-02 01:19:52 +00002052 }
Fariborz Jahanian8a1810f2008-11-22 18:39:36 +00002053
Fariborz Jahanian681c0752010-10-14 16:04:05 +00002054 if (Node->isSuperReceiver())
2055 OS << " super";
Argyrios Kyrtzidisab468b02012-03-30 00:19:18 +00002056
2057 OS << " Messaging=";
2058 if (Node->isMessagingGetter() && Node->isMessagingSetter())
2059 OS << "Getter&Setter";
2060 else if (Node->isMessagingGetter())
2061 OS << "Getter";
2062 else if (Node->isMessagingSetter())
2063 OS << "Setter";
Douglas Gregor8ea1f532008-11-04 14:56:14 +00002064}
2065
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002066void ASTDumper::VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002067 VisitExpr(Node);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002068 if (Node->isArraySubscriptRefExpr())
2069 OS << " Kind=ArraySubscript GetterForArray=\"";
2070 else
2071 OS << " Kind=DictionarySubscript GetterForDictionary=\"";
2072 if (Node->getAtIndexMethodDecl())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002073 Node->getAtIndexMethodDecl()->getSelector().print(OS);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002074 else
2075 OS << "(null)";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00002076
Ted Kremeneke65b0862012-03-06 20:05:56 +00002077 if (Node->isArraySubscriptRefExpr())
2078 OS << "\" SetterForArray=\"";
2079 else
2080 OS << "\" SetterForDictionary=\"";
2081 if (Node->setAtIndexMethodDecl())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002082 Node->setAtIndexMethodDecl()->getSelector().print(OS);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002083 else
2084 OS << "(null)";
2085}
2086
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002087void ASTDumper::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002088 VisitExpr(Node);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002089 OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no");
2090}
2091
Chris Lattnercbe4f772007-08-08 22:51:59 +00002092//===----------------------------------------------------------------------===//
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002093// Comments
2094//===----------------------------------------------------------------------===//
2095
2096const char *ASTDumper::getCommandName(unsigned CommandID) {
2097 if (Traits)
2098 return Traits->getCommandInfo(CommandID)->Name;
2099 const CommandInfo *Info = CommandTraits::getBuiltinCommandInfo(CommandID);
2100 if (Info)
2101 return Info->Name;
2102 return "<not a builtin command>";
2103}
2104
2105void ASTDumper::dumpFullComment(const FullComment *C) {
2106 if (!C)
2107 return;
2108
2109 FC = C;
2110 dumpComment(C);
Craig Topper36250ad2014-05-12 05:36:57 +00002111 FC = nullptr;
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002112}
2113
2114void ASTDumper::dumpComment(const Comment *C) {
Richard Smithf7514452014-10-30 21:02:37 +00002115 dumpChild([=] {
2116 if (!C) {
2117 ColorScope Color(*this, NullColor);
2118 OS << "<<<NULL>>>";
2119 return;
2120 }
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002121
Richard Smithf7514452014-10-30 21:02:37 +00002122 {
2123 ColorScope Color(*this, CommentColor);
2124 OS << C->getCommentKindName();
2125 }
2126 dumpPointer(C);
2127 dumpSourceRange(C->getSourceRange());
2128 ConstCommentVisitor<ASTDumper>::visit(C);
2129 for (Comment::child_iterator I = C->child_begin(), E = C->child_end();
2130 I != E; ++I)
2131 dumpComment(*I);
2132 });
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002133}
2134
2135void ASTDumper::visitTextComment(const TextComment *C) {
2136 OS << " Text=\"" << C->getText() << "\"";
2137}
2138
2139void ASTDumper::visitInlineCommandComment(const InlineCommandComment *C) {
2140 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
2141 switch (C->getRenderKind()) {
2142 case InlineCommandComment::RenderNormal:
2143 OS << " RenderNormal";
2144 break;
2145 case InlineCommandComment::RenderBold:
2146 OS << " RenderBold";
2147 break;
2148 case InlineCommandComment::RenderMonospaced:
2149 OS << " RenderMonospaced";
2150 break;
2151 case InlineCommandComment::RenderEmphasized:
2152 OS << " RenderEmphasized";
2153 break;
2154 }
2155
2156 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
2157 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
2158}
2159
2160void ASTDumper::visitHTMLStartTagComment(const HTMLStartTagComment *C) {
2161 OS << " Name=\"" << C->getTagName() << "\"";
2162 if (C->getNumAttrs() != 0) {
2163 OS << " Attrs: ";
2164 for (unsigned i = 0, e = C->getNumAttrs(); i != e; ++i) {
2165 const HTMLStartTagComment::Attribute &Attr = C->getAttr(i);
2166 OS << " \"" << Attr.Name << "=\"" << Attr.Value << "\"";
2167 }
2168 }
2169 if (C->isSelfClosing())
2170 OS << " SelfClosing";
2171}
2172
2173void ASTDumper::visitHTMLEndTagComment(const HTMLEndTagComment *C) {
2174 OS << " Name=\"" << C->getTagName() << "\"";
2175}
2176
2177void ASTDumper::visitBlockCommandComment(const BlockCommandComment *C) {
2178 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
2179 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
2180 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
2181}
2182
2183void ASTDumper::visitParamCommandComment(const ParamCommandComment *C) {
2184 OS << " " << ParamCommandComment::getDirectionAsString(C->getDirection());
2185
2186 if (C->isDirectionExplicit())
2187 OS << " explicitly";
2188 else
2189 OS << " implicitly";
2190
2191 if (C->hasParamName()) {
2192 if (C->isParamIndexValid())
2193 OS << " Param=\"" << C->getParamName(FC) << "\"";
2194 else
2195 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
2196 }
2197
Dmitri Gribenkodbff5c72014-03-19 14:03:47 +00002198 if (C->isParamIndexValid() && !C->isVarArgParam())
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002199 OS << " ParamIndex=" << C->getParamIndex();
2200}
2201
2202void ASTDumper::visitTParamCommandComment(const TParamCommandComment *C) {
2203 if (C->hasParamName()) {
2204 if (C->isPositionValid())
2205 OS << " Param=\"" << C->getParamName(FC) << "\"";
2206 else
2207 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
2208 }
2209
2210 if (C->isPositionValid()) {
2211 OS << " Position=<";
2212 for (unsigned i = 0, e = C->getDepth(); i != e; ++i) {
2213 OS << C->getIndex(i);
2214 if (i != e - 1)
2215 OS << ", ";
2216 }
2217 OS << ">";
2218 }
2219}
2220
2221void ASTDumper::visitVerbatimBlockComment(const VerbatimBlockComment *C) {
2222 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\""
2223 " CloseName=\"" << C->getCloseName() << "\"";
2224}
2225
2226void ASTDumper::visitVerbatimBlockLineComment(
2227 const VerbatimBlockLineComment *C) {
2228 OS << " Text=\"" << C->getText() << "\"";
2229}
2230
2231void ASTDumper::visitVerbatimLineComment(const VerbatimLineComment *C) {
2232 OS << " Text=\"" << C->getText() << "\"";
2233}
2234
2235//===----------------------------------------------------------------------===//
Richard Smithd5e7ff82014-10-31 01:17:45 +00002236// Type method implementations
2237//===----------------------------------------------------------------------===//
2238
2239void QualType::dump(const char *msg) const {
2240 if (msg)
2241 llvm::errs() << msg << ": ";
2242 dump();
2243}
2244
2245LLVM_DUMP_METHOD void QualType::dump() const {
2246 ASTDumper Dumper(llvm::errs(), nullptr, nullptr);
2247 Dumper.dumpTypeAsChild(*this);
2248}
2249
2250LLVM_DUMP_METHOD void Type::dump() const { QualType(this, 0).dump(); }
2251
2252//===----------------------------------------------------------------------===//
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002253// Decl method implementations
2254//===----------------------------------------------------------------------===//
2255
Alp Tokeref6b0072014-01-04 13:47:14 +00002256LLVM_DUMP_METHOD void Decl::dump() const { dump(llvm::errs()); }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002257
Alp Tokeref6b0072014-01-04 13:47:14 +00002258LLVM_DUMP_METHOD void Decl::dump(raw_ostream &OS) const {
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002259 ASTDumper P(OS, &getASTContext().getCommentCommandTraits(),
2260 &getASTContext().getSourceManager());
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002261 P.dumpDecl(this);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002262}
2263
Alp Tokeref6b0072014-01-04 13:47:14 +00002264LLVM_DUMP_METHOD void Decl::dumpColor() const {
Richard Trieud215b8d2013-01-26 01:31:20 +00002265 ASTDumper P(llvm::errs(), &getASTContext().getCommentCommandTraits(),
2266 &getASTContext().getSourceManager(), /*ShowColors*/true);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002267 P.dumpDecl(this);
Richard Trieud215b8d2013-01-26 01:31:20 +00002268}
Richard Smith33937e72013-06-22 21:49:40 +00002269
Alp Tokeref6b0072014-01-04 13:47:14 +00002270LLVM_DUMP_METHOD void DeclContext::dumpLookups() const {
Richard Smith6ea05822013-06-24 01:45:33 +00002271 dumpLookups(llvm::errs());
2272}
2273
Richard Smith35f986d2014-08-11 22:11:07 +00002274LLVM_DUMP_METHOD void DeclContext::dumpLookups(raw_ostream &OS,
2275 bool DumpDecls) const {
Richard Smith33937e72013-06-22 21:49:40 +00002276 const DeclContext *DC = this;
2277 while (!DC->isTranslationUnit())
2278 DC = DC->getParent();
2279 ASTContext &Ctx = cast<TranslationUnitDecl>(DC)->getASTContext();
Richard Smith6ea05822013-06-24 01:45:33 +00002280 ASTDumper P(OS, &Ctx.getCommentCommandTraits(), &Ctx.getSourceManager());
Richard Smith35f986d2014-08-11 22:11:07 +00002281 P.dumpLookups(this, DumpDecls);
Richard Smith33937e72013-06-22 21:49:40 +00002282}
2283
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002284//===----------------------------------------------------------------------===//
Chris Lattnercbe4f772007-08-08 22:51:59 +00002285// Stmt method implementations
2286//===----------------------------------------------------------------------===//
2287
Alp Tokeref6b0072014-01-04 13:47:14 +00002288LLVM_DUMP_METHOD void Stmt::dump(SourceManager &SM) const {
Argyrios Kyrtzidisc049f752010-08-09 10:54:31 +00002289 dump(llvm::errs(), SM);
2290}
2291
Alp Tokeref6b0072014-01-04 13:47:14 +00002292LLVM_DUMP_METHOD void Stmt::dump(raw_ostream &OS, SourceManager &SM) const {
Craig Topper36250ad2014-05-12 05:36:57 +00002293 ASTDumper P(OS, nullptr, &SM);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002294 P.dumpStmt(this);
Chris Lattner779d5d92007-08-30 00:40:08 +00002295}
2296
Faisal Vali2da8ed92015-03-22 13:35:56 +00002297LLVM_DUMP_METHOD void Stmt::dump(raw_ostream &OS) const {
2298 ASTDumper P(OS, nullptr, nullptr);
2299 P.dumpStmt(this);
2300}
2301
Alp Tokeref6b0072014-01-04 13:47:14 +00002302LLVM_DUMP_METHOD void Stmt::dump() const {
Craig Topper36250ad2014-05-12 05:36:57 +00002303 ASTDumper P(llvm::errs(), nullptr, nullptr);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002304 P.dumpStmt(this);
Chris Lattnercbe4f772007-08-08 22:51:59 +00002305}
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002306
Alp Tokeref6b0072014-01-04 13:47:14 +00002307LLVM_DUMP_METHOD void Stmt::dumpColor() const {
Craig Topper36250ad2014-05-12 05:36:57 +00002308 ASTDumper P(llvm::errs(), nullptr, nullptr, /*ShowColors*/true);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002309 P.dumpStmt(this);
Richard Trieud215b8d2013-01-26 01:31:20 +00002310}
2311
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002312//===----------------------------------------------------------------------===//
2313// Comment method implementations
2314//===----------------------------------------------------------------------===//
2315
Craig Topper36250ad2014-05-12 05:36:57 +00002316LLVM_DUMP_METHOD void Comment::dump() const {
2317 dump(llvm::errs(), nullptr, nullptr);
2318}
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002319
Alp Tokeref6b0072014-01-04 13:47:14 +00002320LLVM_DUMP_METHOD void Comment::dump(const ASTContext &Context) const {
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002321 dump(llvm::errs(), &Context.getCommentCommandTraits(),
2322 &Context.getSourceManager());
2323}
2324
Alexander Kornienko00911f12013-01-15 12:20:21 +00002325void Comment::dump(raw_ostream &OS, const CommandTraits *Traits,
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002326 const SourceManager *SM) const {
2327 const FullComment *FC = dyn_cast<FullComment>(this);
2328 ASTDumper D(OS, Traits, SM);
2329 D.dumpFullComment(FC);
2330}
Richard Trieud215b8d2013-01-26 01:31:20 +00002331
Alp Tokeref6b0072014-01-04 13:47:14 +00002332LLVM_DUMP_METHOD void Comment::dumpColor() const {
Richard Trieud215b8d2013-01-26 01:31:20 +00002333 const FullComment *FC = dyn_cast<FullComment>(this);
Craig Topper36250ad2014-05-12 05:36:57 +00002334 ASTDumper D(llvm::errs(), nullptr, nullptr, /*ShowColors*/true);
Richard Trieud215b8d2013-01-26 01:31:20 +00002335 D.dumpFullComment(FC);
2336}