blob: ebf5e651ef9ae2dc25017d8067bd8571d47566d5 [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);
Richard Smithe6c01442013-06-05 00:46:14 +0000511 void VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000512 void VisitExprWithCleanups(const ExprWithCleanups *Node);
513 void VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *Node);
514 void dumpCXXTemporary(const CXXTemporary *Temporary);
Faisal Vali2b391ab2013-09-26 19:54:12 +0000515 void VisitLambdaExpr(const LambdaExpr *Node) {
516 VisitExpr(Node);
517 dumpDecl(Node->getLambdaClass());
518 }
Mike Stump11289f42009-09-09 15:08:12 +0000519
Chris Lattner84ca3762007-08-30 01:00:35 +0000520 // ObjC
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000521 void VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node);
522 void VisitObjCEncodeExpr(const ObjCEncodeExpr *Node);
523 void VisitObjCMessageExpr(const ObjCMessageExpr *Node);
524 void VisitObjCBoxedExpr(const ObjCBoxedExpr *Node);
525 void VisitObjCSelectorExpr(const ObjCSelectorExpr *Node);
526 void VisitObjCProtocolExpr(const ObjCProtocolExpr *Node);
527 void VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node);
528 void VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *Node);
529 void VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node);
530 void VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node);
Alexander Kornienkoebc17b52013-01-14 14:07:11 +0000531
532 // Comments.
533 const char *getCommandName(unsigned CommandID);
534 void dumpComment(const Comment *C);
535
536 // Inline comments.
537 void visitTextComment(const TextComment *C);
538 void visitInlineCommandComment(const InlineCommandComment *C);
539 void visitHTMLStartTagComment(const HTMLStartTagComment *C);
540 void visitHTMLEndTagComment(const HTMLEndTagComment *C);
541
542 // Block comments.
543 void visitBlockCommandComment(const BlockCommandComment *C);
544 void visitParamCommandComment(const ParamCommandComment *C);
545 void visitTParamCommandComment(const TParamCommandComment *C);
546 void visitVerbatimBlockComment(const VerbatimBlockComment *C);
547 void visitVerbatimBlockLineComment(const VerbatimBlockLineComment *C);
548 void visitVerbatimLineComment(const VerbatimLineComment *C);
Chris Lattnercbe4f772007-08-08 22:51:59 +0000549 };
550}
551
552//===----------------------------------------------------------------------===//
Chris Lattner11e30d32007-08-30 06:17:34 +0000553// Utilities
554//===----------------------------------------------------------------------===//
555
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000556void ASTDumper::dumpPointer(const void *Ptr) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000557 ColorScope Color(*this, AddressColor);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000558 OS << ' ' << Ptr;
559}
560
Alexander Kornienko18ec81b2012-12-13 13:59:55 +0000561void ASTDumper::dumpLocation(SourceLocation Loc) {
Alex McCarthye14ddef2014-05-02 20:24:11 +0000562 if (!SM)
563 return;
564
Richard Trieud215b8d2013-01-26 01:31:20 +0000565 ColorScope Color(*this, LocationColor);
Chris Lattner53e384f2009-01-16 07:00:02 +0000566 SourceLocation SpellingLoc = SM->getSpellingLoc(Loc);
Mike Stump11289f42009-09-09 15:08:12 +0000567
Chris Lattner11e30d32007-08-30 06:17:34 +0000568 // The general format we print out is filename:line:col, but we drop pieces
569 // that haven't changed since the last loc printed.
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000570 PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc);
571
Douglas Gregor453b0122010-11-12 07:15:47 +0000572 if (PLoc.isInvalid()) {
573 OS << "<invalid sloc>";
574 return;
575 }
576
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000577 if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000578 OS << PLoc.getFilename() << ':' << PLoc.getLine()
579 << ':' << PLoc.getColumn();
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000580 LastLocFilename = PLoc.getFilename();
581 LastLocLine = PLoc.getLine();
582 } else if (PLoc.getLine() != LastLocLine) {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000583 OS << "line" << ':' << PLoc.getLine()
584 << ':' << PLoc.getColumn();
Chris Lattnerf1ca7d32009-01-27 07:57:44 +0000585 LastLocLine = PLoc.getLine();
Chris Lattner11e30d32007-08-30 06:17:34 +0000586 } else {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000587 OS << "col" << ':' << PLoc.getColumn();
Chris Lattner11e30d32007-08-30 06:17:34 +0000588 }
589}
590
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000591void ASTDumper::dumpSourceRange(SourceRange R) {
Chris Lattner11e30d32007-08-30 06:17:34 +0000592 // Can't translate locations if a SourceManager isn't available.
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000593 if (!SM)
594 return;
Mike Stump11289f42009-09-09 15:08:12 +0000595
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000596 OS << " <";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000597 dumpLocation(R.getBegin());
Chris Lattnera7c19fe2007-10-16 22:36:42 +0000598 if (R.getBegin() != R.getEnd()) {
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000599 OS << ", ";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000600 dumpLocation(R.getEnd());
Chris Lattner11e30d32007-08-30 06:17:34 +0000601 }
Daniel Dunbar34a96c82009-12-03 09:13:13 +0000602 OS << ">";
Mike Stump11289f42009-09-09 15:08:12 +0000603
Chris Lattner11e30d32007-08-30 06:17:34 +0000604 // <t2.c:123:421[blah], t2.c:412:321>
605
606}
607
Richard Smithd5e7ff82014-10-31 01:17:45 +0000608void ASTDumper::dumpBareType(QualType T, bool Desugar) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000609 ColorScope Color(*this, TypeColor);
Richard Smithd5e7ff82014-10-31 01:17:45 +0000610
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000611 SplitQualType T_split = T.split();
612 OS << "'" << QualType::getAsString(T_split) << "'";
613
Richard Smithd5e7ff82014-10-31 01:17:45 +0000614 if (Desugar && !T.isNull()) {
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000615 // If the type is sugared, also dump a (shallow) desugared type.
616 SplitQualType D_split = T.getSplitDesugaredType();
617 if (T_split != D_split)
618 OS << ":'" << QualType::getAsString(D_split) << "'";
619 }
620}
621
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000622void ASTDumper::dumpType(QualType T) {
623 OS << ' ';
624 dumpBareType(T);
625}
626
Richard Smithd5e7ff82014-10-31 01:17:45 +0000627void ASTDumper::dumpTypeAsChild(QualType T) {
628 SplitQualType SQT = T.split();
629 if (!SQT.Quals.hasQualifiers())
630 return dumpTypeAsChild(SQT.Ty);
631
632 dumpChild([=] {
633 OS << "QualType";
634 dumpPointer(T.getAsOpaquePtr());
635 OS << " ";
636 dumpBareType(T, false);
637 OS << " " << T.split().Quals.getAsString();
638 dumpTypeAsChild(T.split().Ty);
639 });
640}
641
642void ASTDumper::dumpTypeAsChild(const Type *T) {
643 dumpChild([=] {
644 if (!T) {
645 ColorScope Color(*this, NullColor);
646 OS << "<<<NULL>>>";
647 return;
648 }
649
650 {
651 ColorScope Color(*this, TypeColor);
652 OS << T->getTypeClassName() << "Type";
653 }
654 dumpPointer(T);
655 OS << " ";
656 dumpBareType(QualType(T, 0), false);
657
658 QualType SingleStepDesugar =
659 T->getLocallyUnqualifiedSingleStepDesugaredType();
660 if (SingleStepDesugar != QualType(T, 0))
661 OS << " sugar";
662 if (T->isDependentType())
663 OS << " dependent";
664 else if (T->isInstantiationDependentType())
665 OS << " instantiation_dependent";
666 if (T->isVariablyModifiedType())
667 OS << " variably_modified";
668 if (T->containsUnexpandedParameterPack())
669 OS << " contains_unexpanded_pack";
670 if (T->isFromAST())
671 OS << " imported";
672
673 TypeVisitor<ASTDumper>::Visit(T);
674
675 if (SingleStepDesugar != QualType(T, 0))
676 dumpTypeAsChild(SingleStepDesugar);
677 });
678}
679
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000680void ASTDumper::dumpBareDeclRef(const Decl *D) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000681 {
682 ColorScope Color(*this, DeclKindNameColor);
683 OS << D->getDeclKindName();
684 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000685 dumpPointer(D);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000686
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000687 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000688 ColorScope Color(*this, DeclNameColor);
David Blaikied4da8722013-05-14 21:04:00 +0000689 OS << " '" << ND->getDeclName() << '\'';
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000690 }
691
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000692 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D))
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000693 dumpType(VD->getType());
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000694}
695
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000696void ASTDumper::dumpDeclRef(const Decl *D, const char *Label) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000697 if (!D)
698 return;
699
Richard Smithf7514452014-10-30 21:02:37 +0000700 dumpChild([=]{
701 if (Label)
702 OS << Label << ' ';
703 dumpBareDeclRef(D);
704 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000705}
706
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000707void ASTDumper::dumpName(const NamedDecl *ND) {
Richard Trieud215b8d2013-01-26 01:31:20 +0000708 if (ND->getDeclName()) {
709 ColorScope Color(*this, DeclNameColor);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000710 OS << ' ' << ND->getNameAsString();
Richard Trieud215b8d2013-01-26 01:31:20 +0000711 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000712}
713
Richard Trieude5cc7d2013-01-31 01:44:26 +0000714bool ASTDumper::hasNodes(const DeclContext *DC) {
715 if (!DC)
716 return false;
717
Richard Smith1d209d02013-05-23 01:49:11 +0000718 return DC->hasExternalLexicalStorage() ||
719 DC->noload_decls_begin() != DC->noload_decls_end();
Richard Trieude5cc7d2013-01-31 01:44:26 +0000720}
721
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000722void ASTDumper::dumpDeclContext(const DeclContext *DC) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000723 if (!DC)
724 return;
Richard Smithdcc2c452014-03-17 23:00:06 +0000725
Richard Smithdcc2c452014-03-17 23:00:06 +0000726 for (auto *D : DC->noload_decls())
Richard Smithf7514452014-10-30 21:02:37 +0000727 dumpDecl(D);
Richard Smithdcc2c452014-03-17 23:00:06 +0000728
729 if (DC->hasExternalLexicalStorage()) {
Richard Smithf7514452014-10-30 21:02:37 +0000730 dumpChild([=]{
731 ColorScope Color(*this, UndeserializedColor);
732 OS << "<undeserialized declarations>";
733 });
Richard Smith1d209d02013-05-23 01:49:11 +0000734 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000735}
736
Richard Smith35f986d2014-08-11 22:11:07 +0000737void ASTDumper::dumpLookups(const DeclContext *DC, bool DumpDecls) {
Richard Smithf7514452014-10-30 21:02:37 +0000738 dumpChild([=] {
739 OS << "StoredDeclsMap ";
740 dumpBareDeclRef(cast<Decl>(DC));
Richard Smith33937e72013-06-22 21:49:40 +0000741
Richard Smithf7514452014-10-30 21:02:37 +0000742 const DeclContext *Primary = DC->getPrimaryContext();
743 if (Primary != DC) {
744 OS << " primary";
745 dumpPointer(cast<Decl>(Primary));
Richard Smith33937e72013-06-22 21:49:40 +0000746 }
747
Richard Smithf7514452014-10-30 21:02:37 +0000748 bool HasUndeserializedLookups = Primary->hasExternalVisibleStorage();
Richard Smith35f986d2014-08-11 22:11:07 +0000749
Richard Smithf7514452014-10-30 21:02:37 +0000750 DeclContext::all_lookups_iterator I = Primary->noload_lookups_begin(),
751 E = Primary->noload_lookups_end();
752 while (I != E) {
753 DeclarationName Name = I.getLookupName();
754 DeclContextLookupResult R = *I++;
Richard Smith35f986d2014-08-11 22:11:07 +0000755
Richard Smithf7514452014-10-30 21:02:37 +0000756 dumpChild([=] {
757 OS << "DeclarationName ";
758 {
759 ColorScope Color(*this, DeclNameColor);
760 OS << '\'' << Name << '\'';
761 }
Richard Smith35f986d2014-08-11 22:11:07 +0000762
Richard Smithf7514452014-10-30 21:02:37 +0000763 for (DeclContextLookupResult::iterator RI = R.begin(), RE = R.end();
764 RI != RE; ++RI) {
765 dumpChild([=] {
766 dumpBareDeclRef(*RI);
767
768 if ((*RI)->isHidden())
769 OS << " hidden";
770
771 // If requested, dump the redecl chain for this lookup.
772 if (DumpDecls) {
773 // Dump earliest decl first.
774 std::function<void(Decl *)> DumpWithPrev = [&](Decl *D) {
775 if (Decl *Prev = D->getPreviousDecl())
776 DumpWithPrev(Prev);
777 dumpDecl(D);
778 };
779 DumpWithPrev(*RI);
780 }
781 });
782 }
783 });
Richard Smith33937e72013-06-22 21:49:40 +0000784 }
Richard Smith33937e72013-06-22 21:49:40 +0000785
Richard Smithf7514452014-10-30 21:02:37 +0000786 if (HasUndeserializedLookups) {
787 dumpChild([=] {
788 ColorScope Color(*this, UndeserializedColor);
789 OS << "<undeserialized lookups>";
790 });
791 }
792 });
Richard Smith33937e72013-06-22 21:49:40 +0000793}
794
Alexander Kornienko5bc364e2013-01-07 17:53:08 +0000795void ASTDumper::dumpAttr(const Attr *A) {
Richard Smithf7514452014-10-30 21:02:37 +0000796 dumpChild([=] {
797 {
798 ColorScope Color(*this, AttrColor);
Aaron Ballman36a53502014-01-16 13:03:14 +0000799
Richard Smithf7514452014-10-30 21:02:37 +0000800 switch (A->getKind()) {
Alexander Kornienko5bc364e2013-01-07 17:53:08 +0000801#define ATTR(X) case attr::X: OS << #X; break;
802#include "clang/Basic/AttrList.inc"
Richard Smithf7514452014-10-30 21:02:37 +0000803 default:
804 llvm_unreachable("unexpected attribute kind");
805 }
806 OS << "Attr";
Richard Trieud215b8d2013-01-26 01:31:20 +0000807 }
Richard Smithf7514452014-10-30 21:02:37 +0000808 dumpPointer(A);
809 dumpSourceRange(A->getRange());
810 if (A->isInherited())
811 OS << " Inherited";
812 if (A->isImplicit())
813 OS << " Implicit";
Hans Wennborgb0a8b4a2014-05-31 04:05:57 +0000814#include "clang/AST/AttrDump.inc"
Richard Smithf7514452014-10-30 21:02:37 +0000815 });
Alexander Kornienko5bc364e2013-01-07 17:53:08 +0000816}
817
Richard Smith71bec062013-10-15 21:58:30 +0000818static void dumpPreviousDeclImpl(raw_ostream &OS, ...) {}
819
820template<typename T>
821static void dumpPreviousDeclImpl(raw_ostream &OS, const Mergeable<T> *D) {
Rafael Espindola8db352d2013-10-17 15:37:26 +0000822 const T *First = D->getFirstDecl();
Richard Smith71bec062013-10-15 21:58:30 +0000823 if (First != D)
824 OS << " first " << First;
Richard Smithf5f43542013-02-07 01:35:44 +0000825}
826
827template<typename T>
Richard Smith71bec062013-10-15 21:58:30 +0000828static void dumpPreviousDeclImpl(raw_ostream &OS, const Redeclarable<T> *D) {
829 const T *Prev = D->getPreviousDecl();
830 if (Prev)
831 OS << " prev " << Prev;
Richard Smithf5f43542013-02-07 01:35:44 +0000832}
833
Richard Smith71bec062013-10-15 21:58:30 +0000834/// Dump the previous declaration in the redeclaration chain for a declaration,
835/// if any.
836static void dumpPreviousDecl(raw_ostream &OS, const Decl *D) {
Richard Smithf5f43542013-02-07 01:35:44 +0000837 switch (D->getKind()) {
838#define DECL(DERIVED, BASE) \
839 case Decl::DERIVED: \
Richard Smith71bec062013-10-15 21:58:30 +0000840 return dumpPreviousDeclImpl(OS, cast<DERIVED##Decl>(D));
Richard Smithf5f43542013-02-07 01:35:44 +0000841#define ABSTRACT_DECL(DECL)
842#include "clang/AST/DeclNodes.inc"
843 }
844 llvm_unreachable("Decl that isn't part of DeclNodes.inc!");
845}
846
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000847//===----------------------------------------------------------------------===//
848// C++ Utilities
849//===----------------------------------------------------------------------===//
850
851void ASTDumper::dumpAccessSpecifier(AccessSpecifier AS) {
852 switch (AS) {
853 case AS_none:
854 break;
855 case AS_public:
856 OS << "public";
857 break;
858 case AS_protected:
859 OS << "protected";
860 break;
861 case AS_private:
862 OS << "private";
863 break;
864 }
865}
866
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000867void ASTDumper::dumpCXXCtorInitializer(const CXXCtorInitializer *Init) {
Richard Smithf7514452014-10-30 21:02:37 +0000868 dumpChild([=] {
869 OS << "CXXCtorInitializer";
870 if (Init->isAnyMemberInitializer()) {
871 OS << ' ';
872 dumpBareDeclRef(Init->getAnyMember());
873 } else if (Init->isBaseInitializer()) {
874 dumpType(QualType(Init->getBaseClass(), 0));
875 } else if (Init->isDelegatingInitializer()) {
876 dumpType(Init->getTypeSourceInfo()->getType());
877 } else {
878 llvm_unreachable("Unknown initializer type");
879 }
880 dumpStmt(Init->getInit());
881 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000882}
883
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000884void ASTDumper::dumpTemplateParameters(const TemplateParameterList *TPL) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000885 if (!TPL)
886 return;
887
Alexander Kornienko787f4c32012-12-20 11:08:38 +0000888 for (TemplateParameterList::const_iterator I = TPL->begin(), E = TPL->end();
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000889 I != E; ++I)
890 dumpDecl(*I);
891}
892
893void ASTDumper::dumpTemplateArgumentListInfo(
894 const TemplateArgumentListInfo &TALI) {
Richard Smithf7514452014-10-30 21:02:37 +0000895 for (unsigned i = 0, e = TALI.size(); i < e; ++i)
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000896 dumpTemplateArgumentLoc(TALI[i]);
897}
898
899void ASTDumper::dumpTemplateArgumentLoc(const TemplateArgumentLoc &A) {
900 dumpTemplateArgument(A.getArgument(), A.getSourceRange());
901}
902
903void ASTDumper::dumpTemplateArgumentList(const TemplateArgumentList &TAL) {
904 for (unsigned i = 0, e = TAL.size(); i < e; ++i)
905 dumpTemplateArgument(TAL[i]);
906}
907
908void ASTDumper::dumpTemplateArgument(const TemplateArgument &A, SourceRange R) {
Richard Smithf7514452014-10-30 21:02:37 +0000909 dumpChild([=] {
910 OS << "TemplateArgument";
911 if (R.isValid())
912 dumpSourceRange(R);
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000913
Richard Smithf7514452014-10-30 21:02:37 +0000914 switch (A.getKind()) {
915 case TemplateArgument::Null:
916 OS << " null";
917 break;
918 case TemplateArgument::Type:
919 OS << " type";
920 dumpType(A.getAsType());
921 break;
922 case TemplateArgument::Declaration:
923 OS << " decl";
924 dumpDeclRef(A.getAsDecl());
925 break;
926 case TemplateArgument::NullPtr:
927 OS << " nullptr";
928 break;
929 case TemplateArgument::Integral:
930 OS << " integral " << A.getAsIntegral();
931 break;
932 case TemplateArgument::Template:
933 OS << " template ";
934 A.getAsTemplate().dump(OS);
935 break;
936 case TemplateArgument::TemplateExpansion:
937 OS << " template expansion";
938 A.getAsTemplateOrTemplatePattern().dump(OS);
939 break;
940 case TemplateArgument::Expression:
941 OS << " expr";
942 dumpStmt(A.getAsExpr());
943 break;
944 case TemplateArgument::Pack:
945 OS << " pack";
946 for (TemplateArgument::pack_iterator I = A.pack_begin(), E = A.pack_end();
947 I != E; ++I)
948 dumpTemplateArgument(*I);
949 break;
Richard Trieude5cc7d2013-01-31 01:44:26 +0000950 }
Richard Smithf7514452014-10-30 21:02:37 +0000951 });
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000952}
953
Chris Lattner11e30d32007-08-30 06:17:34 +0000954//===----------------------------------------------------------------------===//
Alexander Kornienko61c93bd2012-12-11 15:28:09 +0000955// Decl dumping methods.
Chris Lattnercbe4f772007-08-08 22:51:59 +0000956//===----------------------------------------------------------------------===//
957
Alexander Kornienko540bacb2013-02-01 12:35:51 +0000958void ASTDumper::dumpDecl(const Decl *D) {
Richard Smithf7514452014-10-30 21:02:37 +0000959 dumpChild([=] {
960 if (!D) {
961 ColorScope Color(*this, NullColor);
962 OS << "<<<NULL>>>";
963 return;
964 }
Mike Stump11289f42009-09-09 15:08:12 +0000965
Richard Smithf7514452014-10-30 21:02:37 +0000966 {
967 ColorScope Color(*this, DeclKindNameColor);
968 OS << D->getDeclKindName() << "Decl";
969 }
970 dumpPointer(D);
971 if (D->getLexicalDeclContext() != D->getDeclContext())
972 OS << " parent " << cast<Decl>(D->getDeclContext());
973 dumpPreviousDecl(OS, D);
974 dumpSourceRange(D->getSourceRange());
975 OS << ' ';
976 dumpLocation(D->getLocation());
977 if (Module *M = D->getOwningModule())
978 OS << " in " << M->getFullModuleName();
979 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
980 if (ND->isHidden())
981 OS << " hidden";
982 if (D->isImplicit())
983 OS << " implicit";
984 if (D->isUsed())
985 OS << " used";
986 else if (D->isThisDeclarationReferenced())
987 OS << " referenced";
988 if (D->isInvalidDecl())
989 OS << " invalid";
Hans Wennborg76b00532014-12-05 22:38:57 +0000990 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D))
991 if (FD->isConstexpr())
992 OS << " constexpr";
993
Alexander Kornienko90ff6072012-12-20 02:09:13 +0000994
Richard Smithf7514452014-10-30 21:02:37 +0000995 ConstDeclVisitor<ASTDumper>::Visit(D);
Richard Trieude5cc7d2013-01-31 01:44:26 +0000996
Richard Smithf7514452014-10-30 21:02:37 +0000997 for (Decl::attr_iterator I = D->attr_begin(), E = D->attr_end(); I != E;
998 ++I)
999 dumpAttr(*I);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001000
Richard Smithf7514452014-10-30 21:02:37 +00001001 if (const FullComment *Comment =
1002 D->getASTContext().getLocalCommentForDeclUncached(D))
1003 dumpFullComment(Comment);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001004
Richard Smithf7514452014-10-30 21:02:37 +00001005 // Decls within functions are visited by the body.
1006 if (!isa<FunctionDecl>(*D) && !isa<ObjCMethodDecl>(*D) &&
1007 hasNodes(dyn_cast<DeclContext>(D)))
1008 dumpDeclContext(cast<DeclContext>(D));
1009 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001010}
1011
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001012void ASTDumper::VisitLabelDecl(const LabelDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001013 dumpName(D);
1014}
1015
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001016void ASTDumper::VisitTypedefDecl(const TypedefDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001017 dumpName(D);
1018 dumpType(D->getUnderlyingType());
1019 if (D->isModulePrivate())
1020 OS << " __module_private__";
1021}
1022
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001023void ASTDumper::VisitEnumDecl(const EnumDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001024 if (D->isScoped()) {
1025 if (D->isScopedUsingClassTag())
1026 OS << " class";
1027 else
1028 OS << " struct";
1029 }
1030 dumpName(D);
1031 if (D->isModulePrivate())
1032 OS << " __module_private__";
1033 if (D->isFixed())
1034 dumpType(D->getIntegerType());
1035}
1036
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001037void ASTDumper::VisitRecordDecl(const RecordDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001038 OS << ' ' << D->getKindName();
1039 dumpName(D);
1040 if (D->isModulePrivate())
1041 OS << " __module_private__";
Richard Smith99bc1b92013-08-30 05:32:29 +00001042 if (D->isCompleteDefinition())
1043 OS << " definition";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001044}
1045
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001046void ASTDumper::VisitEnumConstantDecl(const EnumConstantDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001047 dumpName(D);
1048 dumpType(D->getType());
Richard Smithf7514452014-10-30 21:02:37 +00001049 if (const Expr *Init = D->getInitExpr())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001050 dumpStmt(Init);
1051}
1052
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001053void ASTDumper::VisitIndirectFieldDecl(const IndirectFieldDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001054 dumpName(D);
1055 dumpType(D->getType());
Richard Smithdcc2c452014-03-17 23:00:06 +00001056
Richard Smith8aa49222014-03-18 00:35:12 +00001057 for (auto *Child : D->chain())
Richard Smithf7514452014-10-30 21:02:37 +00001058 dumpDeclRef(Child);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001059}
1060
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001061void ASTDumper::VisitFunctionDecl(const FunctionDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001062 dumpName(D);
1063 dumpType(D->getType());
1064
Rafael Espindola6ae7e502013-04-03 19:27:57 +00001065 StorageClass SC = D->getStorageClass();
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001066 if (SC != SC_None)
1067 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
1068 if (D->isInlineSpecified())
1069 OS << " inline";
1070 if (D->isVirtualAsWritten())
1071 OS << " virtual";
1072 if (D->isModulePrivate())
1073 OS << " __module_private__";
1074
1075 if (D->isPure())
1076 OS << " pure";
1077 else if (D->isDeletedAsWritten())
1078 OS << " delete";
1079
Richard Smithadaa0152013-05-17 02:09:46 +00001080 if (const FunctionProtoType *FPT = D->getType()->getAs<FunctionProtoType>()) {
1081 FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo();
Richard Smith8acb4282014-07-31 21:57:55 +00001082 switch (EPI.ExceptionSpec.Type) {
Richard Smithadaa0152013-05-17 02:09:46 +00001083 default: break;
1084 case EST_Unevaluated:
Richard Smith8acb4282014-07-31 21:57:55 +00001085 OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl;
Richard Smithadaa0152013-05-17 02:09:46 +00001086 break;
1087 case EST_Uninstantiated:
Richard Smith8acb4282014-07-31 21:57:55 +00001088 OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate;
Richard Smithadaa0152013-05-17 02:09:46 +00001089 break;
1090 }
1091 }
1092
Richard Smithf7514452014-10-30 21:02:37 +00001093 if (const FunctionTemplateSpecializationInfo *FTSI =
1094 D->getTemplateSpecializationInfo())
Richard Trieude5cc7d2013-01-31 01:44:26 +00001095 dumpTemplateArgumentList(*FTSI->TemplateArguments);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001096
Dmitri Gribenkof8579502013-01-12 19:30:44 +00001097 for (ArrayRef<NamedDecl *>::iterator
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001098 I = D->getDeclsInPrototypeScope().begin(),
Richard Smithf7514452014-10-30 21:02:37 +00001099 E = D->getDeclsInPrototypeScope().end(); I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001100 dumpDecl(*I);
1101
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001102 for (FunctionDecl::param_const_iterator I = D->param_begin(),
1103 E = D->param_end();
Richard Smithf7514452014-10-30 21:02:37 +00001104 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001105 dumpDecl(*I);
Richard Smithf7514452014-10-30 21:02:37 +00001106
1107 if (const CXXConstructorDecl *C = dyn_cast<CXXConstructorDecl>(D))
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001108 for (CXXConstructorDecl::init_const_iterator I = C->init_begin(),
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001109 E = C->init_end();
Richard Smithf7514452014-10-30 21:02:37 +00001110 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001111 dumpCXXCtorInitializer(*I);
1112
Richard Smithf7514452014-10-30 21:02:37 +00001113 if (D->doesThisDeclarationHaveABody())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001114 dumpStmt(D->getBody());
1115}
1116
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001117void ASTDumper::VisitFieldDecl(const FieldDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001118 dumpName(D);
1119 dumpType(D->getType());
1120 if (D->isMutable())
1121 OS << " mutable";
1122 if (D->isModulePrivate())
1123 OS << " __module_private__";
Richard Trieude5cc7d2013-01-31 01:44:26 +00001124
Richard Smithf7514452014-10-30 21:02:37 +00001125 if (D->isBitField())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001126 dumpStmt(D->getBitWidth());
Richard Smithf7514452014-10-30 21:02:37 +00001127 if (Expr *Init = D->getInClassInitializer())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001128 dumpStmt(Init);
1129}
1130
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001131void ASTDumper::VisitVarDecl(const VarDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001132 dumpName(D);
1133 dumpType(D->getType());
Rafael Espindola6ae7e502013-04-03 19:27:57 +00001134 StorageClass SC = D->getStorageClass();
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001135 if (SC != SC_None)
1136 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC);
Richard Smithfd3834f2013-04-13 02:43:54 +00001137 switch (D->getTLSKind()) {
1138 case VarDecl::TLS_None: break;
1139 case VarDecl::TLS_Static: OS << " tls"; break;
1140 case VarDecl::TLS_Dynamic: OS << " tls_dynamic"; break;
1141 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001142 if (D->isModulePrivate())
1143 OS << " __module_private__";
1144 if (D->isNRVOVariable())
1145 OS << " nrvo";
Richard Trieude5cc7d2013-01-31 01:44:26 +00001146 if (D->hasInit()) {
Richard Smithd9967cc2014-07-10 22:54:03 +00001147 switch (D->getInitStyle()) {
1148 case VarDecl::CInit: OS << " cinit"; break;
1149 case VarDecl::CallInit: OS << " callinit"; break;
1150 case VarDecl::ListInit: OS << " listinit"; break;
1151 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001152 dumpStmt(D->getInit());
Richard Trieude5cc7d2013-01-31 01:44:26 +00001153 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001154}
1155
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001156void ASTDumper::VisitFileScopeAsmDecl(const FileScopeAsmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001157 dumpStmt(D->getAsmString());
1158}
1159
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001160void ASTDumper::VisitImportDecl(const ImportDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001161 OS << ' ' << D->getImportedModule()->getFullModuleName();
1162}
1163
1164//===----------------------------------------------------------------------===//
1165// C++ Declarations
1166//===----------------------------------------------------------------------===//
1167
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001168void ASTDumper::VisitNamespaceDecl(const NamespaceDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001169 dumpName(D);
1170 if (D->isInline())
1171 OS << " inline";
1172 if (!D->isOriginalNamespace())
1173 dumpDeclRef(D->getOriginalNamespace(), "original");
1174}
1175
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001176void ASTDumper::VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001177 OS << ' ';
1178 dumpBareDeclRef(D->getNominatedNamespace());
1179}
1180
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001181void ASTDumper::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001182 dumpName(D);
1183 dumpDeclRef(D->getAliasedNamespace());
1184}
1185
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001186void ASTDumper::VisitTypeAliasDecl(const TypeAliasDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001187 dumpName(D);
1188 dumpType(D->getUnderlyingType());
1189}
1190
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001191void ASTDumper::VisitTypeAliasTemplateDecl(const TypeAliasTemplateDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001192 dumpName(D);
1193 dumpTemplateParameters(D->getTemplateParameters());
1194 dumpDecl(D->getTemplatedDecl());
1195}
1196
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001197void ASTDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001198 VisitRecordDecl(D);
1199 if (!D->isCompleteDefinition())
1200 return;
1201
Aaron Ballman574705e2014-03-13 15:41:46 +00001202 for (const auto &I : D->bases()) {
Richard Smithf7514452014-10-30 21:02:37 +00001203 dumpChild([=] {
1204 if (I.isVirtual())
1205 OS << "virtual ";
1206 dumpAccessSpecifier(I.getAccessSpecifier());
1207 dumpType(I.getType());
1208 if (I.isPackExpansion())
1209 OS << "...";
1210 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001211 }
1212}
1213
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001214void ASTDumper::VisitStaticAssertDecl(const StaticAssertDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001215 dumpStmt(D->getAssertExpr());
1216 dumpStmt(D->getMessage());
1217}
1218
Richard Smithcbdf7332014-03-18 02:07:28 +00001219template<typename SpecializationDecl>
Richard Smithf7514452014-10-30 21:02:37 +00001220void ASTDumper::VisitTemplateDeclSpecialization(const SpecializationDecl *D,
Richard Smithcbdf7332014-03-18 02:07:28 +00001221 bool DumpExplicitInst,
1222 bool DumpRefOnly) {
1223 bool DumpedAny = false;
1224 for (auto *RedeclWithBadType : D->redecls()) {
1225 // FIXME: The redecls() range sometimes has elements of a less-specific
1226 // type. (In particular, ClassTemplateSpecializationDecl::redecls() gives
1227 // us TagDecls, and should give CXXRecordDecls).
1228 auto *Redecl = dyn_cast<SpecializationDecl>(RedeclWithBadType);
1229 if (!Redecl) {
1230 // Found the injected-class-name for a class template. This will be dumped
1231 // as part of its surrounding class so we don't need to dump it here.
1232 assert(isa<CXXRecordDecl>(RedeclWithBadType) &&
1233 "expected an injected-class-name");
1234 continue;
1235 }
1236
1237 switch (Redecl->getTemplateSpecializationKind()) {
1238 case TSK_ExplicitInstantiationDeclaration:
1239 case TSK_ExplicitInstantiationDefinition:
1240 if (!DumpExplicitInst)
1241 break;
1242 // Fall through.
1243 case TSK_Undeclared:
1244 case TSK_ImplicitInstantiation:
Richard Smithf7514452014-10-30 21:02:37 +00001245 if (DumpRefOnly)
1246 dumpDeclRef(Redecl);
1247 else
1248 dumpDecl(Redecl);
Richard Smithcbdf7332014-03-18 02:07:28 +00001249 DumpedAny = true;
1250 break;
1251 case TSK_ExplicitSpecialization:
1252 break;
1253 }
1254 }
1255
1256 // Ensure we dump at least one decl for each specialization.
1257 if (!DumpedAny)
Richard Smithf7514452014-10-30 21:02:37 +00001258 dumpDeclRef(D);
Richard Smithcbdf7332014-03-18 02:07:28 +00001259}
1260
Richard Smith20ade552014-03-17 23:34:53 +00001261template<typename TemplateDecl>
1262void ASTDumper::VisitTemplateDecl(const TemplateDecl *D,
1263 bool DumpExplicitInst) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001264 dumpName(D);
1265 dumpTemplateParameters(D->getTemplateParameters());
Richard Smithdcc2c452014-03-17 23:00:06 +00001266
Richard Smithf7514452014-10-30 21:02:37 +00001267 dumpDecl(D->getTemplatedDecl());
Richard Smithdcc2c452014-03-17 23:00:06 +00001268
Richard Smithcbdf7332014-03-18 02:07:28 +00001269 for (auto *Child : D->specializations())
Richard Smithf7514452014-10-30 21:02:37 +00001270 VisitTemplateDeclSpecialization(Child, DumpExplicitInst,
Richard Smithcbdf7332014-03-18 02:07:28 +00001271 !D->isCanonicalDecl());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001272}
1273
Richard Smith20ade552014-03-17 23:34:53 +00001274void ASTDumper::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) {
1275 // FIXME: We don't add a declaration of a function template specialization
1276 // to its context when it's explicitly instantiated, so dump explicit
1277 // instantiations when we dump the template itself.
1278 VisitTemplateDecl(D, true);
1279}
1280
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001281void ASTDumper::VisitClassTemplateDecl(const ClassTemplateDecl *D) {
Richard Smith20ade552014-03-17 23:34:53 +00001282 VisitTemplateDecl(D, false);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001283}
1284
1285void ASTDumper::VisitClassTemplateSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001286 const ClassTemplateSpecializationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001287 VisitCXXRecordDecl(D);
1288 dumpTemplateArgumentList(D->getTemplateArgs());
1289}
1290
1291void ASTDumper::VisitClassTemplatePartialSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001292 const ClassTemplatePartialSpecializationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001293 VisitClassTemplateSpecializationDecl(D);
1294 dumpTemplateParameters(D->getTemplateParameters());
1295}
1296
1297void ASTDumper::VisitClassScopeFunctionSpecializationDecl(
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001298 const ClassScopeFunctionSpecializationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001299 dumpDeclRef(D->getSpecialization());
1300 if (D->hasExplicitTemplateArgs())
1301 dumpTemplateArgumentListInfo(D->templateArgs());
1302}
1303
Richard Smithd25789a2013-09-18 01:36:02 +00001304void ASTDumper::VisitVarTemplateDecl(const VarTemplateDecl *D) {
Richard Smith20ade552014-03-17 23:34:53 +00001305 VisitTemplateDecl(D, false);
Richard Smithd25789a2013-09-18 01:36:02 +00001306}
1307
1308void ASTDumper::VisitVarTemplateSpecializationDecl(
1309 const VarTemplateSpecializationDecl *D) {
1310 dumpTemplateArgumentList(D->getTemplateArgs());
1311 VisitVarDecl(D);
1312}
1313
1314void ASTDumper::VisitVarTemplatePartialSpecializationDecl(
1315 const VarTemplatePartialSpecializationDecl *D) {
1316 dumpTemplateParameters(D->getTemplateParameters());
1317 VisitVarTemplateSpecializationDecl(D);
1318}
1319
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001320void ASTDumper::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001321 if (D->wasDeclaredWithTypename())
1322 OS << " typename";
1323 else
1324 OS << " class";
1325 if (D->isParameterPack())
1326 OS << " ...";
1327 dumpName(D);
Richard Smithf7514452014-10-30 21:02:37 +00001328 if (D->hasDefaultArgument())
Richard Smithecf74ff2014-03-23 20:50:39 +00001329 dumpTemplateArgument(D->getDefaultArgument());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001330}
1331
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001332void ASTDumper::VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001333 dumpType(D->getType());
1334 if (D->isParameterPack())
1335 OS << " ...";
1336 dumpName(D);
Richard Smithf7514452014-10-30 21:02:37 +00001337 if (D->hasDefaultArgument())
Richard Smithecf74ff2014-03-23 20:50:39 +00001338 dumpTemplateArgument(D->getDefaultArgument());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001339}
1340
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001341void ASTDumper::VisitTemplateTemplateParmDecl(
1342 const TemplateTemplateParmDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001343 if (D->isParameterPack())
1344 OS << " ...";
1345 dumpName(D);
1346 dumpTemplateParameters(D->getTemplateParameters());
Richard Smithf7514452014-10-30 21:02:37 +00001347 if (D->hasDefaultArgument())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001348 dumpTemplateArgumentLoc(D->getDefaultArgument());
1349}
1350
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001351void ASTDumper::VisitUsingDecl(const UsingDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001352 OS << ' ';
1353 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1354 OS << D->getNameAsString();
1355}
1356
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001357void ASTDumper::VisitUnresolvedUsingTypenameDecl(
1358 const UnresolvedUsingTypenameDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001359 OS << ' ';
1360 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1361 OS << D->getNameAsString();
1362}
1363
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001364void ASTDumper::VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001365 OS << ' ';
1366 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy());
1367 OS << D->getNameAsString();
1368 dumpType(D->getType());
1369}
1370
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001371void ASTDumper::VisitUsingShadowDecl(const UsingShadowDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001372 OS << ' ';
1373 dumpBareDeclRef(D->getTargetDecl());
1374}
1375
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001376void ASTDumper::VisitLinkageSpecDecl(const LinkageSpecDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001377 switch (D->getLanguage()) {
1378 case LinkageSpecDecl::lang_c: OS << " C"; break;
1379 case LinkageSpecDecl::lang_cxx: OS << " C++"; break;
1380 }
1381}
1382
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001383void ASTDumper::VisitAccessSpecDecl(const AccessSpecDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001384 OS << ' ';
1385 dumpAccessSpecifier(D->getAccess());
1386}
1387
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001388void ASTDumper::VisitFriendDecl(const FriendDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001389 if (TypeSourceInfo *T = D->getFriendType())
1390 dumpType(T->getType());
1391 else
1392 dumpDecl(D->getFriendDecl());
1393}
1394
1395//===----------------------------------------------------------------------===//
1396// Obj-C Declarations
1397//===----------------------------------------------------------------------===//
1398
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001399void ASTDumper::VisitObjCIvarDecl(const ObjCIvarDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001400 dumpName(D);
1401 dumpType(D->getType());
1402 if (D->getSynthesize())
1403 OS << " synthesize";
1404
1405 switch (D->getAccessControl()) {
1406 case ObjCIvarDecl::None:
1407 OS << " none";
1408 break;
1409 case ObjCIvarDecl::Private:
1410 OS << " private";
1411 break;
1412 case ObjCIvarDecl::Protected:
1413 OS << " protected";
1414 break;
1415 case ObjCIvarDecl::Public:
1416 OS << " public";
1417 break;
1418 case ObjCIvarDecl::Package:
1419 OS << " package";
1420 break;
1421 }
1422}
1423
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001424void ASTDumper::VisitObjCMethodDecl(const ObjCMethodDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001425 if (D->isInstanceMethod())
1426 OS << " -";
1427 else
1428 OS << " +";
1429 dumpName(D);
Alp Toker314cc812014-01-25 16:55:45 +00001430 dumpType(D->getReturnType());
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001431
Richard Trieude5cc7d2013-01-31 01:44:26 +00001432 if (D->isThisDeclarationADefinition()) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001433 dumpDeclContext(D);
Richard Trieude5cc7d2013-01-31 01:44:26 +00001434 } else {
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001435 for (ObjCMethodDecl::param_const_iterator I = D->param_begin(),
1436 E = D->param_end();
Richard Smithf7514452014-10-30 21:02:37 +00001437 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001438 dumpDecl(*I);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001439 }
1440
Richard Smithf7514452014-10-30 21:02:37 +00001441 if (D->isVariadic())
1442 dumpChild([=] { OS << "..."; });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001443
Richard Smithf7514452014-10-30 21:02:37 +00001444 if (D->hasBody())
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001445 dumpStmt(D->getBody());
1446}
1447
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001448void ASTDumper::VisitObjCCategoryDecl(const ObjCCategoryDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001449 dumpName(D);
1450 dumpDeclRef(D->getClassInterface());
1451 dumpDeclRef(D->getImplementation());
1452 for (ObjCCategoryDecl::protocol_iterator I = D->protocol_begin(),
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001453 E = D->protocol_end();
Richard Smithf7514452014-10-30 21:02:37 +00001454 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001455 dumpDeclRef(*I);
1456}
1457
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001458void ASTDumper::VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001459 dumpName(D);
1460 dumpDeclRef(D->getClassInterface());
1461 dumpDeclRef(D->getCategoryDecl());
1462}
1463
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001464void ASTDumper::VisitObjCProtocolDecl(const ObjCProtocolDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001465 dumpName(D);
Richard Smithdcc2c452014-03-17 23:00:06 +00001466
Richard Smith7fcb35f2014-03-18 02:37:59 +00001467 for (auto *Child : D->protocols())
Richard Smithf7514452014-10-30 21:02:37 +00001468 dumpDeclRef(Child);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001469}
1470
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001471void ASTDumper::VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001472 dumpName(D);
1473 dumpDeclRef(D->getSuperClass(), "super");
Richard Smithdcc2c452014-03-17 23:00:06 +00001474
Richard Smithf7514452014-10-30 21:02:37 +00001475 dumpDeclRef(D->getImplementation());
Richard Smith7fcb35f2014-03-18 02:37:59 +00001476 for (auto *Child : D->protocols())
Richard Smithf7514452014-10-30 21:02:37 +00001477 dumpDeclRef(Child);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001478}
1479
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001480void ASTDumper::VisitObjCImplementationDecl(const ObjCImplementationDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001481 dumpName(D);
1482 dumpDeclRef(D->getSuperClass(), "super");
1483 dumpDeclRef(D->getClassInterface());
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001484 for (ObjCImplementationDecl::init_const_iterator I = D->init_begin(),
1485 E = D->init_end();
Richard Smithf7514452014-10-30 21:02:37 +00001486 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001487 dumpCXXCtorInitializer(*I);
1488}
1489
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001490void ASTDumper::VisitObjCCompatibleAliasDecl(const ObjCCompatibleAliasDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001491 dumpName(D);
1492 dumpDeclRef(D->getClassInterface());
1493}
1494
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001495void ASTDumper::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001496 dumpName(D);
1497 dumpType(D->getType());
1498
1499 if (D->getPropertyImplementation() == ObjCPropertyDecl::Required)
1500 OS << " required";
1501 else if (D->getPropertyImplementation() == ObjCPropertyDecl::Optional)
1502 OS << " optional";
1503
1504 ObjCPropertyDecl::PropertyAttributeKind Attrs = D->getPropertyAttributes();
1505 if (Attrs != ObjCPropertyDecl::OBJC_PR_noattr) {
1506 if (Attrs & ObjCPropertyDecl::OBJC_PR_readonly)
1507 OS << " readonly";
1508 if (Attrs & ObjCPropertyDecl::OBJC_PR_assign)
1509 OS << " assign";
1510 if (Attrs & ObjCPropertyDecl::OBJC_PR_readwrite)
1511 OS << " readwrite";
1512 if (Attrs & ObjCPropertyDecl::OBJC_PR_retain)
1513 OS << " retain";
1514 if (Attrs & ObjCPropertyDecl::OBJC_PR_copy)
1515 OS << " copy";
1516 if (Attrs & ObjCPropertyDecl::OBJC_PR_nonatomic)
1517 OS << " nonatomic";
1518 if (Attrs & ObjCPropertyDecl::OBJC_PR_atomic)
1519 OS << " atomic";
1520 if (Attrs & ObjCPropertyDecl::OBJC_PR_weak)
1521 OS << " weak";
1522 if (Attrs & ObjCPropertyDecl::OBJC_PR_strong)
1523 OS << " strong";
1524 if (Attrs & ObjCPropertyDecl::OBJC_PR_unsafe_unretained)
1525 OS << " unsafe_unretained";
Richard Smithf7514452014-10-30 21:02:37 +00001526 if (Attrs & ObjCPropertyDecl::OBJC_PR_getter)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001527 dumpDeclRef(D->getGetterMethodDecl(), "getter");
Richard Smithf7514452014-10-30 21:02:37 +00001528 if (Attrs & ObjCPropertyDecl::OBJC_PR_setter)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001529 dumpDeclRef(D->getSetterMethodDecl(), "setter");
1530 }
1531}
1532
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001533void ASTDumper::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001534 dumpName(D->getPropertyDecl());
1535 if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize)
1536 OS << " synthesize";
1537 else
1538 OS << " dynamic";
1539 dumpDeclRef(D->getPropertyDecl());
1540 dumpDeclRef(D->getPropertyIvarDecl());
1541}
1542
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001543void ASTDumper::VisitBlockDecl(const BlockDecl *D) {
Aaron Ballmanb2b8b1d2014-03-07 16:09:59 +00001544 for (auto I : D->params())
1545 dumpDecl(I);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001546
Richard Smithf7514452014-10-30 21:02:37 +00001547 if (D->isVariadic())
1548 dumpChild([=]{ OS << "..."; });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001549
Richard Smithf7514452014-10-30 21:02:37 +00001550 if (D->capturesCXXThis())
1551 dumpChild([=]{ OS << "capture this"; });
1552
Aaron Ballman9371dd22014-03-14 18:34:04 +00001553 for (const auto &I : D->captures()) {
Richard Smithf7514452014-10-30 21:02:37 +00001554 dumpChild([=] {
1555 OS << "capture";
1556 if (I.isByRef())
1557 OS << " byref";
1558 if (I.isNested())
1559 OS << " nested";
1560 if (I.getVariable()) {
1561 OS << ' ';
1562 dumpBareDeclRef(I.getVariable());
1563 }
1564 if (I.hasCopyExpr())
1565 dumpStmt(I.getCopyExpr());
1566 });
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001567 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001568 dumpStmt(D->getBody());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001569}
1570
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001571//===----------------------------------------------------------------------===//
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001572// Stmt dumping methods.
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001573//===----------------------------------------------------------------------===//
1574
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001575void ASTDumper::dumpStmt(const Stmt *S) {
Richard Smithf7514452014-10-30 21:02:37 +00001576 dumpChild([=] {
1577 if (!S) {
1578 ColorScope Color(*this, NullColor);
1579 OS << "<<<NULL>>>";
1580 return;
1581 }
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001582
Richard Smithf7514452014-10-30 21:02:37 +00001583 if (const DeclStmt *DS = dyn_cast<DeclStmt>(S)) {
1584 VisitDeclStmt(DS);
1585 return;
1586 }
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001587
Richard Smithf7514452014-10-30 21:02:37 +00001588 ConstStmtVisitor<ASTDumper>::Visit(S);
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001589
Richard Smithf7514452014-10-30 21:02:37 +00001590 for (Stmt::const_child_range CI = S->children(); CI; ++CI)
1591 dumpStmt(*CI);
1592 });
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001593}
1594
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001595void ASTDumper::VisitStmt(const Stmt *Node) {
Richard Trieud215b8d2013-01-26 01:31:20 +00001596 {
1597 ColorScope Color(*this, StmtColor);
1598 OS << Node->getStmtClassName();
1599 }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001600 dumpPointer(Node);
1601 dumpSourceRange(Node->getSourceRange());
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001602}
1603
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001604void ASTDumper::VisitDeclStmt(const DeclStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001605 VisitStmt(Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001606 for (DeclStmt::const_decl_iterator I = Node->decl_begin(),
1607 E = Node->decl_end();
Richard Smithf7514452014-10-30 21:02:37 +00001608 I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001609 dumpDecl(*I);
Ted Kremenek433a4922007-12-12 06:59:42 +00001610}
1611
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001612void ASTDumper::VisitAttributedStmt(const AttributedStmt *Node) {
Alexander Kornienko5bc364e2013-01-07 17:53:08 +00001613 VisitStmt(Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001614 for (ArrayRef<const Attr *>::iterator I = Node->getAttrs().begin(),
1615 E = Node->getAttrs().end();
Richard Smithf7514452014-10-30 21:02:37 +00001616 I != E; ++I)
Alexander Kornienko5bc364e2013-01-07 17:53:08 +00001617 dumpAttr(*I);
1618}
1619
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001620void ASTDumper::VisitLabelStmt(const LabelStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001621 VisitStmt(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001622 OS << " '" << Node->getName() << "'";
Chris Lattnercbe4f772007-08-08 22:51:59 +00001623}
1624
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001625void ASTDumper::VisitGotoStmt(const GotoStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001626 VisitStmt(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001627 OS << " '" << Node->getLabel()->getName() << "'";
1628 dumpPointer(Node->getLabel());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001629}
1630
Pavel Labath1ef83422013-09-04 14:35:00 +00001631void ASTDumper::VisitCXXCatchStmt(const CXXCatchStmt *Node) {
1632 VisitStmt(Node);
1633 dumpDecl(Node->getExceptionDecl());
1634}
1635
Chris Lattnercbe4f772007-08-08 22:51:59 +00001636//===----------------------------------------------------------------------===//
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001637// Expr dumping methods.
Chris Lattnercbe4f772007-08-08 22:51:59 +00001638//===----------------------------------------------------------------------===//
1639
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001640void ASTDumper::VisitExpr(const Expr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001641 VisitStmt(Node);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001642 dumpType(Node->getType());
1643
Richard Trieud215b8d2013-01-26 01:31:20 +00001644 {
1645 ColorScope Color(*this, ValueKindColor);
1646 switch (Node->getValueKind()) {
1647 case VK_RValue:
1648 break;
1649 case VK_LValue:
1650 OS << " lvalue";
1651 break;
1652 case VK_XValue:
1653 OS << " xvalue";
1654 break;
1655 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001656 }
1657
Richard Trieud215b8d2013-01-26 01:31:20 +00001658 {
1659 ColorScope Color(*this, ObjectKindColor);
1660 switch (Node->getObjectKind()) {
1661 case OK_Ordinary:
1662 break;
1663 case OK_BitField:
1664 OS << " bitfield";
1665 break;
1666 case OK_ObjCProperty:
1667 OS << " objcproperty";
1668 break;
1669 case OK_ObjCSubscript:
1670 OS << " objcsubscript";
1671 break;
1672 case OK_VectorComponent:
1673 OS << " vectorcomponent";
1674 break;
1675 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001676 }
Chris Lattnercbe4f772007-08-08 22:51:59 +00001677}
1678
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001679static void dumpBasePath(raw_ostream &OS, const CastExpr *Node) {
John McCallcf142162010-08-07 06:22:56 +00001680 if (Node->path_empty())
Anders Carlssona70cff62010-04-24 19:06:50 +00001681 return;
1682
1683 OS << " (";
1684 bool First = true;
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001685 for (CastExpr::path_const_iterator I = Node->path_begin(),
1686 E = Node->path_end();
1687 I != E; ++I) {
Anders Carlssona70cff62010-04-24 19:06:50 +00001688 const CXXBaseSpecifier *Base = *I;
1689 if (!First)
1690 OS << " -> ";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001691
Anders Carlssona70cff62010-04-24 19:06:50 +00001692 const CXXRecordDecl *RD =
1693 cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl());
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001694
Anders Carlssona70cff62010-04-24 19:06:50 +00001695 if (Base->isVirtual())
1696 OS << "virtual ";
1697 OS << RD->getName();
1698 First = false;
1699 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001700
Anders Carlssona70cff62010-04-24 19:06:50 +00001701 OS << ')';
1702}
1703
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001704void ASTDumper::VisitCastExpr(const CastExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001705 VisitExpr(Node);
Richard Trieud215b8d2013-01-26 01:31:20 +00001706 OS << " <";
1707 {
1708 ColorScope Color(*this, CastColor);
1709 OS << Node->getCastKindName();
1710 }
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001711 dumpBasePath(OS, Node);
Anders Carlssona70cff62010-04-24 19:06:50 +00001712 OS << ">";
Anders Carlssond7923c62009-08-22 23:33:40 +00001713}
1714
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001715void ASTDumper::VisitDeclRefExpr(const DeclRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001716 VisitExpr(Node);
Ted Kremenek5f64ca82007-09-10 17:32:55 +00001717
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001718 OS << " ";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001719 dumpBareDeclRef(Node->getDecl());
Chandler Carruth8d26bb02011-05-01 23:48:14 +00001720 if (Node->getDecl() != Node->getFoundDecl()) {
1721 OS << " (";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001722 dumpBareDeclRef(Node->getFoundDecl());
Chandler Carruth8d26bb02011-05-01 23:48:14 +00001723 OS << ")";
1724 }
John McCall351762c2011-02-07 10:33:21 +00001725}
1726
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001727void ASTDumper::VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001728 VisitExpr(Node);
John McCall76d09942009-12-11 21:50:11 +00001729 OS << " (";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001730 if (!Node->requiresADL())
1731 OS << "no ";
Benjamin Kramerb11416d2010-04-17 09:33:03 +00001732 OS << "ADL) = '" << Node->getName() << '\'';
John McCall76d09942009-12-11 21:50:11 +00001733
1734 UnresolvedLookupExpr::decls_iterator
1735 I = Node->decls_begin(), E = Node->decls_end();
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001736 if (I == E)
1737 OS << " empty";
John McCall76d09942009-12-11 21:50:11 +00001738 for (; I != E; ++I)
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001739 dumpPointer(*I);
John McCall76d09942009-12-11 21:50:11 +00001740}
1741
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001742void ASTDumper::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001743 VisitExpr(Node);
Steve Naroff5d5efca2008-03-12 13:19:12 +00001744
Richard Trieud215b8d2013-01-26 01:31:20 +00001745 {
1746 ColorScope Color(*this, DeclKindNameColor);
1747 OS << " " << Node->getDecl()->getDeclKindName() << "Decl";
1748 }
1749 OS << "='" << *Node->getDecl() << "'";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001750 dumpPointer(Node->getDecl());
Steve Naroffb3424a92008-05-23 22:01:24 +00001751 if (Node->isFreeIvar())
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001752 OS << " isFreeIvar";
Steve Naroff5d5efca2008-03-12 13:19:12 +00001753}
1754
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001755void ASTDumper::VisitPredefinedExpr(const PredefinedExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001756 VisitExpr(Node);
Alexey Bataevec474782014-10-09 08:45:04 +00001757 OS << " " << PredefinedExpr::getIdentTypeName(Node->getIdentType());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001758}
1759
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001760void ASTDumper::VisitCharacterLiteral(const CharacterLiteral *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001761 VisitExpr(Node);
Richard Trieud215b8d2013-01-26 01:31:20 +00001762 ColorScope Color(*this, ValueColor);
Richard Trieu364ee422011-11-03 23:56:23 +00001763 OS << " " << Node->getValue();
Chris Lattnercbe4f772007-08-08 22:51:59 +00001764}
1765
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001766void ASTDumper::VisitIntegerLiteral(const IntegerLiteral *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001767 VisitExpr(Node);
Chris Lattnercbe4f772007-08-08 22:51:59 +00001768
1769 bool isSigned = Node->getType()->isSignedIntegerType();
Richard Trieud215b8d2013-01-26 01:31:20 +00001770 ColorScope Color(*this, ValueColor);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001771 OS << " " << Node->getValue().toString(10, isSigned);
Chris Lattnercbe4f772007-08-08 22:51:59 +00001772}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001773
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001774void ASTDumper::VisitFloatingLiteral(const FloatingLiteral *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001775 VisitExpr(Node);
Richard Trieud215b8d2013-01-26 01:31:20 +00001776 ColorScope Color(*this, ValueColor);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001777 OS << " " << Node->getValueAsApproximateDouble();
Chris Lattnercbe4f772007-08-08 22:51:59 +00001778}
Chris Lattner1c20a172007-08-26 03:42:43 +00001779
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001780void ASTDumper::VisitStringLiteral(const StringLiteral *Str) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001781 VisitExpr(Str);
Richard Trieud215b8d2013-01-26 01:31:20 +00001782 ColorScope Color(*this, ValueColor);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001783 OS << " ";
Richard Trieudc355912012-06-13 20:25:24 +00001784 Str->outputString(OS);
Chris Lattnercbe4f772007-08-08 22:51:59 +00001785}
Chris Lattner84ca3762007-08-30 01:00:35 +00001786
Richard Smithf0514962014-06-03 08:24:28 +00001787void ASTDumper::VisitInitListExpr(const InitListExpr *ILE) {
1788 VisitExpr(ILE);
1789 if (auto *Filler = ILE->getArrayFiller()) {
Richard Smithf7514452014-10-30 21:02:37 +00001790 dumpChild([=] {
1791 OS << "array filler";
1792 dumpStmt(Filler);
1793 });
Richard Smithf0514962014-06-03 08:24:28 +00001794 }
1795 if (auto *Field = ILE->getInitializedFieldInUnion()) {
1796 OS << " field ";
1797 dumpBareDeclRef(Field);
1798 }
1799}
1800
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001801void ASTDumper::VisitUnaryOperator(const UnaryOperator *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001802 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001803 OS << " " << (Node->isPostfix() ? "postfix" : "prefix")
1804 << " '" << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
Chris Lattnercbe4f772007-08-08 22:51:59 +00001805}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001806
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001807void ASTDumper::VisitUnaryExprOrTypeTraitExpr(
1808 const UnaryExprOrTypeTraitExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001809 VisitExpr(Node);
Peter Collingbournee190dee2011-03-11 19:24:49 +00001810 switch(Node->getKind()) {
1811 case UETT_SizeOf:
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001812 OS << " sizeof";
Peter Collingbournee190dee2011-03-11 19:24:49 +00001813 break;
1814 case UETT_AlignOf:
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001815 OS << " alignof";
Peter Collingbournee190dee2011-03-11 19:24:49 +00001816 break;
1817 case UETT_VecStep:
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001818 OS << " vec_step";
Peter Collingbournee190dee2011-03-11 19:24:49 +00001819 break;
1820 }
Sebastian Redl6f282892008-11-11 17:56:53 +00001821 if (Node->isArgumentType())
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001822 dumpType(Node->getArgumentType());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001823}
Chris Lattnerdb3b3ff2007-08-09 17:35:30 +00001824
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001825void ASTDumper::VisitMemberExpr(const MemberExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001826 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001827 OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl();
1828 dumpPointer(Node->getMemberDecl());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001829}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001830
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001831void ASTDumper::VisitExtVectorElementExpr(const ExtVectorElementExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001832 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001833 OS << " " << Node->getAccessor().getNameStart();
Chris Lattnercbe4f772007-08-08 22:51:59 +00001834}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001835
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001836void ASTDumper::VisitBinaryOperator(const BinaryOperator *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001837 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001838 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'";
Chris Lattner86928112007-08-25 02:00:02 +00001839}
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001840
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001841void ASTDumper::VisitCompoundAssignOperator(
1842 const CompoundAssignOperator *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001843 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001844 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode())
1845 << "' ComputeLHSTy=";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001846 dumpBareType(Node->getComputationLHSType());
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001847 OS << " ComputeResultTy=";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001848 dumpBareType(Node->getComputationResultType());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001849}
Chris Lattnercbe4f772007-08-08 22:51:59 +00001850
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001851void ASTDumper::VisitBlockExpr(const BlockExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001852 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001853 dumpDecl(Node->getBlockDecl());
John McCall351762c2011-02-07 10:33:21 +00001854}
1855
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001856void ASTDumper::VisitOpaqueValueExpr(const OpaqueValueExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001857 VisitExpr(Node);
John McCallfe96e0b2011-11-06 09:01:30 +00001858
Richard Smithf7514452014-10-30 21:02:37 +00001859 if (Expr *Source = Node->getSourceExpr())
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001860 dumpStmt(Source);
John McCallfe96e0b2011-11-06 09:01:30 +00001861}
1862
Chris Lattnercbe4f772007-08-08 22:51:59 +00001863// GNU extensions.
1864
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001865void ASTDumper::VisitAddrLabelExpr(const AddrLabelExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001866 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001867 OS << " " << Node->getLabel()->getName();
1868 dumpPointer(Node->getLabel());
Chris Lattnercbe4f772007-08-08 22:51:59 +00001869}
1870
Chris Lattner8f184b12007-08-09 18:03:18 +00001871//===----------------------------------------------------------------------===//
1872// C++ Expressions
1873//===----------------------------------------------------------------------===//
Chris Lattnercbe4f772007-08-08 22:51:59 +00001874
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001875void ASTDumper::VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001876 VisitExpr(Node);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001877 OS << " " << Node->getCastName()
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001878 << "<" << Node->getTypeAsWritten().getAsString() << ">"
Anders Carlssona70cff62010-04-24 19:06:50 +00001879 << " <" << Node->getCastKindName();
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001880 dumpBasePath(OS, Node);
Anders Carlssona70cff62010-04-24 19:06:50 +00001881 OS << ">";
Chris Lattnercbe4f772007-08-08 22:51:59 +00001882}
1883
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001884void ASTDumper::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001885 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001886 OS << " " << (Node->getValue() ? "true" : "false");
Chris Lattnercbe4f772007-08-08 22:51:59 +00001887}
1888
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001889void ASTDumper::VisitCXXThisExpr(const CXXThisExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001890 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001891 OS << " this";
Douglas Gregor8ea1f532008-11-04 14:56:14 +00001892}
1893
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001894void ASTDumper::VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001895 VisitExpr(Node);
Eli Friedman29538892011-09-02 17:38:59 +00001896 OS << " functional cast to " << Node->getTypeAsWritten().getAsString()
1897 << " <" << Node->getCastKindName() << ">";
Douglas Gregore200adc2008-10-27 19:41:14 +00001898}
1899
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001900void ASTDumper::VisitCXXConstructExpr(const CXXConstructExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001901 VisitExpr(Node);
John McCalleba90cd2010-02-02 19:03:45 +00001902 CXXConstructorDecl *Ctor = Node->getConstructor();
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001903 dumpType(Ctor->getType());
Anders Carlsson073846832009-08-12 00:21:52 +00001904 if (Node->isElidable())
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001905 OS << " elidable";
John McCall85370042010-08-07 06:38:55 +00001906 if (Node->requiresZeroInitialization())
1907 OS << " zeroing";
Anders Carlsson073846832009-08-12 00:21:52 +00001908}
1909
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001910void ASTDumper::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001911 VisitExpr(Node);
Daniel Dunbar34a96c82009-12-03 09:13:13 +00001912 OS << " ";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001913 dumpCXXTemporary(Node->getTemporary());
Anders Carlsson073846832009-08-12 00:21:52 +00001914}
1915
Richard Smithe6c01442013-06-05 00:46:14 +00001916void
1917ASTDumper::VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *Node) {
1918 VisitExpr(Node);
1919 if (const ValueDecl *VD = Node->getExtendingDecl()) {
1920 OS << " extended by ";
1921 dumpBareDeclRef(VD);
1922 }
1923}
1924
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001925void ASTDumper::VisitExprWithCleanups(const ExprWithCleanups *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001926 VisitExpr(Node);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001927 for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i)
1928 dumpDeclRef(Node->getObject(i), "cleanup");
Anders Carlsson073846832009-08-12 00:21:52 +00001929}
1930
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001931void ASTDumper::dumpCXXTemporary(const CXXTemporary *Temporary) {
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001932 OS << "(CXXTemporary";
1933 dumpPointer(Temporary);
1934 OS << ")";
Anders Carlsson073846832009-08-12 00:21:52 +00001935}
1936
Anders Carlsson76f4a902007-08-21 17:43:55 +00001937//===----------------------------------------------------------------------===//
1938// Obj-C Expressions
1939//===----------------------------------------------------------------------===//
1940
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001941void ASTDumper::VisitObjCMessageExpr(const ObjCMessageExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001942 VisitExpr(Node);
Aaron Ballmanb190f972014-01-03 17:59:55 +00001943 OS << " selector=";
1944 Node->getSelector().print(OS);
Douglas Gregor9a129192010-04-21 00:45:42 +00001945 switch (Node->getReceiverKind()) {
1946 case ObjCMessageExpr::Instance:
1947 break;
1948
1949 case ObjCMessageExpr::Class:
1950 OS << " class=";
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001951 dumpBareType(Node->getClassReceiver());
Douglas Gregor9a129192010-04-21 00:45:42 +00001952 break;
1953
1954 case ObjCMessageExpr::SuperInstance:
1955 OS << " super (instance)";
1956 break;
1957
1958 case ObjCMessageExpr::SuperClass:
1959 OS << " super (class)";
1960 break;
1961 }
Ted Kremenek36748da2008-02-29 22:04:05 +00001962}
1963
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001964void ASTDumper::VisitObjCBoxedExpr(const ObjCBoxedExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001965 VisitExpr(Node);
Aaron Ballmanb190f972014-01-03 17:59:55 +00001966 OS << " selector=";
1967 Node->getBoxingMethod()->getSelector().print(OS);
Argyrios Kyrtzidis9dd40892012-05-10 20:02:31 +00001968}
1969
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001970void ASTDumper::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001971 VisitStmt(Node);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001972 if (const VarDecl *CatchParam = Node->getCatchParamDecl())
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001973 dumpDecl(CatchParam);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00001974 else
Douglas Gregor96c79492010-04-23 22:50:49 +00001975 OS << " catch all";
Douglas Gregor96c79492010-04-23 22:50:49 +00001976}
1977
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001978void ASTDumper::VisitObjCEncodeExpr(const ObjCEncodeExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001979 VisitExpr(Node);
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001980 dumpType(Node->getEncodedType());
Anders Carlssonc5a81eb2007-08-22 15:14:15 +00001981}
1982
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001983void ASTDumper::VisitObjCSelectorExpr(const ObjCSelectorExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001984 VisitExpr(Node);
Mike Stump11289f42009-09-09 15:08:12 +00001985
Aaron Ballmanb190f972014-01-03 17:59:55 +00001986 OS << " ";
1987 Node->getSelector().print(OS);
Fariborz Jahanian4bef4622007-10-16 20:40:23 +00001988}
1989
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001990void ASTDumper::VisitObjCProtocolExpr(const ObjCProtocolExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001991 VisitExpr(Node);
Mike Stump11289f42009-09-09 15:08:12 +00001992
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00001993 OS << ' ' << *Node->getProtocol();
Fariborz Jahaniana32aaef2007-10-17 16:58:11 +00001994}
Daniel Dunbar4b8c6db2008-08-30 05:35:15 +00001995
Alexander Kornienko540bacb2013-02-01 12:35:51 +00001996void ASTDumper::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00001997 VisitExpr(Node);
John McCallb7bd14f2010-12-02 01:19:52 +00001998 if (Node->isImplicitProperty()) {
Fariborz Jahanian0f0b3022010-12-22 19:46:35 +00001999 OS << " Kind=MethodRef Getter=\"";
2000 if (Node->getImplicitPropertyGetter())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002001 Node->getImplicitPropertyGetter()->getSelector().print(OS);
Fariborz Jahanian0f0b3022010-12-22 19:46:35 +00002002 else
2003 OS << "(null)";
2004
2005 OS << "\" Setter=\"";
John McCallb7bd14f2010-12-02 01:19:52 +00002006 if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002007 Setter->getSelector().print(OS);
John McCallb7bd14f2010-12-02 01:19:52 +00002008 else
2009 OS << "(null)";
2010 OS << "\"";
2011 } else {
Benjamin Kramerb89514a2011-10-14 18:45:37 +00002012 OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty() <<'"';
John McCallb7bd14f2010-12-02 01:19:52 +00002013 }
Fariborz Jahanian8a1810f2008-11-22 18:39:36 +00002014
Fariborz Jahanian681c0752010-10-14 16:04:05 +00002015 if (Node->isSuperReceiver())
2016 OS << " super";
Argyrios Kyrtzidisab468b02012-03-30 00:19:18 +00002017
2018 OS << " Messaging=";
2019 if (Node->isMessagingGetter() && Node->isMessagingSetter())
2020 OS << "Getter&Setter";
2021 else if (Node->isMessagingGetter())
2022 OS << "Getter";
2023 else if (Node->isMessagingSetter())
2024 OS << "Setter";
Douglas Gregor8ea1f532008-11-04 14:56:14 +00002025}
2026
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002027void ASTDumper::VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002028 VisitExpr(Node);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002029 if (Node->isArraySubscriptRefExpr())
2030 OS << " Kind=ArraySubscript GetterForArray=\"";
2031 else
2032 OS << " Kind=DictionarySubscript GetterForDictionary=\"";
2033 if (Node->getAtIndexMethodDecl())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002034 Node->getAtIndexMethodDecl()->getSelector().print(OS);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002035 else
2036 OS << "(null)";
Alexander Kornienko61c93bd2012-12-11 15:28:09 +00002037
Ted Kremeneke65b0862012-03-06 20:05:56 +00002038 if (Node->isArraySubscriptRefExpr())
2039 OS << "\" SetterForArray=\"";
2040 else
2041 OS << "\" SetterForDictionary=\"";
2042 if (Node->setAtIndexMethodDecl())
Aaron Ballmanb190f972014-01-03 17:59:55 +00002043 Node->setAtIndexMethodDecl()->getSelector().print(OS);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002044 else
2045 OS << "(null)";
2046}
2047
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002048void ASTDumper::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node) {
Alexander Kornienko7bd0f9b2012-12-11 15:20:44 +00002049 VisitExpr(Node);
Ted Kremeneke65b0862012-03-06 20:05:56 +00002050 OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no");
2051}
2052
Chris Lattnercbe4f772007-08-08 22:51:59 +00002053//===----------------------------------------------------------------------===//
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002054// Comments
2055//===----------------------------------------------------------------------===//
2056
2057const char *ASTDumper::getCommandName(unsigned CommandID) {
2058 if (Traits)
2059 return Traits->getCommandInfo(CommandID)->Name;
2060 const CommandInfo *Info = CommandTraits::getBuiltinCommandInfo(CommandID);
2061 if (Info)
2062 return Info->Name;
2063 return "<not a builtin command>";
2064}
2065
2066void ASTDumper::dumpFullComment(const FullComment *C) {
2067 if (!C)
2068 return;
2069
2070 FC = C;
2071 dumpComment(C);
Craig Topper36250ad2014-05-12 05:36:57 +00002072 FC = nullptr;
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002073}
2074
2075void ASTDumper::dumpComment(const Comment *C) {
Richard Smithf7514452014-10-30 21:02:37 +00002076 dumpChild([=] {
2077 if (!C) {
2078 ColorScope Color(*this, NullColor);
2079 OS << "<<<NULL>>>";
2080 return;
2081 }
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002082
Richard Smithf7514452014-10-30 21:02:37 +00002083 {
2084 ColorScope Color(*this, CommentColor);
2085 OS << C->getCommentKindName();
2086 }
2087 dumpPointer(C);
2088 dumpSourceRange(C->getSourceRange());
2089 ConstCommentVisitor<ASTDumper>::visit(C);
2090 for (Comment::child_iterator I = C->child_begin(), E = C->child_end();
2091 I != E; ++I)
2092 dumpComment(*I);
2093 });
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002094}
2095
2096void ASTDumper::visitTextComment(const TextComment *C) {
2097 OS << " Text=\"" << C->getText() << "\"";
2098}
2099
2100void ASTDumper::visitInlineCommandComment(const InlineCommandComment *C) {
2101 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
2102 switch (C->getRenderKind()) {
2103 case InlineCommandComment::RenderNormal:
2104 OS << " RenderNormal";
2105 break;
2106 case InlineCommandComment::RenderBold:
2107 OS << " RenderBold";
2108 break;
2109 case InlineCommandComment::RenderMonospaced:
2110 OS << " RenderMonospaced";
2111 break;
2112 case InlineCommandComment::RenderEmphasized:
2113 OS << " RenderEmphasized";
2114 break;
2115 }
2116
2117 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
2118 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
2119}
2120
2121void ASTDumper::visitHTMLStartTagComment(const HTMLStartTagComment *C) {
2122 OS << " Name=\"" << C->getTagName() << "\"";
2123 if (C->getNumAttrs() != 0) {
2124 OS << " Attrs: ";
2125 for (unsigned i = 0, e = C->getNumAttrs(); i != e; ++i) {
2126 const HTMLStartTagComment::Attribute &Attr = C->getAttr(i);
2127 OS << " \"" << Attr.Name << "=\"" << Attr.Value << "\"";
2128 }
2129 }
2130 if (C->isSelfClosing())
2131 OS << " SelfClosing";
2132}
2133
2134void ASTDumper::visitHTMLEndTagComment(const HTMLEndTagComment *C) {
2135 OS << " Name=\"" << C->getTagName() << "\"";
2136}
2137
2138void ASTDumper::visitBlockCommandComment(const BlockCommandComment *C) {
2139 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"";
2140 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i)
2141 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\"";
2142}
2143
2144void ASTDumper::visitParamCommandComment(const ParamCommandComment *C) {
2145 OS << " " << ParamCommandComment::getDirectionAsString(C->getDirection());
2146
2147 if (C->isDirectionExplicit())
2148 OS << " explicitly";
2149 else
2150 OS << " implicitly";
2151
2152 if (C->hasParamName()) {
2153 if (C->isParamIndexValid())
2154 OS << " Param=\"" << C->getParamName(FC) << "\"";
2155 else
2156 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
2157 }
2158
Dmitri Gribenkodbff5c72014-03-19 14:03:47 +00002159 if (C->isParamIndexValid() && !C->isVarArgParam())
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002160 OS << " ParamIndex=" << C->getParamIndex();
2161}
2162
2163void ASTDumper::visitTParamCommandComment(const TParamCommandComment *C) {
2164 if (C->hasParamName()) {
2165 if (C->isPositionValid())
2166 OS << " Param=\"" << C->getParamName(FC) << "\"";
2167 else
2168 OS << " Param=\"" << C->getParamNameAsWritten() << "\"";
2169 }
2170
2171 if (C->isPositionValid()) {
2172 OS << " Position=<";
2173 for (unsigned i = 0, e = C->getDepth(); i != e; ++i) {
2174 OS << C->getIndex(i);
2175 if (i != e - 1)
2176 OS << ", ";
2177 }
2178 OS << ">";
2179 }
2180}
2181
2182void ASTDumper::visitVerbatimBlockComment(const VerbatimBlockComment *C) {
2183 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\""
2184 " CloseName=\"" << C->getCloseName() << "\"";
2185}
2186
2187void ASTDumper::visitVerbatimBlockLineComment(
2188 const VerbatimBlockLineComment *C) {
2189 OS << " Text=\"" << C->getText() << "\"";
2190}
2191
2192void ASTDumper::visitVerbatimLineComment(const VerbatimLineComment *C) {
2193 OS << " Text=\"" << C->getText() << "\"";
2194}
2195
2196//===----------------------------------------------------------------------===//
Richard Smithd5e7ff82014-10-31 01:17:45 +00002197// Type method implementations
2198//===----------------------------------------------------------------------===//
2199
2200void QualType::dump(const char *msg) const {
2201 if (msg)
2202 llvm::errs() << msg << ": ";
2203 dump();
2204}
2205
2206LLVM_DUMP_METHOD void QualType::dump() const {
2207 ASTDumper Dumper(llvm::errs(), nullptr, nullptr);
2208 Dumper.dumpTypeAsChild(*this);
2209}
2210
2211LLVM_DUMP_METHOD void Type::dump() const { QualType(this, 0).dump(); }
2212
2213//===----------------------------------------------------------------------===//
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002214// Decl method implementations
2215//===----------------------------------------------------------------------===//
2216
Alp Tokeref6b0072014-01-04 13:47:14 +00002217LLVM_DUMP_METHOD void Decl::dump() const { dump(llvm::errs()); }
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002218
Alp Tokeref6b0072014-01-04 13:47:14 +00002219LLVM_DUMP_METHOD void Decl::dump(raw_ostream &OS) const {
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002220 ASTDumper P(OS, &getASTContext().getCommentCommandTraits(),
2221 &getASTContext().getSourceManager());
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002222 P.dumpDecl(this);
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002223}
2224
Alp Tokeref6b0072014-01-04 13:47:14 +00002225LLVM_DUMP_METHOD void Decl::dumpColor() const {
Richard Trieud215b8d2013-01-26 01:31:20 +00002226 ASTDumper P(llvm::errs(), &getASTContext().getCommentCommandTraits(),
2227 &getASTContext().getSourceManager(), /*ShowColors*/true);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002228 P.dumpDecl(this);
Richard Trieud215b8d2013-01-26 01:31:20 +00002229}
Richard Smith33937e72013-06-22 21:49:40 +00002230
Alp Tokeref6b0072014-01-04 13:47:14 +00002231LLVM_DUMP_METHOD void DeclContext::dumpLookups() const {
Richard Smith6ea05822013-06-24 01:45:33 +00002232 dumpLookups(llvm::errs());
2233}
2234
Richard Smith35f986d2014-08-11 22:11:07 +00002235LLVM_DUMP_METHOD void DeclContext::dumpLookups(raw_ostream &OS,
2236 bool DumpDecls) const {
Richard Smith33937e72013-06-22 21:49:40 +00002237 const DeclContext *DC = this;
2238 while (!DC->isTranslationUnit())
2239 DC = DC->getParent();
2240 ASTContext &Ctx = cast<TranslationUnitDecl>(DC)->getASTContext();
Richard Smith6ea05822013-06-24 01:45:33 +00002241 ASTDumper P(OS, &Ctx.getCommentCommandTraits(), &Ctx.getSourceManager());
Richard Smith35f986d2014-08-11 22:11:07 +00002242 P.dumpLookups(this, DumpDecls);
Richard Smith33937e72013-06-22 21:49:40 +00002243}
2244
Alexander Kornienko90ff6072012-12-20 02:09:13 +00002245//===----------------------------------------------------------------------===//
Chris Lattnercbe4f772007-08-08 22:51:59 +00002246// Stmt method implementations
2247//===----------------------------------------------------------------------===//
2248
Alp Tokeref6b0072014-01-04 13:47:14 +00002249LLVM_DUMP_METHOD void Stmt::dump(SourceManager &SM) const {
Argyrios Kyrtzidisc049f752010-08-09 10:54:31 +00002250 dump(llvm::errs(), SM);
2251}
2252
Alp Tokeref6b0072014-01-04 13:47:14 +00002253LLVM_DUMP_METHOD void Stmt::dump(raw_ostream &OS, SourceManager &SM) const {
Craig Topper36250ad2014-05-12 05:36:57 +00002254 ASTDumper P(OS, nullptr, &SM);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002255 P.dumpStmt(this);
Chris Lattner779d5d92007-08-30 00:40:08 +00002256}
2257
Alp Tokeref6b0072014-01-04 13:47:14 +00002258LLVM_DUMP_METHOD void Stmt::dump() const {
Craig Topper36250ad2014-05-12 05:36:57 +00002259 ASTDumper P(llvm::errs(), nullptr, nullptr);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002260 P.dumpStmt(this);
Chris Lattnercbe4f772007-08-08 22:51:59 +00002261}
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002262
Alp Tokeref6b0072014-01-04 13:47:14 +00002263LLVM_DUMP_METHOD void Stmt::dumpColor() const {
Craig Topper36250ad2014-05-12 05:36:57 +00002264 ASTDumper P(llvm::errs(), nullptr, nullptr, /*ShowColors*/true);
Alexander Kornienko540bacb2013-02-01 12:35:51 +00002265 P.dumpStmt(this);
Richard Trieud215b8d2013-01-26 01:31:20 +00002266}
2267
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002268//===----------------------------------------------------------------------===//
2269// Comment method implementations
2270//===----------------------------------------------------------------------===//
2271
Craig Topper36250ad2014-05-12 05:36:57 +00002272LLVM_DUMP_METHOD void Comment::dump() const {
2273 dump(llvm::errs(), nullptr, nullptr);
2274}
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002275
Alp Tokeref6b0072014-01-04 13:47:14 +00002276LLVM_DUMP_METHOD void Comment::dump(const ASTContext &Context) const {
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002277 dump(llvm::errs(), &Context.getCommentCommandTraits(),
2278 &Context.getSourceManager());
2279}
2280
Alexander Kornienko00911f12013-01-15 12:20:21 +00002281void Comment::dump(raw_ostream &OS, const CommandTraits *Traits,
Alexander Kornienkoebc17b52013-01-14 14:07:11 +00002282 const SourceManager *SM) const {
2283 const FullComment *FC = dyn_cast<FullComment>(this);
2284 ASTDumper D(OS, Traits, SM);
2285 D.dumpFullComment(FC);
2286}
Richard Trieud215b8d2013-01-26 01:31:20 +00002287
Alp Tokeref6b0072014-01-04 13:47:14 +00002288LLVM_DUMP_METHOD void Comment::dumpColor() const {
Richard Trieud215b8d2013-01-26 01:31:20 +00002289 const FullComment *FC = dyn_cast<FullComment>(this);
Craig Topper36250ad2014-05-12 05:36:57 +00002290 ASTDumper D(llvm::errs(), nullptr, nullptr, /*ShowColors*/true);
Richard Trieud215b8d2013-01-26 01:31:20 +00002291 D.dumpFullComment(FC);
2292}