1 //===--- ASTDumper.cpp - Dumping implementation for ASTs ------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file implements the AST dump methods, which dump out the 11 // AST in a form that exposes type details and other fields. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #include "clang/AST/ASTContext.h" 16 #include "clang/AST/Attr.h" 17 #include "clang/AST/CommentVisitor.h" 18 #include "clang/AST/DeclCXX.h" 19 #include "clang/AST/DeclLookups.h" 20 #include "clang/AST/DeclObjC.h" 21 #include "clang/AST/DeclOpenMP.h" 22 #include "clang/AST/DeclVisitor.h" 23 #include "clang/AST/LocInfoType.h" 24 #include "clang/AST/StmtVisitor.h" 25 #include "clang/AST/TypeVisitor.h" 26 #include "clang/Basic/Builtins.h" 27 #include "clang/Basic/Module.h" 28 #include "clang/Basic/SourceManager.h" 29 #include "llvm/Support/raw_ostream.h" 30 using namespace clang; 31 using namespace clang::comments; 32 33 //===----------------------------------------------------------------------===// 34 // ASTDumper Visitor 35 //===----------------------------------------------------------------------===// 36 37 namespace { 38 // Colors used for various parts of the AST dump 39 // Do not use bold yellow for any text. It is hard to read on white screens. 40 41 struct TerminalColor { 42 raw_ostream::Colors Color; 43 bool Bold; 44 }; 45 46 // Red - CastColor 47 // Green - TypeColor 48 // Bold Green - DeclKindNameColor, UndeserializedColor 49 // Yellow - AddressColor, LocationColor 50 // Blue - CommentColor, NullColor, IndentColor 51 // Bold Blue - AttrColor 52 // Bold Magenta - StmtColor 53 // Cyan - ValueKindColor, ObjectKindColor 54 // Bold Cyan - ValueColor, DeclNameColor 55 56 // Decl kind names (VarDecl, FunctionDecl, etc) 57 static const TerminalColor DeclKindNameColor = { raw_ostream::GREEN, true }; 58 // Attr names (CleanupAttr, GuardedByAttr, etc) 59 static const TerminalColor AttrColor = { raw_ostream::BLUE, true }; 60 // Statement names (DeclStmt, ImplicitCastExpr, etc) 61 static const TerminalColor StmtColor = { raw_ostream::MAGENTA, true }; 62 // Comment names (FullComment, ParagraphComment, TextComment, etc) 63 static const TerminalColor CommentColor = { raw_ostream::BLUE, false }; 64 65 // Type names (int, float, etc, plus user defined types) 66 static const TerminalColor TypeColor = { raw_ostream::GREEN, false }; 67 68 // Pointer address 69 static const TerminalColor AddressColor = { raw_ostream::YELLOW, false }; 70 // Source locations 71 static const TerminalColor LocationColor = { raw_ostream::YELLOW, false }; 72 73 // lvalue/xvalue 74 static const TerminalColor ValueKindColor = { raw_ostream::CYAN, false }; 75 // bitfield/objcproperty/objcsubscript/vectorcomponent 76 static const TerminalColor ObjectKindColor = { raw_ostream::CYAN, false }; 77 78 // Null statements 79 static const TerminalColor NullColor = { raw_ostream::BLUE, false }; 80 81 // Undeserialized entities 82 static const TerminalColor UndeserializedColor = { raw_ostream::GREEN, true }; 83 84 // CastKind from CastExpr's 85 static const TerminalColor CastColor = { raw_ostream::RED, false }; 86 87 // Value of the statement 88 static const TerminalColor ValueColor = { raw_ostream::CYAN, true }; 89 // Decl names 90 static const TerminalColor DeclNameColor = { raw_ostream::CYAN, true }; 91 92 // Indents ( `, -. | ) 93 static const TerminalColor IndentColor = { raw_ostream::BLUE, false }; 94 95 class ASTDumper 96 : public ConstDeclVisitor<ASTDumper>, public ConstStmtVisitor<ASTDumper>, 97 public ConstCommentVisitor<ASTDumper>, public TypeVisitor<ASTDumper> { 98 raw_ostream &OS; 99 const CommandTraits *Traits; 100 const SourceManager *SM; 101 102 /// Pending[i] is an action to dump an entity at level i. 103 llvm::SmallVector<std::function<void(bool isLastChild)>, 32> Pending; 104 105 /// Indicates whether we should trigger deserialization of nodes that had 106 /// not already been loaded. 107 bool Deserialize = false; 108 109 /// Indicates whether we're at the top level. 110 bool TopLevel = true; 111 112 /// Indicates if we're handling the first child after entering a new depth. 113 bool FirstChild = true; 114 115 /// Prefix for currently-being-dumped entity. 116 std::string Prefix; 117 118 /// Keep track of the last location we print out so that we can 119 /// print out deltas from then on out. 120 const char *LastLocFilename = ""; 121 unsigned LastLocLine = ~0U; 122 123 /// The \c FullComment parent of the comment being dumped. 124 const FullComment *FC = nullptr; 125 126 bool ShowColors; 127 128 /// Dump a child of the current node. 129 template<typename Fn> void dumpChild(Fn doDumpChild) { 130 // If we're at the top level, there's nothing interesting to do; just 131 // run the dumper. 132 if (TopLevel) { 133 TopLevel = false; 134 doDumpChild(); 135 while (!Pending.empty()) { 136 Pending.back()(true); 137 Pending.pop_back(); 138 } 139 Prefix.clear(); 140 OS << "\n"; 141 TopLevel = true; 142 return; 143 } 144 145 const FullComment *OrigFC = FC; 146 auto dumpWithIndent = [this, doDumpChild, OrigFC](bool isLastChild) { 147 // Print out the appropriate tree structure and work out the prefix for 148 // children of this node. For instance: 149 // 150 // A Prefix = "" 151 // |-B Prefix = "| " 152 // | `-C Prefix = "| " 153 // `-D Prefix = " " 154 // |-E Prefix = " | " 155 // `-F Prefix = " " 156 // G Prefix = "" 157 // 158 // Note that the first level gets no prefix. 159 { 160 OS << '\n'; 161 ColorScope Color(*this, IndentColor); 162 OS << Prefix << (isLastChild ? '`' : '|') << '-'; 163 this->Prefix.push_back(isLastChild ? ' ' : '|'); 164 this->Prefix.push_back(' '); 165 } 166 167 FirstChild = true; 168 unsigned Depth = Pending.size(); 169 170 FC = OrigFC; 171 doDumpChild(); 172 173 // If any children are left, they're the last at their nesting level. 174 // Dump those ones out now. 175 while (Depth < Pending.size()) { 176 Pending.back()(true); 177 this->Pending.pop_back(); 178 } 179 180 // Restore the old prefix. 181 this->Prefix.resize(Prefix.size() - 2); 182 }; 183 184 if (FirstChild) { 185 Pending.push_back(std::move(dumpWithIndent)); 186 } else { 187 Pending.back()(false); 188 Pending.back() = std::move(dumpWithIndent); 189 } 190 FirstChild = false; 191 } 192 193 class ColorScope { 194 ASTDumper &Dumper; 195 public: 196 ColorScope(ASTDumper &Dumper, TerminalColor Color) 197 : Dumper(Dumper) { 198 if (Dumper.ShowColors) 199 Dumper.OS.changeColor(Color.Color, Color.Bold); 200 } 201 ~ColorScope() { 202 if (Dumper.ShowColors) 203 Dumper.OS.resetColor(); 204 } 205 }; 206 207 public: 208 ASTDumper(raw_ostream &OS, const CommandTraits *Traits, 209 const SourceManager *SM) 210 : OS(OS), Traits(Traits), SM(SM), 211 ShowColors(SM && SM->getDiagnostics().getShowColors()) { } 212 213 ASTDumper(raw_ostream &OS, const CommandTraits *Traits, 214 const SourceManager *SM, bool ShowColors) 215 : OS(OS), Traits(Traits), SM(SM), ShowColors(ShowColors) {} 216 217 void setDeserialize(bool D) { Deserialize = D; } 218 219 void dumpDecl(const Decl *D); 220 void dumpStmt(const Stmt *S); 221 void dumpFullComment(const FullComment *C); 222 223 // Utilities 224 void dumpPointer(const void *Ptr); 225 void dumpSourceRange(SourceRange R); 226 void dumpLocation(SourceLocation Loc); 227 void dumpBareType(QualType T, bool Desugar = true); 228 void dumpType(QualType T); 229 void dumpTypeAsChild(QualType T); 230 void dumpTypeAsChild(const Type *T); 231 void dumpBareDeclRef(const Decl *Node); 232 void dumpDeclRef(const Decl *Node, const char *Label = nullptr); 233 void dumpName(const NamedDecl *D); 234 bool hasNodes(const DeclContext *DC); 235 void dumpDeclContext(const DeclContext *DC); 236 void dumpLookups(const DeclContext *DC, bool DumpDecls); 237 void dumpAttr(const Attr *A); 238 239 // C++ Utilities 240 void dumpAccessSpecifier(AccessSpecifier AS); 241 void dumpCXXCtorInitializer(const CXXCtorInitializer *Init); 242 void dumpTemplateParameters(const TemplateParameterList *TPL); 243 void dumpTemplateArgumentListInfo(const TemplateArgumentListInfo &TALI); 244 void dumpTemplateArgumentLoc(const TemplateArgumentLoc &A); 245 void dumpTemplateArgumentList(const TemplateArgumentList &TAL); 246 void dumpTemplateArgument(const TemplateArgument &A, 247 SourceRange R = SourceRange()); 248 249 // Objective-C utilities. 250 void dumpObjCTypeParamList(const ObjCTypeParamList *typeParams); 251 252 // Types 253 void VisitComplexType(const ComplexType *T) { 254 dumpTypeAsChild(T->getElementType()); 255 } 256 void VisitPointerType(const PointerType *T) { 257 dumpTypeAsChild(T->getPointeeType()); 258 } 259 void VisitBlockPointerType(const BlockPointerType *T) { 260 dumpTypeAsChild(T->getPointeeType()); 261 } 262 void VisitReferenceType(const ReferenceType *T) { 263 dumpTypeAsChild(T->getPointeeType()); 264 } 265 void VisitRValueReferenceType(const ReferenceType *T) { 266 if (T->isSpelledAsLValue()) 267 OS << " written as lvalue reference"; 268 VisitReferenceType(T); 269 } 270 void VisitMemberPointerType(const MemberPointerType *T) { 271 dumpTypeAsChild(T->getClass()); 272 dumpTypeAsChild(T->getPointeeType()); 273 } 274 void VisitArrayType(const ArrayType *T) { 275 switch (T->getSizeModifier()) { 276 case ArrayType::Normal: break; 277 case ArrayType::Static: OS << " static"; break; 278 case ArrayType::Star: OS << " *"; break; 279 } 280 OS << " " << T->getIndexTypeQualifiers().getAsString(); 281 dumpTypeAsChild(T->getElementType()); 282 } 283 void VisitConstantArrayType(const ConstantArrayType *T) { 284 OS << " " << T->getSize(); 285 VisitArrayType(T); 286 } 287 void VisitVariableArrayType(const VariableArrayType *T) { 288 OS << " "; 289 dumpSourceRange(T->getBracketsRange()); 290 VisitArrayType(T); 291 dumpStmt(T->getSizeExpr()); 292 } 293 void VisitDependentSizedArrayType(const DependentSizedArrayType *T) { 294 VisitArrayType(T); 295 OS << " "; 296 dumpSourceRange(T->getBracketsRange()); 297 dumpStmt(T->getSizeExpr()); 298 } 299 void VisitDependentSizedExtVectorType( 300 const DependentSizedExtVectorType *T) { 301 OS << " "; 302 dumpLocation(T->getAttributeLoc()); 303 dumpTypeAsChild(T->getElementType()); 304 dumpStmt(T->getSizeExpr()); 305 } 306 void VisitVectorType(const VectorType *T) { 307 switch (T->getVectorKind()) { 308 case VectorType::GenericVector: break; 309 case VectorType::AltiVecVector: OS << " altivec"; break; 310 case VectorType::AltiVecPixel: OS << " altivec pixel"; break; 311 case VectorType::AltiVecBool: OS << " altivec bool"; break; 312 case VectorType::NeonVector: OS << " neon"; break; 313 case VectorType::NeonPolyVector: OS << " neon poly"; break; 314 } 315 OS << " " << T->getNumElements(); 316 dumpTypeAsChild(T->getElementType()); 317 } 318 void VisitFunctionType(const FunctionType *T) { 319 auto EI = T->getExtInfo(); 320 if (EI.getNoReturn()) OS << " noreturn"; 321 if (EI.getProducesResult()) OS << " produces_result"; 322 if (EI.getHasRegParm()) OS << " regparm " << EI.getRegParm(); 323 OS << " " << FunctionType::getNameForCallConv(EI.getCC()); 324 dumpTypeAsChild(T->getReturnType()); 325 } 326 void VisitFunctionProtoType(const FunctionProtoType *T) { 327 auto EPI = T->getExtProtoInfo(); 328 if (EPI.HasTrailingReturn) OS << " trailing_return"; 329 if (T->isConst()) OS << " const"; 330 if (T->isVolatile()) OS << " volatile"; 331 if (T->isRestrict()) OS << " restrict"; 332 switch (EPI.RefQualifier) { 333 case RQ_None: break; 334 case RQ_LValue: OS << " &"; break; 335 case RQ_RValue: OS << " &&"; break; 336 } 337 // FIXME: Exception specification. 338 // FIXME: Consumed parameters. 339 VisitFunctionType(T); 340 for (QualType PT : T->getParamTypes()) 341 dumpTypeAsChild(PT); 342 if (EPI.Variadic) 343 dumpChild([=] { OS << "..."; }); 344 } 345 void VisitUnresolvedUsingType(const UnresolvedUsingType *T) { 346 dumpDeclRef(T->getDecl()); 347 } 348 void VisitTypedefType(const TypedefType *T) { 349 dumpDeclRef(T->getDecl()); 350 } 351 void VisitTypeOfExprType(const TypeOfExprType *T) { 352 dumpStmt(T->getUnderlyingExpr()); 353 } 354 void VisitDecltypeType(const DecltypeType *T) { 355 dumpStmt(T->getUnderlyingExpr()); 356 } 357 void VisitUnaryTransformType(const UnaryTransformType *T) { 358 switch (T->getUTTKind()) { 359 case UnaryTransformType::EnumUnderlyingType: 360 OS << " underlying_type"; 361 break; 362 } 363 dumpTypeAsChild(T->getBaseType()); 364 } 365 void VisitTagType(const TagType *T) { 366 dumpDeclRef(T->getDecl()); 367 } 368 void VisitAttributedType(const AttributedType *T) { 369 // FIXME: AttrKind 370 dumpTypeAsChild(T->getModifiedType()); 371 } 372 void VisitTemplateTypeParmType(const TemplateTypeParmType *T) { 373 OS << " depth " << T->getDepth() << " index " << T->getIndex(); 374 if (T->isParameterPack()) OS << " pack"; 375 dumpDeclRef(T->getDecl()); 376 } 377 void VisitSubstTemplateTypeParmType(const SubstTemplateTypeParmType *T) { 378 dumpTypeAsChild(T->getReplacedParameter()); 379 } 380 void VisitSubstTemplateTypeParmPackType( 381 const SubstTemplateTypeParmPackType *T) { 382 dumpTypeAsChild(T->getReplacedParameter()); 383 dumpTemplateArgument(T->getArgumentPack()); 384 } 385 void VisitAutoType(const AutoType *T) { 386 if (T->isDecltypeAuto()) OS << " decltype(auto)"; 387 if (!T->isDeduced()) 388 OS << " undeduced"; 389 } 390 void VisitTemplateSpecializationType(const TemplateSpecializationType *T) { 391 if (T->isTypeAlias()) OS << " alias"; 392 OS << " "; T->getTemplateName().dump(OS); 393 for (auto &Arg : *T) 394 dumpTemplateArgument(Arg); 395 if (T->isTypeAlias()) 396 dumpTypeAsChild(T->getAliasedType()); 397 } 398 void VisitInjectedClassNameType(const InjectedClassNameType *T) { 399 dumpDeclRef(T->getDecl()); 400 } 401 void VisitObjCInterfaceType(const ObjCInterfaceType *T) { 402 dumpDeclRef(T->getDecl()); 403 } 404 void VisitObjCObjectPointerType(const ObjCObjectPointerType *T) { 405 dumpTypeAsChild(T->getPointeeType()); 406 } 407 void VisitAtomicType(const AtomicType *T) { 408 dumpTypeAsChild(T->getValueType()); 409 } 410 void VisitPipeType(const PipeType *T) { 411 dumpTypeAsChild(T->getElementType()); 412 } 413 void VisitAdjustedType(const AdjustedType *T) { 414 dumpTypeAsChild(T->getOriginalType()); 415 } 416 void VisitPackExpansionType(const PackExpansionType *T) { 417 if (auto N = T->getNumExpansions()) OS << " expansions " << *N; 418 if (!T->isSugared()) 419 dumpTypeAsChild(T->getPattern()); 420 } 421 // FIXME: ElaboratedType, DependentNameType, 422 // DependentTemplateSpecializationType, ObjCObjectType 423 424 // Decls 425 void VisitLabelDecl(const LabelDecl *D); 426 void VisitTypedefDecl(const TypedefDecl *D); 427 void VisitEnumDecl(const EnumDecl *D); 428 void VisitRecordDecl(const RecordDecl *D); 429 void VisitEnumConstantDecl(const EnumConstantDecl *D); 430 void VisitIndirectFieldDecl(const IndirectFieldDecl *D); 431 void VisitFunctionDecl(const FunctionDecl *D); 432 void VisitFieldDecl(const FieldDecl *D); 433 void VisitVarDecl(const VarDecl *D); 434 void VisitDecompositionDecl(const DecompositionDecl *D); 435 void VisitBindingDecl(const BindingDecl *D); 436 void VisitFileScopeAsmDecl(const FileScopeAsmDecl *D); 437 void VisitImportDecl(const ImportDecl *D); 438 void VisitPragmaCommentDecl(const PragmaCommentDecl *D); 439 void VisitPragmaDetectMismatchDecl(const PragmaDetectMismatchDecl *D); 440 void VisitCapturedDecl(const CapturedDecl *D); 441 442 // OpenMP decls 443 void VisitOMPThreadPrivateDecl(const OMPThreadPrivateDecl *D); 444 void VisitOMPDeclareReductionDecl(const OMPDeclareReductionDecl *D); 445 void VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D); 446 447 // C++ Decls 448 void VisitNamespaceDecl(const NamespaceDecl *D); 449 void VisitUsingDirectiveDecl(const UsingDirectiveDecl *D); 450 void VisitNamespaceAliasDecl(const NamespaceAliasDecl *D); 451 void VisitTypeAliasDecl(const TypeAliasDecl *D); 452 void VisitTypeAliasTemplateDecl(const TypeAliasTemplateDecl *D); 453 void VisitCXXRecordDecl(const CXXRecordDecl *D); 454 void VisitStaticAssertDecl(const StaticAssertDecl *D); 455 template<typename SpecializationDecl> 456 void VisitTemplateDeclSpecialization(const SpecializationDecl *D, 457 bool DumpExplicitInst, 458 bool DumpRefOnly); 459 template<typename TemplateDecl> 460 void VisitTemplateDecl(const TemplateDecl *D, bool DumpExplicitInst); 461 void VisitFunctionTemplateDecl(const FunctionTemplateDecl *D); 462 void VisitClassTemplateDecl(const ClassTemplateDecl *D); 463 void VisitClassTemplateSpecializationDecl( 464 const ClassTemplateSpecializationDecl *D); 465 void VisitClassTemplatePartialSpecializationDecl( 466 const ClassTemplatePartialSpecializationDecl *D); 467 void VisitClassScopeFunctionSpecializationDecl( 468 const ClassScopeFunctionSpecializationDecl *D); 469 void VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D); 470 void VisitVarTemplateDecl(const VarTemplateDecl *D); 471 void VisitVarTemplateSpecializationDecl( 472 const VarTemplateSpecializationDecl *D); 473 void VisitVarTemplatePartialSpecializationDecl( 474 const VarTemplatePartialSpecializationDecl *D); 475 void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D); 476 void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D); 477 void VisitTemplateTemplateParmDecl(const TemplateTemplateParmDecl *D); 478 void VisitUsingDecl(const UsingDecl *D); 479 void VisitUnresolvedUsingTypenameDecl(const UnresolvedUsingTypenameDecl *D); 480 void VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D); 481 void VisitUsingShadowDecl(const UsingShadowDecl *D); 482 void VisitConstructorUsingShadowDecl(const ConstructorUsingShadowDecl *D); 483 void VisitLinkageSpecDecl(const LinkageSpecDecl *D); 484 void VisitAccessSpecDecl(const AccessSpecDecl *D); 485 void VisitFriendDecl(const FriendDecl *D); 486 487 // ObjC Decls 488 void VisitObjCIvarDecl(const ObjCIvarDecl *D); 489 void VisitObjCMethodDecl(const ObjCMethodDecl *D); 490 void VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D); 491 void VisitObjCCategoryDecl(const ObjCCategoryDecl *D); 492 void VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D); 493 void VisitObjCProtocolDecl(const ObjCProtocolDecl *D); 494 void VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D); 495 void VisitObjCImplementationDecl(const ObjCImplementationDecl *D); 496 void VisitObjCCompatibleAliasDecl(const ObjCCompatibleAliasDecl *D); 497 void VisitObjCPropertyDecl(const ObjCPropertyDecl *D); 498 void VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D); 499 void VisitBlockDecl(const BlockDecl *D); 500 501 // Stmts. 502 void VisitStmt(const Stmt *Node); 503 void VisitDeclStmt(const DeclStmt *Node); 504 void VisitAttributedStmt(const AttributedStmt *Node); 505 void VisitLabelStmt(const LabelStmt *Node); 506 void VisitGotoStmt(const GotoStmt *Node); 507 void VisitCXXCatchStmt(const CXXCatchStmt *Node); 508 void VisitCapturedStmt(const CapturedStmt *Node); 509 510 // OpenMP 511 void VisitOMPExecutableDirective(const OMPExecutableDirective *Node); 512 513 // Exprs 514 void VisitExpr(const Expr *Node); 515 void VisitCastExpr(const CastExpr *Node); 516 void VisitDeclRefExpr(const DeclRefExpr *Node); 517 void VisitPredefinedExpr(const PredefinedExpr *Node); 518 void VisitCharacterLiteral(const CharacterLiteral *Node); 519 void VisitIntegerLiteral(const IntegerLiteral *Node); 520 void VisitFloatingLiteral(const FloatingLiteral *Node); 521 void VisitStringLiteral(const StringLiteral *Str); 522 void VisitInitListExpr(const InitListExpr *ILE); 523 void VisitArrayInitLoopExpr(const ArrayInitLoopExpr *ILE); 524 void VisitArrayInitIndexExpr(const ArrayInitIndexExpr *ILE); 525 void VisitUnaryOperator(const UnaryOperator *Node); 526 void VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Node); 527 void VisitMemberExpr(const MemberExpr *Node); 528 void VisitExtVectorElementExpr(const ExtVectorElementExpr *Node); 529 void VisitBinaryOperator(const BinaryOperator *Node); 530 void VisitCompoundAssignOperator(const CompoundAssignOperator *Node); 531 void VisitAddrLabelExpr(const AddrLabelExpr *Node); 532 void VisitBlockExpr(const BlockExpr *Node); 533 void VisitOpaqueValueExpr(const OpaqueValueExpr *Node); 534 535 // C++ 536 void VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node); 537 void VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node); 538 void VisitCXXThisExpr(const CXXThisExpr *Node); 539 void VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *Node); 540 void VisitCXXConstructExpr(const CXXConstructExpr *Node); 541 void VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *Node); 542 void VisitCXXNewExpr(const CXXNewExpr *Node); 543 void VisitCXXDeleteExpr(const CXXDeleteExpr *Node); 544 void VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *Node); 545 void VisitExprWithCleanups(const ExprWithCleanups *Node); 546 void VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *Node); 547 void dumpCXXTemporary(const CXXTemporary *Temporary); 548 void VisitLambdaExpr(const LambdaExpr *Node) { 549 VisitExpr(Node); 550 dumpDecl(Node->getLambdaClass()); 551 } 552 void VisitSizeOfPackExpr(const SizeOfPackExpr *Node); 553 void 554 VisitCXXDependentScopeMemberExpr(const CXXDependentScopeMemberExpr *Node); 555 556 // ObjC 557 void VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node); 558 void VisitObjCEncodeExpr(const ObjCEncodeExpr *Node); 559 void VisitObjCMessageExpr(const ObjCMessageExpr *Node); 560 void VisitObjCBoxedExpr(const ObjCBoxedExpr *Node); 561 void VisitObjCSelectorExpr(const ObjCSelectorExpr *Node); 562 void VisitObjCProtocolExpr(const ObjCProtocolExpr *Node); 563 void VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node); 564 void VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *Node); 565 void VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node); 566 void VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node); 567 568 // Comments. 569 const char *getCommandName(unsigned CommandID); 570 void dumpComment(const Comment *C); 571 572 // Inline comments. 573 void visitTextComment(const TextComment *C); 574 void visitInlineCommandComment(const InlineCommandComment *C); 575 void visitHTMLStartTagComment(const HTMLStartTagComment *C); 576 void visitHTMLEndTagComment(const HTMLEndTagComment *C); 577 578 // Block comments. 579 void visitBlockCommandComment(const BlockCommandComment *C); 580 void visitParamCommandComment(const ParamCommandComment *C); 581 void visitTParamCommandComment(const TParamCommandComment *C); 582 void visitVerbatimBlockComment(const VerbatimBlockComment *C); 583 void visitVerbatimBlockLineComment(const VerbatimBlockLineComment *C); 584 void visitVerbatimLineComment(const VerbatimLineComment *C); 585 }; 586 } 587 588 //===----------------------------------------------------------------------===// 589 // Utilities 590 //===----------------------------------------------------------------------===// 591 592 void ASTDumper::dumpPointer(const void *Ptr) { 593 ColorScope Color(*this, AddressColor); 594 OS << ' ' << Ptr; 595 } 596 597 void ASTDumper::dumpLocation(SourceLocation Loc) { 598 if (!SM) 599 return; 600 601 ColorScope Color(*this, LocationColor); 602 SourceLocation SpellingLoc = SM->getSpellingLoc(Loc); 603 604 // The general format we print out is filename:line:col, but we drop pieces 605 // that haven't changed since the last loc printed. 606 PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc); 607 608 if (PLoc.isInvalid()) { 609 OS << "<invalid sloc>"; 610 return; 611 } 612 613 if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) { 614 OS << PLoc.getFilename() << ':' << PLoc.getLine() 615 << ':' << PLoc.getColumn(); 616 LastLocFilename = PLoc.getFilename(); 617 LastLocLine = PLoc.getLine(); 618 } else if (PLoc.getLine() != LastLocLine) { 619 OS << "line" << ':' << PLoc.getLine() 620 << ':' << PLoc.getColumn(); 621 LastLocLine = PLoc.getLine(); 622 } else { 623 OS << "col" << ':' << PLoc.getColumn(); 624 } 625 } 626 627 void ASTDumper::dumpSourceRange(SourceRange R) { 628 // Can't translate locations if a SourceManager isn't available. 629 if (!SM) 630 return; 631 632 OS << " <"; 633 dumpLocation(R.getBegin()); 634 if (R.getBegin() != R.getEnd()) { 635 OS << ", "; 636 dumpLocation(R.getEnd()); 637 } 638 OS << ">"; 639 640 // <t2.c:123:421[blah], t2.c:412:321> 641 642 } 643 644 void ASTDumper::dumpBareType(QualType T, bool Desugar) { 645 ColorScope Color(*this, TypeColor); 646 647 SplitQualType T_split = T.split(); 648 OS << "'" << QualType::getAsString(T_split) << "'"; 649 650 if (Desugar && !T.isNull()) { 651 // If the type is sugared, also dump a (shallow) desugared type. 652 SplitQualType D_split = T.getSplitDesugaredType(); 653 if (T_split != D_split) 654 OS << ":'" << QualType::getAsString(D_split) << "'"; 655 } 656 } 657 658 void ASTDumper::dumpType(QualType T) { 659 OS << ' '; 660 dumpBareType(T); 661 } 662 663 void ASTDumper::dumpTypeAsChild(QualType T) { 664 SplitQualType SQT = T.split(); 665 if (!SQT.Quals.hasQualifiers()) 666 return dumpTypeAsChild(SQT.Ty); 667 668 dumpChild([=] { 669 OS << "QualType"; 670 dumpPointer(T.getAsOpaquePtr()); 671 OS << " "; 672 dumpBareType(T, false); 673 OS << " " << T.split().Quals.getAsString(); 674 dumpTypeAsChild(T.split().Ty); 675 }); 676 } 677 678 void ASTDumper::dumpTypeAsChild(const Type *T) { 679 dumpChild([=] { 680 if (!T) { 681 ColorScope Color(*this, NullColor); 682 OS << "<<<NULL>>>"; 683 return; 684 } 685 if (const LocInfoType *LIT = llvm::dyn_cast<LocInfoType>(T)) { 686 { 687 ColorScope Color(*this, TypeColor); 688 OS << "LocInfo Type"; 689 } 690 dumpPointer(T); 691 dumpTypeAsChild(LIT->getTypeSourceInfo()->getType()); 692 return; 693 } 694 695 { 696 ColorScope Color(*this, TypeColor); 697 OS << T->getTypeClassName() << "Type"; 698 } 699 dumpPointer(T); 700 OS << " "; 701 dumpBareType(QualType(T, 0), false); 702 703 QualType SingleStepDesugar = 704 T->getLocallyUnqualifiedSingleStepDesugaredType(); 705 if (SingleStepDesugar != QualType(T, 0)) 706 OS << " sugar"; 707 if (T->isDependentType()) 708 OS << " dependent"; 709 else if (T->isInstantiationDependentType()) 710 OS << " instantiation_dependent"; 711 if (T->isVariablyModifiedType()) 712 OS << " variably_modified"; 713 if (T->containsUnexpandedParameterPack()) 714 OS << " contains_unexpanded_pack"; 715 if (T->isFromAST()) 716 OS << " imported"; 717 718 TypeVisitor<ASTDumper>::Visit(T); 719 720 if (SingleStepDesugar != QualType(T, 0)) 721 dumpTypeAsChild(SingleStepDesugar); 722 }); 723 } 724 725 void ASTDumper::dumpBareDeclRef(const Decl *D) { 726 if (!D) { 727 ColorScope Color(*this, NullColor); 728 OS << "<<<NULL>>>"; 729 return; 730 } 731 732 { 733 ColorScope Color(*this, DeclKindNameColor); 734 OS << D->getDeclKindName(); 735 } 736 dumpPointer(D); 737 738 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) { 739 ColorScope Color(*this, DeclNameColor); 740 OS << " '" << ND->getDeclName() << '\''; 741 } 742 743 if (const ValueDecl *VD = dyn_cast<ValueDecl>(D)) 744 dumpType(VD->getType()); 745 } 746 747 void ASTDumper::dumpDeclRef(const Decl *D, const char *Label) { 748 if (!D) 749 return; 750 751 dumpChild([=]{ 752 if (Label) 753 OS << Label << ' '; 754 dumpBareDeclRef(D); 755 }); 756 } 757 758 void ASTDumper::dumpName(const NamedDecl *ND) { 759 if (ND->getDeclName()) { 760 ColorScope Color(*this, DeclNameColor); 761 OS << ' ' << ND->getNameAsString(); 762 } 763 } 764 765 bool ASTDumper::hasNodes(const DeclContext *DC) { 766 if (!DC) 767 return false; 768 769 return DC->hasExternalLexicalStorage() || 770 (Deserialize ? DC->decls_begin() != DC->decls_end() 771 : DC->noload_decls_begin() != DC->noload_decls_end()); 772 } 773 774 void ASTDumper::dumpDeclContext(const DeclContext *DC) { 775 if (!DC) 776 return; 777 778 for (auto *D : (Deserialize ? DC->decls() : DC->noload_decls())) 779 dumpDecl(D); 780 781 if (DC->hasExternalLexicalStorage()) { 782 dumpChild([=]{ 783 ColorScope Color(*this, UndeserializedColor); 784 OS << "<undeserialized declarations>"; 785 }); 786 } 787 } 788 789 void ASTDumper::dumpLookups(const DeclContext *DC, bool DumpDecls) { 790 dumpChild([=] { 791 OS << "StoredDeclsMap "; 792 dumpBareDeclRef(cast<Decl>(DC)); 793 794 const DeclContext *Primary = DC->getPrimaryContext(); 795 if (Primary != DC) { 796 OS << " primary"; 797 dumpPointer(cast<Decl>(Primary)); 798 } 799 800 bool HasUndeserializedLookups = Primary->hasExternalVisibleStorage(); 801 802 for (auto I = Deserialize ? Primary->lookups_begin() 803 : Primary->noload_lookups_begin(), 804 E = Deserialize ? Primary->lookups_end() 805 : Primary->noload_lookups_end(); 806 I != E; ++I) { 807 DeclarationName Name = I.getLookupName(); 808 DeclContextLookupResult R = *I; 809 810 dumpChild([=] { 811 OS << "DeclarationName "; 812 { 813 ColorScope Color(*this, DeclNameColor); 814 OS << '\'' << Name << '\''; 815 } 816 817 for (DeclContextLookupResult::iterator RI = R.begin(), RE = R.end(); 818 RI != RE; ++RI) { 819 dumpChild([=] { 820 dumpBareDeclRef(*RI); 821 822 if ((*RI)->isHidden()) 823 OS << " hidden"; 824 825 // If requested, dump the redecl chain for this lookup. 826 if (DumpDecls) { 827 // Dump earliest decl first. 828 std::function<void(Decl *)> DumpWithPrev = [&](Decl *D) { 829 if (Decl *Prev = D->getPreviousDecl()) 830 DumpWithPrev(Prev); 831 dumpDecl(D); 832 }; 833 DumpWithPrev(*RI); 834 } 835 }); 836 } 837 }); 838 } 839 840 if (HasUndeserializedLookups) { 841 dumpChild([=] { 842 ColorScope Color(*this, UndeserializedColor); 843 OS << "<undeserialized lookups>"; 844 }); 845 } 846 }); 847 } 848 849 void ASTDumper::dumpAttr(const Attr *A) { 850 dumpChild([=] { 851 { 852 ColorScope Color(*this, AttrColor); 853 854 switch (A->getKind()) { 855 #define ATTR(X) case attr::X: OS << #X; break; 856 #include "clang/Basic/AttrList.inc" 857 } 858 OS << "Attr"; 859 } 860 dumpPointer(A); 861 dumpSourceRange(A->getRange()); 862 if (A->isInherited()) 863 OS << " Inherited"; 864 if (A->isImplicit()) 865 OS << " Implicit"; 866 #include "clang/AST/AttrDump.inc" 867 }); 868 } 869 870 static void dumpPreviousDeclImpl(raw_ostream &OS, ...) {} 871 872 template<typename T> 873 static void dumpPreviousDeclImpl(raw_ostream &OS, const Mergeable<T> *D) { 874 const T *First = D->getFirstDecl(); 875 if (First != D) 876 OS << " first " << First; 877 } 878 879 template<typename T> 880 static void dumpPreviousDeclImpl(raw_ostream &OS, const Redeclarable<T> *D) { 881 const T *Prev = D->getPreviousDecl(); 882 if (Prev) 883 OS << " prev " << Prev; 884 } 885 886 /// Dump the previous declaration in the redeclaration chain for a declaration, 887 /// if any. 888 static void dumpPreviousDecl(raw_ostream &OS, const Decl *D) { 889 switch (D->getKind()) { 890 #define DECL(DERIVED, BASE) \ 891 case Decl::DERIVED: \ 892 return dumpPreviousDeclImpl(OS, cast<DERIVED##Decl>(D)); 893 #define ABSTRACT_DECL(DECL) 894 #include "clang/AST/DeclNodes.inc" 895 } 896 llvm_unreachable("Decl that isn't part of DeclNodes.inc!"); 897 } 898 899 //===----------------------------------------------------------------------===// 900 // C++ Utilities 901 //===----------------------------------------------------------------------===// 902 903 void ASTDumper::dumpAccessSpecifier(AccessSpecifier AS) { 904 switch (AS) { 905 case AS_none: 906 break; 907 case AS_public: 908 OS << "public"; 909 break; 910 case AS_protected: 911 OS << "protected"; 912 break; 913 case AS_private: 914 OS << "private"; 915 break; 916 } 917 } 918 919 void ASTDumper::dumpCXXCtorInitializer(const CXXCtorInitializer *Init) { 920 dumpChild([=] { 921 OS << "CXXCtorInitializer"; 922 if (Init->isAnyMemberInitializer()) { 923 OS << ' '; 924 dumpBareDeclRef(Init->getAnyMember()); 925 } else if (Init->isBaseInitializer()) { 926 dumpType(QualType(Init->getBaseClass(), 0)); 927 } else if (Init->isDelegatingInitializer()) { 928 dumpType(Init->getTypeSourceInfo()->getType()); 929 } else { 930 llvm_unreachable("Unknown initializer type"); 931 } 932 dumpStmt(Init->getInit()); 933 }); 934 } 935 936 void ASTDumper::dumpTemplateParameters(const TemplateParameterList *TPL) { 937 if (!TPL) 938 return; 939 940 for (TemplateParameterList::const_iterator I = TPL->begin(), E = TPL->end(); 941 I != E; ++I) 942 dumpDecl(*I); 943 } 944 945 void ASTDumper::dumpTemplateArgumentListInfo( 946 const TemplateArgumentListInfo &TALI) { 947 for (unsigned i = 0, e = TALI.size(); i < e; ++i) 948 dumpTemplateArgumentLoc(TALI[i]); 949 } 950 951 void ASTDumper::dumpTemplateArgumentLoc(const TemplateArgumentLoc &A) { 952 dumpTemplateArgument(A.getArgument(), A.getSourceRange()); 953 } 954 955 void ASTDumper::dumpTemplateArgumentList(const TemplateArgumentList &TAL) { 956 for (unsigned i = 0, e = TAL.size(); i < e; ++i) 957 dumpTemplateArgument(TAL[i]); 958 } 959 960 void ASTDumper::dumpTemplateArgument(const TemplateArgument &A, SourceRange R) { 961 dumpChild([=] { 962 OS << "TemplateArgument"; 963 if (R.isValid()) 964 dumpSourceRange(R); 965 966 switch (A.getKind()) { 967 case TemplateArgument::Null: 968 OS << " null"; 969 break; 970 case TemplateArgument::Type: 971 OS << " type"; 972 dumpType(A.getAsType()); 973 break; 974 case TemplateArgument::Declaration: 975 OS << " decl"; 976 dumpDeclRef(A.getAsDecl()); 977 break; 978 case TemplateArgument::NullPtr: 979 OS << " nullptr"; 980 break; 981 case TemplateArgument::Integral: 982 OS << " integral " << A.getAsIntegral(); 983 break; 984 case TemplateArgument::Template: 985 OS << " template "; 986 A.getAsTemplate().dump(OS); 987 break; 988 case TemplateArgument::TemplateExpansion: 989 OS << " template expansion"; 990 A.getAsTemplateOrTemplatePattern().dump(OS); 991 break; 992 case TemplateArgument::Expression: 993 OS << " expr"; 994 dumpStmt(A.getAsExpr()); 995 break; 996 case TemplateArgument::Pack: 997 OS << " pack"; 998 for (TemplateArgument::pack_iterator I = A.pack_begin(), E = A.pack_end(); 999 I != E; ++I) 1000 dumpTemplateArgument(*I); 1001 break; 1002 } 1003 }); 1004 } 1005 1006 //===----------------------------------------------------------------------===// 1007 // Objective-C Utilities 1008 //===----------------------------------------------------------------------===// 1009 void ASTDumper::dumpObjCTypeParamList(const ObjCTypeParamList *typeParams) { 1010 if (!typeParams) 1011 return; 1012 1013 for (auto typeParam : *typeParams) { 1014 dumpDecl(typeParam); 1015 } 1016 } 1017 1018 //===----------------------------------------------------------------------===// 1019 // Decl dumping methods. 1020 //===----------------------------------------------------------------------===// 1021 1022 void ASTDumper::dumpDecl(const Decl *D) { 1023 dumpChild([=] { 1024 if (!D) { 1025 ColorScope Color(*this, NullColor); 1026 OS << "<<<NULL>>>"; 1027 return; 1028 } 1029 1030 { 1031 ColorScope Color(*this, DeclKindNameColor); 1032 OS << D->getDeclKindName() << "Decl"; 1033 } 1034 dumpPointer(D); 1035 if (D->getLexicalDeclContext() != D->getDeclContext()) 1036 OS << " parent " << cast<Decl>(D->getDeclContext()); 1037 dumpPreviousDecl(OS, D); 1038 dumpSourceRange(D->getSourceRange()); 1039 OS << ' '; 1040 dumpLocation(D->getLocation()); 1041 if (D->isFromASTFile()) 1042 OS << " imported"; 1043 if (Module *M = D->getOwningModule()) 1044 OS << " in " << M->getFullModuleName(); 1045 if (auto *ND = dyn_cast<NamedDecl>(D)) 1046 for (Module *M : D->getASTContext().getModulesWithMergedDefinition( 1047 const_cast<NamedDecl *>(ND))) 1048 dumpChild([=] { OS << "also in " << M->getFullModuleName(); }); 1049 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) 1050 if (ND->isHidden()) 1051 OS << " hidden"; 1052 if (D->isImplicit()) 1053 OS << " implicit"; 1054 if (D->isUsed()) 1055 OS << " used"; 1056 else if (D->isThisDeclarationReferenced()) 1057 OS << " referenced"; 1058 if (D->isInvalidDecl()) 1059 OS << " invalid"; 1060 if (const FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) 1061 if (FD->isConstexpr()) 1062 OS << " constexpr"; 1063 1064 1065 ConstDeclVisitor<ASTDumper>::Visit(D); 1066 1067 for (Decl::attr_iterator I = D->attr_begin(), E = D->attr_end(); I != E; 1068 ++I) 1069 dumpAttr(*I); 1070 1071 if (const FullComment *Comment = 1072 D->getASTContext().getLocalCommentForDeclUncached(D)) 1073 dumpFullComment(Comment); 1074 1075 // Decls within functions are visited by the body. 1076 if (!isa<FunctionDecl>(*D) && !isa<ObjCMethodDecl>(*D) && 1077 hasNodes(dyn_cast<DeclContext>(D))) 1078 dumpDeclContext(cast<DeclContext>(D)); 1079 }); 1080 } 1081 1082 void ASTDumper::VisitLabelDecl(const LabelDecl *D) { 1083 dumpName(D); 1084 } 1085 1086 void ASTDumper::VisitTypedefDecl(const TypedefDecl *D) { 1087 dumpName(D); 1088 dumpType(D->getUnderlyingType()); 1089 if (D->isModulePrivate()) 1090 OS << " __module_private__"; 1091 dumpTypeAsChild(D->getUnderlyingType()); 1092 } 1093 1094 void ASTDumper::VisitEnumDecl(const EnumDecl *D) { 1095 if (D->isScoped()) { 1096 if (D->isScopedUsingClassTag()) 1097 OS << " class"; 1098 else 1099 OS << " struct"; 1100 } 1101 dumpName(D); 1102 if (D->isModulePrivate()) 1103 OS << " __module_private__"; 1104 if (D->isFixed()) 1105 dumpType(D->getIntegerType()); 1106 } 1107 1108 void ASTDumper::VisitRecordDecl(const RecordDecl *D) { 1109 OS << ' ' << D->getKindName(); 1110 dumpName(D); 1111 if (D->isModulePrivate()) 1112 OS << " __module_private__"; 1113 if (D->isCompleteDefinition()) 1114 OS << " definition"; 1115 } 1116 1117 void ASTDumper::VisitEnumConstantDecl(const EnumConstantDecl *D) { 1118 dumpName(D); 1119 dumpType(D->getType()); 1120 if (const Expr *Init = D->getInitExpr()) 1121 dumpStmt(Init); 1122 } 1123 1124 void ASTDumper::VisitIndirectFieldDecl(const IndirectFieldDecl *D) { 1125 dumpName(D); 1126 dumpType(D->getType()); 1127 1128 for (auto *Child : D->chain()) 1129 dumpDeclRef(Child); 1130 } 1131 1132 void ASTDumper::VisitFunctionDecl(const FunctionDecl *D) { 1133 dumpName(D); 1134 dumpType(D->getType()); 1135 1136 StorageClass SC = D->getStorageClass(); 1137 if (SC != SC_None) 1138 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC); 1139 if (D->isInlineSpecified()) 1140 OS << " inline"; 1141 if (D->isVirtualAsWritten()) 1142 OS << " virtual"; 1143 if (D->isModulePrivate()) 1144 OS << " __module_private__"; 1145 1146 if (D->isPure()) 1147 OS << " pure"; 1148 if (D->isDefaulted()) { 1149 OS << " default"; 1150 if (D->isDeleted()) 1151 OS << "_delete"; 1152 } 1153 if (D->isDeletedAsWritten()) 1154 OS << " delete"; 1155 if (D->isTrivial()) 1156 OS << " trivial"; 1157 1158 if (const FunctionProtoType *FPT = D->getType()->getAs<FunctionProtoType>()) { 1159 FunctionProtoType::ExtProtoInfo EPI = FPT->getExtProtoInfo(); 1160 switch (EPI.ExceptionSpec.Type) { 1161 default: break; 1162 case EST_Unevaluated: 1163 OS << " noexcept-unevaluated " << EPI.ExceptionSpec.SourceDecl; 1164 break; 1165 case EST_Uninstantiated: 1166 OS << " noexcept-uninstantiated " << EPI.ExceptionSpec.SourceTemplate; 1167 break; 1168 } 1169 } 1170 1171 if (const FunctionTemplateSpecializationInfo *FTSI = 1172 D->getTemplateSpecializationInfo()) 1173 dumpTemplateArgumentList(*FTSI->TemplateArguments); 1174 1175 if (!D->param_begin() && D->getNumParams()) 1176 dumpChild([=] { OS << "<<NULL params x " << D->getNumParams() << ">>"; }); 1177 else 1178 for (const ParmVarDecl *Parameter : D->parameters()) 1179 dumpDecl(Parameter); 1180 1181 if (const CXXConstructorDecl *C = dyn_cast<CXXConstructorDecl>(D)) 1182 for (CXXConstructorDecl::init_const_iterator I = C->init_begin(), 1183 E = C->init_end(); 1184 I != E; ++I) 1185 dumpCXXCtorInitializer(*I); 1186 1187 if (const CXXMethodDecl *MD = dyn_cast<CXXMethodDecl>(D)) { 1188 if (MD->size_overridden_methods() != 0) { 1189 auto dumpOverride = 1190 [=](const CXXMethodDecl *D) { 1191 SplitQualType T_split = D->getType().split(); 1192 OS << D << " " << D->getParent()->getName() << "::" 1193 << D->getNameAsString() << " '" << QualType::getAsString(T_split) << "'"; 1194 }; 1195 1196 dumpChild([=] { 1197 auto FirstOverrideItr = MD->begin_overridden_methods(); 1198 OS << "Overrides: [ "; 1199 dumpOverride(*FirstOverrideItr); 1200 for (const auto *Override : 1201 llvm::make_range(FirstOverrideItr + 1, 1202 MD->end_overridden_methods())) { 1203 OS << ", "; 1204 dumpOverride(Override); 1205 } 1206 OS << " ]"; 1207 }); 1208 } 1209 } 1210 1211 if (D->doesThisDeclarationHaveABody()) 1212 dumpStmt(D->getBody()); 1213 } 1214 1215 void ASTDumper::VisitFieldDecl(const FieldDecl *D) { 1216 dumpName(D); 1217 dumpType(D->getType()); 1218 if (D->isMutable()) 1219 OS << " mutable"; 1220 if (D->isModulePrivate()) 1221 OS << " __module_private__"; 1222 1223 if (D->isBitField()) 1224 dumpStmt(D->getBitWidth()); 1225 if (Expr *Init = D->getInClassInitializer()) 1226 dumpStmt(Init); 1227 } 1228 1229 void ASTDumper::VisitVarDecl(const VarDecl *D) { 1230 dumpName(D); 1231 dumpType(D->getType()); 1232 StorageClass SC = D->getStorageClass(); 1233 if (SC != SC_None) 1234 OS << ' ' << VarDecl::getStorageClassSpecifierString(SC); 1235 switch (D->getTLSKind()) { 1236 case VarDecl::TLS_None: break; 1237 case VarDecl::TLS_Static: OS << " tls"; break; 1238 case VarDecl::TLS_Dynamic: OS << " tls_dynamic"; break; 1239 } 1240 if (D->isModulePrivate()) 1241 OS << " __module_private__"; 1242 if (D->isNRVOVariable()) 1243 OS << " nrvo"; 1244 if (D->isInline()) 1245 OS << " inline"; 1246 if (D->isConstexpr()) 1247 OS << " constexpr"; 1248 if (D->hasInit()) { 1249 switch (D->getInitStyle()) { 1250 case VarDecl::CInit: OS << " cinit"; break; 1251 case VarDecl::CallInit: OS << " callinit"; break; 1252 case VarDecl::ListInit: OS << " listinit"; break; 1253 } 1254 dumpStmt(D->getInit()); 1255 } 1256 } 1257 1258 void ASTDumper::VisitDecompositionDecl(const DecompositionDecl *D) { 1259 VisitVarDecl(D); 1260 for (auto *B : D->bindings()) 1261 dumpDecl(B); 1262 } 1263 1264 void ASTDumper::VisitBindingDecl(const BindingDecl *D) { 1265 dumpName(D); 1266 dumpType(D->getType()); 1267 if (auto *E = D->getBinding()) 1268 dumpStmt(E); 1269 } 1270 1271 void ASTDumper::VisitFileScopeAsmDecl(const FileScopeAsmDecl *D) { 1272 dumpStmt(D->getAsmString()); 1273 } 1274 1275 void ASTDumper::VisitImportDecl(const ImportDecl *D) { 1276 OS << ' ' << D->getImportedModule()->getFullModuleName(); 1277 } 1278 1279 void ASTDumper::VisitPragmaCommentDecl(const PragmaCommentDecl *D) { 1280 OS << ' '; 1281 switch (D->getCommentKind()) { 1282 case PCK_Unknown: llvm_unreachable("unexpected pragma comment kind"); 1283 case PCK_Compiler: OS << "compiler"; break; 1284 case PCK_ExeStr: OS << "exestr"; break; 1285 case PCK_Lib: OS << "lib"; break; 1286 case PCK_Linker: OS << "linker"; break; 1287 case PCK_User: OS << "user"; break; 1288 } 1289 StringRef Arg = D->getArg(); 1290 if (!Arg.empty()) 1291 OS << " \"" << Arg << "\""; 1292 } 1293 1294 void ASTDumper::VisitPragmaDetectMismatchDecl( 1295 const PragmaDetectMismatchDecl *D) { 1296 OS << " \"" << D->getName() << "\" \"" << D->getValue() << "\""; 1297 } 1298 1299 void ASTDumper::VisitCapturedDecl(const CapturedDecl *D) { 1300 dumpStmt(D->getBody()); 1301 } 1302 1303 //===----------------------------------------------------------------------===// 1304 // OpenMP Declarations 1305 //===----------------------------------------------------------------------===// 1306 1307 void ASTDumper::VisitOMPThreadPrivateDecl(const OMPThreadPrivateDecl *D) { 1308 for (auto *E : D->varlists()) 1309 dumpStmt(E); 1310 } 1311 1312 void ASTDumper::VisitOMPDeclareReductionDecl(const OMPDeclareReductionDecl *D) { 1313 dumpName(D); 1314 dumpType(D->getType()); 1315 OS << " combiner"; 1316 dumpStmt(D->getCombiner()); 1317 if (auto *Initializer = D->getInitializer()) { 1318 OS << " initializer"; 1319 dumpStmt(Initializer); 1320 } 1321 } 1322 1323 void ASTDumper::VisitOMPCapturedExprDecl(const OMPCapturedExprDecl *D) { 1324 dumpName(D); 1325 dumpType(D->getType()); 1326 dumpStmt(D->getInit()); 1327 } 1328 1329 //===----------------------------------------------------------------------===// 1330 // C++ Declarations 1331 //===----------------------------------------------------------------------===// 1332 1333 void ASTDumper::VisitNamespaceDecl(const NamespaceDecl *D) { 1334 dumpName(D); 1335 if (D->isInline()) 1336 OS << " inline"; 1337 if (!D->isOriginalNamespace()) 1338 dumpDeclRef(D->getOriginalNamespace(), "original"); 1339 } 1340 1341 void ASTDumper::VisitUsingDirectiveDecl(const UsingDirectiveDecl *D) { 1342 OS << ' '; 1343 dumpBareDeclRef(D->getNominatedNamespace()); 1344 } 1345 1346 void ASTDumper::VisitNamespaceAliasDecl(const NamespaceAliasDecl *D) { 1347 dumpName(D); 1348 dumpDeclRef(D->getAliasedNamespace()); 1349 } 1350 1351 void ASTDumper::VisitTypeAliasDecl(const TypeAliasDecl *D) { 1352 dumpName(D); 1353 dumpType(D->getUnderlyingType()); 1354 dumpTypeAsChild(D->getUnderlyingType()); 1355 } 1356 1357 void ASTDumper::VisitTypeAliasTemplateDecl(const TypeAliasTemplateDecl *D) { 1358 dumpName(D); 1359 dumpTemplateParameters(D->getTemplateParameters()); 1360 dumpDecl(D->getTemplatedDecl()); 1361 } 1362 1363 void ASTDumper::VisitCXXRecordDecl(const CXXRecordDecl *D) { 1364 VisitRecordDecl(D); 1365 if (!D->isCompleteDefinition()) 1366 return; 1367 1368 for (const auto &I : D->bases()) { 1369 dumpChild([=] { 1370 if (I.isVirtual()) 1371 OS << "virtual "; 1372 dumpAccessSpecifier(I.getAccessSpecifier()); 1373 dumpType(I.getType()); 1374 if (I.isPackExpansion()) 1375 OS << "..."; 1376 }); 1377 } 1378 } 1379 1380 void ASTDumper::VisitStaticAssertDecl(const StaticAssertDecl *D) { 1381 dumpStmt(D->getAssertExpr()); 1382 dumpStmt(D->getMessage()); 1383 } 1384 1385 template<typename SpecializationDecl> 1386 void ASTDumper::VisitTemplateDeclSpecialization(const SpecializationDecl *D, 1387 bool DumpExplicitInst, 1388 bool DumpRefOnly) { 1389 bool DumpedAny = false; 1390 for (auto *RedeclWithBadType : D->redecls()) { 1391 // FIXME: The redecls() range sometimes has elements of a less-specific 1392 // type. (In particular, ClassTemplateSpecializationDecl::redecls() gives 1393 // us TagDecls, and should give CXXRecordDecls). 1394 auto *Redecl = dyn_cast<SpecializationDecl>(RedeclWithBadType); 1395 if (!Redecl) { 1396 // Found the injected-class-name for a class template. This will be dumped 1397 // as part of its surrounding class so we don't need to dump it here. 1398 assert(isa<CXXRecordDecl>(RedeclWithBadType) && 1399 "expected an injected-class-name"); 1400 continue; 1401 } 1402 1403 switch (Redecl->getTemplateSpecializationKind()) { 1404 case TSK_ExplicitInstantiationDeclaration: 1405 case TSK_ExplicitInstantiationDefinition: 1406 if (!DumpExplicitInst) 1407 break; 1408 // Fall through. 1409 case TSK_Undeclared: 1410 case TSK_ImplicitInstantiation: 1411 if (DumpRefOnly) 1412 dumpDeclRef(Redecl); 1413 else 1414 dumpDecl(Redecl); 1415 DumpedAny = true; 1416 break; 1417 case TSK_ExplicitSpecialization: 1418 break; 1419 } 1420 } 1421 1422 // Ensure we dump at least one decl for each specialization. 1423 if (!DumpedAny) 1424 dumpDeclRef(D); 1425 } 1426 1427 template<typename TemplateDecl> 1428 void ASTDumper::VisitTemplateDecl(const TemplateDecl *D, 1429 bool DumpExplicitInst) { 1430 dumpName(D); 1431 dumpTemplateParameters(D->getTemplateParameters()); 1432 1433 dumpDecl(D->getTemplatedDecl()); 1434 1435 for (auto *Child : D->specializations()) 1436 VisitTemplateDeclSpecialization(Child, DumpExplicitInst, 1437 !D->isCanonicalDecl()); 1438 } 1439 1440 void ASTDumper::VisitFunctionTemplateDecl(const FunctionTemplateDecl *D) { 1441 // FIXME: We don't add a declaration of a function template specialization 1442 // to its context when it's explicitly instantiated, so dump explicit 1443 // instantiations when we dump the template itself. 1444 VisitTemplateDecl(D, true); 1445 } 1446 1447 void ASTDumper::VisitClassTemplateDecl(const ClassTemplateDecl *D) { 1448 VisitTemplateDecl(D, false); 1449 } 1450 1451 void ASTDumper::VisitClassTemplateSpecializationDecl( 1452 const ClassTemplateSpecializationDecl *D) { 1453 VisitCXXRecordDecl(D); 1454 dumpTemplateArgumentList(D->getTemplateArgs()); 1455 } 1456 1457 void ASTDumper::VisitClassTemplatePartialSpecializationDecl( 1458 const ClassTemplatePartialSpecializationDecl *D) { 1459 VisitClassTemplateSpecializationDecl(D); 1460 dumpTemplateParameters(D->getTemplateParameters()); 1461 } 1462 1463 void ASTDumper::VisitClassScopeFunctionSpecializationDecl( 1464 const ClassScopeFunctionSpecializationDecl *D) { 1465 dumpDeclRef(D->getSpecialization()); 1466 if (D->hasExplicitTemplateArgs()) 1467 dumpTemplateArgumentListInfo(D->templateArgs()); 1468 } 1469 1470 void ASTDumper::VisitVarTemplateDecl(const VarTemplateDecl *D) { 1471 VisitTemplateDecl(D, false); 1472 } 1473 1474 void ASTDumper::VisitBuiltinTemplateDecl(const BuiltinTemplateDecl *D) { 1475 dumpName(D); 1476 dumpTemplateParameters(D->getTemplateParameters()); 1477 } 1478 1479 void ASTDumper::VisitVarTemplateSpecializationDecl( 1480 const VarTemplateSpecializationDecl *D) { 1481 dumpTemplateArgumentList(D->getTemplateArgs()); 1482 VisitVarDecl(D); 1483 } 1484 1485 void ASTDumper::VisitVarTemplatePartialSpecializationDecl( 1486 const VarTemplatePartialSpecializationDecl *D) { 1487 dumpTemplateParameters(D->getTemplateParameters()); 1488 VisitVarTemplateSpecializationDecl(D); 1489 } 1490 1491 void ASTDumper::VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *D) { 1492 if (D->wasDeclaredWithTypename()) 1493 OS << " typename"; 1494 else 1495 OS << " class"; 1496 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1497 if (D->isParameterPack()) 1498 OS << " ..."; 1499 dumpName(D); 1500 if (D->hasDefaultArgument()) 1501 dumpTemplateArgument(D->getDefaultArgument()); 1502 } 1503 1504 void ASTDumper::VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *D) { 1505 dumpType(D->getType()); 1506 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1507 if (D->isParameterPack()) 1508 OS << " ..."; 1509 dumpName(D); 1510 if (D->hasDefaultArgument()) 1511 dumpTemplateArgument(D->getDefaultArgument()); 1512 } 1513 1514 void ASTDumper::VisitTemplateTemplateParmDecl( 1515 const TemplateTemplateParmDecl *D) { 1516 OS << " depth " << D->getDepth() << " index " << D->getIndex(); 1517 if (D->isParameterPack()) 1518 OS << " ..."; 1519 dumpName(D); 1520 dumpTemplateParameters(D->getTemplateParameters()); 1521 if (D->hasDefaultArgument()) 1522 dumpTemplateArgumentLoc(D->getDefaultArgument()); 1523 } 1524 1525 void ASTDumper::VisitUsingDecl(const UsingDecl *D) { 1526 OS << ' '; 1527 if (D->getQualifier()) 1528 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1529 OS << D->getNameAsString(); 1530 } 1531 1532 void ASTDumper::VisitUnresolvedUsingTypenameDecl( 1533 const UnresolvedUsingTypenameDecl *D) { 1534 OS << ' '; 1535 if (D->getQualifier()) 1536 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1537 OS << D->getNameAsString(); 1538 } 1539 1540 void ASTDumper::VisitUnresolvedUsingValueDecl(const UnresolvedUsingValueDecl *D) { 1541 OS << ' '; 1542 if (D->getQualifier()) 1543 D->getQualifier()->print(OS, D->getASTContext().getPrintingPolicy()); 1544 OS << D->getNameAsString(); 1545 dumpType(D->getType()); 1546 } 1547 1548 void ASTDumper::VisitUsingShadowDecl(const UsingShadowDecl *D) { 1549 OS << ' '; 1550 dumpBareDeclRef(D->getTargetDecl()); 1551 if (auto *TD = dyn_cast<TypeDecl>(D->getUnderlyingDecl())) 1552 dumpTypeAsChild(TD->getTypeForDecl()); 1553 } 1554 1555 void ASTDumper::VisitConstructorUsingShadowDecl( 1556 const ConstructorUsingShadowDecl *D) { 1557 if (D->constructsVirtualBase()) 1558 OS << " virtual"; 1559 1560 dumpChild([=] { 1561 OS << "target "; 1562 dumpBareDeclRef(D->getTargetDecl()); 1563 }); 1564 1565 dumpChild([=] { 1566 OS << "nominated "; 1567 dumpBareDeclRef(D->getNominatedBaseClass()); 1568 OS << ' '; 1569 dumpBareDeclRef(D->getNominatedBaseClassShadowDecl()); 1570 }); 1571 1572 dumpChild([=] { 1573 OS << "constructed "; 1574 dumpBareDeclRef(D->getConstructedBaseClass()); 1575 OS << ' '; 1576 dumpBareDeclRef(D->getConstructedBaseClassShadowDecl()); 1577 }); 1578 } 1579 1580 void ASTDumper::VisitLinkageSpecDecl(const LinkageSpecDecl *D) { 1581 switch (D->getLanguage()) { 1582 case LinkageSpecDecl::lang_c: OS << " C"; break; 1583 case LinkageSpecDecl::lang_cxx: OS << " C++"; break; 1584 } 1585 } 1586 1587 void ASTDumper::VisitAccessSpecDecl(const AccessSpecDecl *D) { 1588 OS << ' '; 1589 dumpAccessSpecifier(D->getAccess()); 1590 } 1591 1592 void ASTDumper::VisitFriendDecl(const FriendDecl *D) { 1593 if (TypeSourceInfo *T = D->getFriendType()) 1594 dumpType(T->getType()); 1595 else 1596 dumpDecl(D->getFriendDecl()); 1597 } 1598 1599 //===----------------------------------------------------------------------===// 1600 // Obj-C Declarations 1601 //===----------------------------------------------------------------------===// 1602 1603 void ASTDumper::VisitObjCIvarDecl(const ObjCIvarDecl *D) { 1604 dumpName(D); 1605 dumpType(D->getType()); 1606 if (D->getSynthesize()) 1607 OS << " synthesize"; 1608 1609 switch (D->getAccessControl()) { 1610 case ObjCIvarDecl::None: 1611 OS << " none"; 1612 break; 1613 case ObjCIvarDecl::Private: 1614 OS << " private"; 1615 break; 1616 case ObjCIvarDecl::Protected: 1617 OS << " protected"; 1618 break; 1619 case ObjCIvarDecl::Public: 1620 OS << " public"; 1621 break; 1622 case ObjCIvarDecl::Package: 1623 OS << " package"; 1624 break; 1625 } 1626 } 1627 1628 void ASTDumper::VisitObjCMethodDecl(const ObjCMethodDecl *D) { 1629 if (D->isInstanceMethod()) 1630 OS << " -"; 1631 else 1632 OS << " +"; 1633 dumpName(D); 1634 dumpType(D->getReturnType()); 1635 1636 if (D->isThisDeclarationADefinition()) { 1637 dumpDeclContext(D); 1638 } else { 1639 for (const ParmVarDecl *Parameter : D->parameters()) 1640 dumpDecl(Parameter); 1641 } 1642 1643 if (D->isVariadic()) 1644 dumpChild([=] { OS << "..."; }); 1645 1646 if (D->hasBody()) 1647 dumpStmt(D->getBody()); 1648 } 1649 1650 void ASTDumper::VisitObjCTypeParamDecl(const ObjCTypeParamDecl *D) { 1651 dumpName(D); 1652 switch (D->getVariance()) { 1653 case ObjCTypeParamVariance::Invariant: 1654 break; 1655 1656 case ObjCTypeParamVariance::Covariant: 1657 OS << " covariant"; 1658 break; 1659 1660 case ObjCTypeParamVariance::Contravariant: 1661 OS << " contravariant"; 1662 break; 1663 } 1664 1665 if (D->hasExplicitBound()) 1666 OS << " bounded"; 1667 dumpType(D->getUnderlyingType()); 1668 } 1669 1670 void ASTDumper::VisitObjCCategoryDecl(const ObjCCategoryDecl *D) { 1671 dumpName(D); 1672 dumpDeclRef(D->getClassInterface()); 1673 dumpObjCTypeParamList(D->getTypeParamList()); 1674 dumpDeclRef(D->getImplementation()); 1675 for (ObjCCategoryDecl::protocol_iterator I = D->protocol_begin(), 1676 E = D->protocol_end(); 1677 I != E; ++I) 1678 dumpDeclRef(*I); 1679 } 1680 1681 void ASTDumper::VisitObjCCategoryImplDecl(const ObjCCategoryImplDecl *D) { 1682 dumpName(D); 1683 dumpDeclRef(D->getClassInterface()); 1684 dumpDeclRef(D->getCategoryDecl()); 1685 } 1686 1687 void ASTDumper::VisitObjCProtocolDecl(const ObjCProtocolDecl *D) { 1688 dumpName(D); 1689 1690 for (auto *Child : D->protocols()) 1691 dumpDeclRef(Child); 1692 } 1693 1694 void ASTDumper::VisitObjCInterfaceDecl(const ObjCInterfaceDecl *D) { 1695 dumpName(D); 1696 dumpObjCTypeParamList(D->getTypeParamListAsWritten()); 1697 dumpDeclRef(D->getSuperClass(), "super"); 1698 1699 dumpDeclRef(D->getImplementation()); 1700 for (auto *Child : D->protocols()) 1701 dumpDeclRef(Child); 1702 } 1703 1704 void ASTDumper::VisitObjCImplementationDecl(const ObjCImplementationDecl *D) { 1705 dumpName(D); 1706 dumpDeclRef(D->getSuperClass(), "super"); 1707 dumpDeclRef(D->getClassInterface()); 1708 for (ObjCImplementationDecl::init_const_iterator I = D->init_begin(), 1709 E = D->init_end(); 1710 I != E; ++I) 1711 dumpCXXCtorInitializer(*I); 1712 } 1713 1714 void ASTDumper::VisitObjCCompatibleAliasDecl(const ObjCCompatibleAliasDecl *D) { 1715 dumpName(D); 1716 dumpDeclRef(D->getClassInterface()); 1717 } 1718 1719 void ASTDumper::VisitObjCPropertyDecl(const ObjCPropertyDecl *D) { 1720 dumpName(D); 1721 dumpType(D->getType()); 1722 1723 if (D->getPropertyImplementation() == ObjCPropertyDecl::Required) 1724 OS << " required"; 1725 else if (D->getPropertyImplementation() == ObjCPropertyDecl::Optional) 1726 OS << " optional"; 1727 1728 ObjCPropertyDecl::PropertyAttributeKind Attrs = D->getPropertyAttributes(); 1729 if (Attrs != ObjCPropertyDecl::OBJC_PR_noattr) { 1730 if (Attrs & ObjCPropertyDecl::OBJC_PR_readonly) 1731 OS << " readonly"; 1732 if (Attrs & ObjCPropertyDecl::OBJC_PR_assign) 1733 OS << " assign"; 1734 if (Attrs & ObjCPropertyDecl::OBJC_PR_readwrite) 1735 OS << " readwrite"; 1736 if (Attrs & ObjCPropertyDecl::OBJC_PR_retain) 1737 OS << " retain"; 1738 if (Attrs & ObjCPropertyDecl::OBJC_PR_copy) 1739 OS << " copy"; 1740 if (Attrs & ObjCPropertyDecl::OBJC_PR_nonatomic) 1741 OS << " nonatomic"; 1742 if (Attrs & ObjCPropertyDecl::OBJC_PR_atomic) 1743 OS << " atomic"; 1744 if (Attrs & ObjCPropertyDecl::OBJC_PR_weak) 1745 OS << " weak"; 1746 if (Attrs & ObjCPropertyDecl::OBJC_PR_strong) 1747 OS << " strong"; 1748 if (Attrs & ObjCPropertyDecl::OBJC_PR_unsafe_unretained) 1749 OS << " unsafe_unretained"; 1750 if (Attrs & ObjCPropertyDecl::OBJC_PR_class) 1751 OS << " class"; 1752 if (Attrs & ObjCPropertyDecl::OBJC_PR_getter) 1753 dumpDeclRef(D->getGetterMethodDecl(), "getter"); 1754 if (Attrs & ObjCPropertyDecl::OBJC_PR_setter) 1755 dumpDeclRef(D->getSetterMethodDecl(), "setter"); 1756 } 1757 } 1758 1759 void ASTDumper::VisitObjCPropertyImplDecl(const ObjCPropertyImplDecl *D) { 1760 dumpName(D->getPropertyDecl()); 1761 if (D->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) 1762 OS << " synthesize"; 1763 else 1764 OS << " dynamic"; 1765 dumpDeclRef(D->getPropertyDecl()); 1766 dumpDeclRef(D->getPropertyIvarDecl()); 1767 } 1768 1769 void ASTDumper::VisitBlockDecl(const BlockDecl *D) { 1770 for (auto I : D->parameters()) 1771 dumpDecl(I); 1772 1773 if (D->isVariadic()) 1774 dumpChild([=]{ OS << "..."; }); 1775 1776 if (D->capturesCXXThis()) 1777 dumpChild([=]{ OS << "capture this"; }); 1778 1779 for (const auto &I : D->captures()) { 1780 dumpChild([=] { 1781 OS << "capture"; 1782 if (I.isByRef()) 1783 OS << " byref"; 1784 if (I.isNested()) 1785 OS << " nested"; 1786 if (I.getVariable()) { 1787 OS << ' '; 1788 dumpBareDeclRef(I.getVariable()); 1789 } 1790 if (I.hasCopyExpr()) 1791 dumpStmt(I.getCopyExpr()); 1792 }); 1793 } 1794 dumpStmt(D->getBody()); 1795 } 1796 1797 //===----------------------------------------------------------------------===// 1798 // Stmt dumping methods. 1799 //===----------------------------------------------------------------------===// 1800 1801 void ASTDumper::dumpStmt(const Stmt *S) { 1802 dumpChild([=] { 1803 if (!S) { 1804 ColorScope Color(*this, NullColor); 1805 OS << "<<<NULL>>>"; 1806 return; 1807 } 1808 1809 if (const DeclStmt *DS = dyn_cast<DeclStmt>(S)) { 1810 VisitDeclStmt(DS); 1811 return; 1812 } 1813 1814 ConstStmtVisitor<ASTDumper>::Visit(S); 1815 1816 for (const Stmt *SubStmt : S->children()) 1817 dumpStmt(SubStmt); 1818 }); 1819 } 1820 1821 void ASTDumper::VisitStmt(const Stmt *Node) { 1822 { 1823 ColorScope Color(*this, StmtColor); 1824 OS << Node->getStmtClassName(); 1825 } 1826 dumpPointer(Node); 1827 dumpSourceRange(Node->getSourceRange()); 1828 } 1829 1830 void ASTDumper::VisitDeclStmt(const DeclStmt *Node) { 1831 VisitStmt(Node); 1832 for (DeclStmt::const_decl_iterator I = Node->decl_begin(), 1833 E = Node->decl_end(); 1834 I != E; ++I) 1835 dumpDecl(*I); 1836 } 1837 1838 void ASTDumper::VisitAttributedStmt(const AttributedStmt *Node) { 1839 VisitStmt(Node); 1840 for (ArrayRef<const Attr *>::iterator I = Node->getAttrs().begin(), 1841 E = Node->getAttrs().end(); 1842 I != E; ++I) 1843 dumpAttr(*I); 1844 } 1845 1846 void ASTDumper::VisitLabelStmt(const LabelStmt *Node) { 1847 VisitStmt(Node); 1848 OS << " '" << Node->getName() << "'"; 1849 } 1850 1851 void ASTDumper::VisitGotoStmt(const GotoStmt *Node) { 1852 VisitStmt(Node); 1853 OS << " '" << Node->getLabel()->getName() << "'"; 1854 dumpPointer(Node->getLabel()); 1855 } 1856 1857 void ASTDumper::VisitCXXCatchStmt(const CXXCatchStmt *Node) { 1858 VisitStmt(Node); 1859 dumpDecl(Node->getExceptionDecl()); 1860 } 1861 1862 void ASTDumper::VisitCapturedStmt(const CapturedStmt *Node) { 1863 VisitStmt(Node); 1864 dumpDecl(Node->getCapturedDecl()); 1865 } 1866 1867 //===----------------------------------------------------------------------===// 1868 // OpenMP dumping methods. 1869 //===----------------------------------------------------------------------===// 1870 1871 void ASTDumper::VisitOMPExecutableDirective( 1872 const OMPExecutableDirective *Node) { 1873 VisitStmt(Node); 1874 for (auto *C : Node->clauses()) { 1875 dumpChild([=] { 1876 if (!C) { 1877 ColorScope Color(*this, NullColor); 1878 OS << "<<<NULL>>> OMPClause"; 1879 return; 1880 } 1881 { 1882 ColorScope Color(*this, AttrColor); 1883 StringRef ClauseName(getOpenMPClauseName(C->getClauseKind())); 1884 OS << "OMP" << ClauseName.substr(/*Start=*/0, /*N=*/1).upper() 1885 << ClauseName.drop_front() << "Clause"; 1886 } 1887 dumpPointer(C); 1888 dumpSourceRange(SourceRange(C->getLocStart(), C->getLocEnd())); 1889 if (C->isImplicit()) 1890 OS << " <implicit>"; 1891 for (auto *S : C->children()) 1892 dumpStmt(S); 1893 }); 1894 } 1895 } 1896 1897 //===----------------------------------------------------------------------===// 1898 // Expr dumping methods. 1899 //===----------------------------------------------------------------------===// 1900 1901 void ASTDumper::VisitExpr(const Expr *Node) { 1902 VisitStmt(Node); 1903 dumpType(Node->getType()); 1904 1905 { 1906 ColorScope Color(*this, ValueKindColor); 1907 switch (Node->getValueKind()) { 1908 case VK_RValue: 1909 break; 1910 case VK_LValue: 1911 OS << " lvalue"; 1912 break; 1913 case VK_XValue: 1914 OS << " xvalue"; 1915 break; 1916 } 1917 } 1918 1919 { 1920 ColorScope Color(*this, ObjectKindColor); 1921 switch (Node->getObjectKind()) { 1922 case OK_Ordinary: 1923 break; 1924 case OK_BitField: 1925 OS << " bitfield"; 1926 break; 1927 case OK_ObjCProperty: 1928 OS << " objcproperty"; 1929 break; 1930 case OK_ObjCSubscript: 1931 OS << " objcsubscript"; 1932 break; 1933 case OK_VectorComponent: 1934 OS << " vectorcomponent"; 1935 break; 1936 } 1937 } 1938 } 1939 1940 static void dumpBasePath(raw_ostream &OS, const CastExpr *Node) { 1941 if (Node->path_empty()) 1942 return; 1943 1944 OS << " ("; 1945 bool First = true; 1946 for (CastExpr::path_const_iterator I = Node->path_begin(), 1947 E = Node->path_end(); 1948 I != E; ++I) { 1949 const CXXBaseSpecifier *Base = *I; 1950 if (!First) 1951 OS << " -> "; 1952 1953 const CXXRecordDecl *RD = 1954 cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl()); 1955 1956 if (Base->isVirtual()) 1957 OS << "virtual "; 1958 OS << RD->getName(); 1959 First = false; 1960 } 1961 1962 OS << ')'; 1963 } 1964 1965 void ASTDumper::VisitCastExpr(const CastExpr *Node) { 1966 VisitExpr(Node); 1967 OS << " <"; 1968 { 1969 ColorScope Color(*this, CastColor); 1970 OS << Node->getCastKindName(); 1971 } 1972 dumpBasePath(OS, Node); 1973 OS << ">"; 1974 } 1975 1976 void ASTDumper::VisitDeclRefExpr(const DeclRefExpr *Node) { 1977 VisitExpr(Node); 1978 1979 OS << " "; 1980 dumpBareDeclRef(Node->getDecl()); 1981 if (Node->getDecl() != Node->getFoundDecl()) { 1982 OS << " ("; 1983 dumpBareDeclRef(Node->getFoundDecl()); 1984 OS << ")"; 1985 } 1986 } 1987 1988 void ASTDumper::VisitUnresolvedLookupExpr(const UnresolvedLookupExpr *Node) { 1989 VisitExpr(Node); 1990 OS << " ("; 1991 if (!Node->requiresADL()) 1992 OS << "no "; 1993 OS << "ADL) = '" << Node->getName() << '\''; 1994 1995 UnresolvedLookupExpr::decls_iterator 1996 I = Node->decls_begin(), E = Node->decls_end(); 1997 if (I == E) 1998 OS << " empty"; 1999 for (; I != E; ++I) 2000 dumpPointer(*I); 2001 } 2002 2003 void ASTDumper::VisitObjCIvarRefExpr(const ObjCIvarRefExpr *Node) { 2004 VisitExpr(Node); 2005 2006 { 2007 ColorScope Color(*this, DeclKindNameColor); 2008 OS << " " << Node->getDecl()->getDeclKindName() << "Decl"; 2009 } 2010 OS << "='" << *Node->getDecl() << "'"; 2011 dumpPointer(Node->getDecl()); 2012 if (Node->isFreeIvar()) 2013 OS << " isFreeIvar"; 2014 } 2015 2016 void ASTDumper::VisitPredefinedExpr(const PredefinedExpr *Node) { 2017 VisitExpr(Node); 2018 OS << " " << PredefinedExpr::getIdentTypeName(Node->getIdentType()); 2019 } 2020 2021 void ASTDumper::VisitCharacterLiteral(const CharacterLiteral *Node) { 2022 VisitExpr(Node); 2023 ColorScope Color(*this, ValueColor); 2024 OS << " " << Node->getValue(); 2025 } 2026 2027 void ASTDumper::VisitIntegerLiteral(const IntegerLiteral *Node) { 2028 VisitExpr(Node); 2029 2030 bool isSigned = Node->getType()->isSignedIntegerType(); 2031 ColorScope Color(*this, ValueColor); 2032 OS << " " << Node->getValue().toString(10, isSigned); 2033 } 2034 2035 void ASTDumper::VisitFloatingLiteral(const FloatingLiteral *Node) { 2036 VisitExpr(Node); 2037 ColorScope Color(*this, ValueColor); 2038 OS << " " << Node->getValueAsApproximateDouble(); 2039 } 2040 2041 void ASTDumper::VisitStringLiteral(const StringLiteral *Str) { 2042 VisitExpr(Str); 2043 ColorScope Color(*this, ValueColor); 2044 OS << " "; 2045 Str->outputString(OS); 2046 } 2047 2048 void ASTDumper::VisitInitListExpr(const InitListExpr *ILE) { 2049 VisitExpr(ILE); 2050 if (auto *Filler = ILE->getArrayFiller()) { 2051 dumpChild([=] { 2052 OS << "array filler"; 2053 dumpStmt(Filler); 2054 }); 2055 } 2056 if (auto *Field = ILE->getInitializedFieldInUnion()) { 2057 OS << " field "; 2058 dumpBareDeclRef(Field); 2059 } 2060 } 2061 2062 void ASTDumper::VisitArrayInitLoopExpr(const ArrayInitLoopExpr *E) { 2063 VisitExpr(E); 2064 } 2065 2066 void ASTDumper::VisitArrayInitIndexExpr(const ArrayInitIndexExpr *E) { 2067 VisitExpr(E); 2068 } 2069 2070 void ASTDumper::VisitUnaryOperator(const UnaryOperator *Node) { 2071 VisitExpr(Node); 2072 OS << " " << (Node->isPostfix() ? "postfix" : "prefix") 2073 << " '" << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; 2074 } 2075 2076 void ASTDumper::VisitUnaryExprOrTypeTraitExpr( 2077 const UnaryExprOrTypeTraitExpr *Node) { 2078 VisitExpr(Node); 2079 switch(Node->getKind()) { 2080 case UETT_SizeOf: 2081 OS << " sizeof"; 2082 break; 2083 case UETT_AlignOf: 2084 OS << " alignof"; 2085 break; 2086 case UETT_VecStep: 2087 OS << " vec_step"; 2088 break; 2089 case UETT_OpenMPRequiredSimdAlign: 2090 OS << " __builtin_omp_required_simd_align"; 2091 break; 2092 } 2093 if (Node->isArgumentType()) 2094 dumpType(Node->getArgumentType()); 2095 } 2096 2097 void ASTDumper::VisitMemberExpr(const MemberExpr *Node) { 2098 VisitExpr(Node); 2099 OS << " " << (Node->isArrow() ? "->" : ".") << *Node->getMemberDecl(); 2100 dumpPointer(Node->getMemberDecl()); 2101 } 2102 2103 void ASTDumper::VisitExtVectorElementExpr(const ExtVectorElementExpr *Node) { 2104 VisitExpr(Node); 2105 OS << " " << Node->getAccessor().getNameStart(); 2106 } 2107 2108 void ASTDumper::VisitBinaryOperator(const BinaryOperator *Node) { 2109 VisitExpr(Node); 2110 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; 2111 } 2112 2113 void ASTDumper::VisitCompoundAssignOperator( 2114 const CompoundAssignOperator *Node) { 2115 VisitExpr(Node); 2116 OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) 2117 << "' ComputeLHSTy="; 2118 dumpBareType(Node->getComputationLHSType()); 2119 OS << " ComputeResultTy="; 2120 dumpBareType(Node->getComputationResultType()); 2121 } 2122 2123 void ASTDumper::VisitBlockExpr(const BlockExpr *Node) { 2124 VisitExpr(Node); 2125 dumpDecl(Node->getBlockDecl()); 2126 } 2127 2128 void ASTDumper::VisitOpaqueValueExpr(const OpaqueValueExpr *Node) { 2129 VisitExpr(Node); 2130 2131 if (Expr *Source = Node->getSourceExpr()) 2132 dumpStmt(Source); 2133 } 2134 2135 // GNU extensions. 2136 2137 void ASTDumper::VisitAddrLabelExpr(const AddrLabelExpr *Node) { 2138 VisitExpr(Node); 2139 OS << " " << Node->getLabel()->getName(); 2140 dumpPointer(Node->getLabel()); 2141 } 2142 2143 //===----------------------------------------------------------------------===// 2144 // C++ Expressions 2145 //===----------------------------------------------------------------------===// 2146 2147 void ASTDumper::VisitCXXNamedCastExpr(const CXXNamedCastExpr *Node) { 2148 VisitExpr(Node); 2149 OS << " " << Node->getCastName() 2150 << "<" << Node->getTypeAsWritten().getAsString() << ">" 2151 << " <" << Node->getCastKindName(); 2152 dumpBasePath(OS, Node); 2153 OS << ">"; 2154 } 2155 2156 void ASTDumper::VisitCXXBoolLiteralExpr(const CXXBoolLiteralExpr *Node) { 2157 VisitExpr(Node); 2158 OS << " " << (Node->getValue() ? "true" : "false"); 2159 } 2160 2161 void ASTDumper::VisitCXXThisExpr(const CXXThisExpr *Node) { 2162 VisitExpr(Node); 2163 OS << " this"; 2164 } 2165 2166 void ASTDumper::VisitCXXFunctionalCastExpr(const CXXFunctionalCastExpr *Node) { 2167 VisitExpr(Node); 2168 OS << " functional cast to " << Node->getTypeAsWritten().getAsString() 2169 << " <" << Node->getCastKindName() << ">"; 2170 } 2171 2172 void ASTDumper::VisitCXXConstructExpr(const CXXConstructExpr *Node) { 2173 VisitExpr(Node); 2174 CXXConstructorDecl *Ctor = Node->getConstructor(); 2175 dumpType(Ctor->getType()); 2176 if (Node->isElidable()) 2177 OS << " elidable"; 2178 if (Node->requiresZeroInitialization()) 2179 OS << " zeroing"; 2180 } 2181 2182 void ASTDumper::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *Node) { 2183 VisitExpr(Node); 2184 OS << " "; 2185 dumpCXXTemporary(Node->getTemporary()); 2186 } 2187 2188 void ASTDumper::VisitCXXNewExpr(const CXXNewExpr *Node) { 2189 VisitExpr(Node); 2190 if (Node->isGlobalNew()) 2191 OS << " global"; 2192 if (Node->isArray()) 2193 OS << " array"; 2194 if (Node->getOperatorNew()) { 2195 OS << ' '; 2196 dumpBareDeclRef(Node->getOperatorNew()); 2197 } 2198 // We could dump the deallocation function used in case of error, but it's 2199 // usually not that interesting. 2200 } 2201 2202 void ASTDumper::VisitCXXDeleteExpr(const CXXDeleteExpr *Node) { 2203 VisitExpr(Node); 2204 if (Node->isGlobalDelete()) 2205 OS << " global"; 2206 if (Node->isArrayForm()) 2207 OS << " array"; 2208 if (Node->getOperatorDelete()) { 2209 OS << ' '; 2210 dumpBareDeclRef(Node->getOperatorDelete()); 2211 } 2212 } 2213 2214 void 2215 ASTDumper::VisitMaterializeTemporaryExpr(const MaterializeTemporaryExpr *Node) { 2216 VisitExpr(Node); 2217 if (const ValueDecl *VD = Node->getExtendingDecl()) { 2218 OS << " extended by "; 2219 dumpBareDeclRef(VD); 2220 } 2221 } 2222 2223 void ASTDumper::VisitExprWithCleanups(const ExprWithCleanups *Node) { 2224 VisitExpr(Node); 2225 for (unsigned i = 0, e = Node->getNumObjects(); i != e; ++i) 2226 dumpDeclRef(Node->getObject(i), "cleanup"); 2227 } 2228 2229 void ASTDumper::dumpCXXTemporary(const CXXTemporary *Temporary) { 2230 OS << "(CXXTemporary"; 2231 dumpPointer(Temporary); 2232 OS << ")"; 2233 } 2234 2235 void ASTDumper::VisitSizeOfPackExpr(const SizeOfPackExpr *Node) { 2236 VisitExpr(Node); 2237 dumpPointer(Node->getPack()); 2238 dumpName(Node->getPack()); 2239 if (Node->isPartiallySubstituted()) 2240 for (const auto &A : Node->getPartialArguments()) 2241 dumpTemplateArgument(A); 2242 } 2243 2244 void ASTDumper::VisitCXXDependentScopeMemberExpr( 2245 const CXXDependentScopeMemberExpr *Node) { 2246 VisitExpr(Node); 2247 OS << " " << (Node->isArrow() ? "->" : ".") << Node->getMember(); 2248 } 2249 2250 //===----------------------------------------------------------------------===// 2251 // Obj-C Expressions 2252 //===----------------------------------------------------------------------===// 2253 2254 void ASTDumper::VisitObjCMessageExpr(const ObjCMessageExpr *Node) { 2255 VisitExpr(Node); 2256 OS << " selector="; 2257 Node->getSelector().print(OS); 2258 switch (Node->getReceiverKind()) { 2259 case ObjCMessageExpr::Instance: 2260 break; 2261 2262 case ObjCMessageExpr::Class: 2263 OS << " class="; 2264 dumpBareType(Node->getClassReceiver()); 2265 break; 2266 2267 case ObjCMessageExpr::SuperInstance: 2268 OS << " super (instance)"; 2269 break; 2270 2271 case ObjCMessageExpr::SuperClass: 2272 OS << " super (class)"; 2273 break; 2274 } 2275 } 2276 2277 void ASTDumper::VisitObjCBoxedExpr(const ObjCBoxedExpr *Node) { 2278 VisitExpr(Node); 2279 if (auto *BoxingMethod = Node->getBoxingMethod()) { 2280 OS << " selector="; 2281 BoxingMethod->getSelector().print(OS); 2282 } 2283 } 2284 2285 void ASTDumper::VisitObjCAtCatchStmt(const ObjCAtCatchStmt *Node) { 2286 VisitStmt(Node); 2287 if (const VarDecl *CatchParam = Node->getCatchParamDecl()) 2288 dumpDecl(CatchParam); 2289 else 2290 OS << " catch all"; 2291 } 2292 2293 void ASTDumper::VisitObjCEncodeExpr(const ObjCEncodeExpr *Node) { 2294 VisitExpr(Node); 2295 dumpType(Node->getEncodedType()); 2296 } 2297 2298 void ASTDumper::VisitObjCSelectorExpr(const ObjCSelectorExpr *Node) { 2299 VisitExpr(Node); 2300 2301 OS << " "; 2302 Node->getSelector().print(OS); 2303 } 2304 2305 void ASTDumper::VisitObjCProtocolExpr(const ObjCProtocolExpr *Node) { 2306 VisitExpr(Node); 2307 2308 OS << ' ' << *Node->getProtocol(); 2309 } 2310 2311 void ASTDumper::VisitObjCPropertyRefExpr(const ObjCPropertyRefExpr *Node) { 2312 VisitExpr(Node); 2313 if (Node->isImplicitProperty()) { 2314 OS << " Kind=MethodRef Getter=\""; 2315 if (Node->getImplicitPropertyGetter()) 2316 Node->getImplicitPropertyGetter()->getSelector().print(OS); 2317 else 2318 OS << "(null)"; 2319 2320 OS << "\" Setter=\""; 2321 if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter()) 2322 Setter->getSelector().print(OS); 2323 else 2324 OS << "(null)"; 2325 OS << "\""; 2326 } else { 2327 OS << " Kind=PropertyRef Property=\"" << *Node->getExplicitProperty() <<'"'; 2328 } 2329 2330 if (Node->isSuperReceiver()) 2331 OS << " super"; 2332 2333 OS << " Messaging="; 2334 if (Node->isMessagingGetter() && Node->isMessagingSetter()) 2335 OS << "Getter&Setter"; 2336 else if (Node->isMessagingGetter()) 2337 OS << "Getter"; 2338 else if (Node->isMessagingSetter()) 2339 OS << "Setter"; 2340 } 2341 2342 void ASTDumper::VisitObjCSubscriptRefExpr(const ObjCSubscriptRefExpr *Node) { 2343 VisitExpr(Node); 2344 if (Node->isArraySubscriptRefExpr()) 2345 OS << " Kind=ArraySubscript GetterForArray=\""; 2346 else 2347 OS << " Kind=DictionarySubscript GetterForDictionary=\""; 2348 if (Node->getAtIndexMethodDecl()) 2349 Node->getAtIndexMethodDecl()->getSelector().print(OS); 2350 else 2351 OS << "(null)"; 2352 2353 if (Node->isArraySubscriptRefExpr()) 2354 OS << "\" SetterForArray=\""; 2355 else 2356 OS << "\" SetterForDictionary=\""; 2357 if (Node->setAtIndexMethodDecl()) 2358 Node->setAtIndexMethodDecl()->getSelector().print(OS); 2359 else 2360 OS << "(null)"; 2361 } 2362 2363 void ASTDumper::VisitObjCBoolLiteralExpr(const ObjCBoolLiteralExpr *Node) { 2364 VisitExpr(Node); 2365 OS << " " << (Node->getValue() ? "__objc_yes" : "__objc_no"); 2366 } 2367 2368 //===----------------------------------------------------------------------===// 2369 // Comments 2370 //===----------------------------------------------------------------------===// 2371 2372 const char *ASTDumper::getCommandName(unsigned CommandID) { 2373 if (Traits) 2374 return Traits->getCommandInfo(CommandID)->Name; 2375 const CommandInfo *Info = CommandTraits::getBuiltinCommandInfo(CommandID); 2376 if (Info) 2377 return Info->Name; 2378 return "<not a builtin command>"; 2379 } 2380 2381 void ASTDumper::dumpFullComment(const FullComment *C) { 2382 if (!C) 2383 return; 2384 2385 FC = C; 2386 dumpComment(C); 2387 FC = nullptr; 2388 } 2389 2390 void ASTDumper::dumpComment(const Comment *C) { 2391 dumpChild([=] { 2392 if (!C) { 2393 ColorScope Color(*this, NullColor); 2394 OS << "<<<NULL>>>"; 2395 return; 2396 } 2397 2398 { 2399 ColorScope Color(*this, CommentColor); 2400 OS << C->getCommentKindName(); 2401 } 2402 dumpPointer(C); 2403 dumpSourceRange(C->getSourceRange()); 2404 ConstCommentVisitor<ASTDumper>::visit(C); 2405 for (Comment::child_iterator I = C->child_begin(), E = C->child_end(); 2406 I != E; ++I) 2407 dumpComment(*I); 2408 }); 2409 } 2410 2411 void ASTDumper::visitTextComment(const TextComment *C) { 2412 OS << " Text=\"" << C->getText() << "\""; 2413 } 2414 2415 void ASTDumper::visitInlineCommandComment(const InlineCommandComment *C) { 2416 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\""; 2417 switch (C->getRenderKind()) { 2418 case InlineCommandComment::RenderNormal: 2419 OS << " RenderNormal"; 2420 break; 2421 case InlineCommandComment::RenderBold: 2422 OS << " RenderBold"; 2423 break; 2424 case InlineCommandComment::RenderMonospaced: 2425 OS << " RenderMonospaced"; 2426 break; 2427 case InlineCommandComment::RenderEmphasized: 2428 OS << " RenderEmphasized"; 2429 break; 2430 } 2431 2432 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i) 2433 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\""; 2434 } 2435 2436 void ASTDumper::visitHTMLStartTagComment(const HTMLStartTagComment *C) { 2437 OS << " Name=\"" << C->getTagName() << "\""; 2438 if (C->getNumAttrs() != 0) { 2439 OS << " Attrs: "; 2440 for (unsigned i = 0, e = C->getNumAttrs(); i != e; ++i) { 2441 const HTMLStartTagComment::Attribute &Attr = C->getAttr(i); 2442 OS << " \"" << Attr.Name << "=\"" << Attr.Value << "\""; 2443 } 2444 } 2445 if (C->isSelfClosing()) 2446 OS << " SelfClosing"; 2447 } 2448 2449 void ASTDumper::visitHTMLEndTagComment(const HTMLEndTagComment *C) { 2450 OS << " Name=\"" << C->getTagName() << "\""; 2451 } 2452 2453 void ASTDumper::visitBlockCommandComment(const BlockCommandComment *C) { 2454 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\""; 2455 for (unsigned i = 0, e = C->getNumArgs(); i != e; ++i) 2456 OS << " Arg[" << i << "]=\"" << C->getArgText(i) << "\""; 2457 } 2458 2459 void ASTDumper::visitParamCommandComment(const ParamCommandComment *C) { 2460 OS << " " << ParamCommandComment::getDirectionAsString(C->getDirection()); 2461 2462 if (C->isDirectionExplicit()) 2463 OS << " explicitly"; 2464 else 2465 OS << " implicitly"; 2466 2467 if (C->hasParamName()) { 2468 if (C->isParamIndexValid()) 2469 OS << " Param=\"" << C->getParamName(FC) << "\""; 2470 else 2471 OS << " Param=\"" << C->getParamNameAsWritten() << "\""; 2472 } 2473 2474 if (C->isParamIndexValid() && !C->isVarArgParam()) 2475 OS << " ParamIndex=" << C->getParamIndex(); 2476 } 2477 2478 void ASTDumper::visitTParamCommandComment(const TParamCommandComment *C) { 2479 if (C->hasParamName()) { 2480 if (C->isPositionValid()) 2481 OS << " Param=\"" << C->getParamName(FC) << "\""; 2482 else 2483 OS << " Param=\"" << C->getParamNameAsWritten() << "\""; 2484 } 2485 2486 if (C->isPositionValid()) { 2487 OS << " Position=<"; 2488 for (unsigned i = 0, e = C->getDepth(); i != e; ++i) { 2489 OS << C->getIndex(i); 2490 if (i != e - 1) 2491 OS << ", "; 2492 } 2493 OS << ">"; 2494 } 2495 } 2496 2497 void ASTDumper::visitVerbatimBlockComment(const VerbatimBlockComment *C) { 2498 OS << " Name=\"" << getCommandName(C->getCommandID()) << "\"" 2499 " CloseName=\"" << C->getCloseName() << "\""; 2500 } 2501 2502 void ASTDumper::visitVerbatimBlockLineComment( 2503 const VerbatimBlockLineComment *C) { 2504 OS << " Text=\"" << C->getText() << "\""; 2505 } 2506 2507 void ASTDumper::visitVerbatimLineComment(const VerbatimLineComment *C) { 2508 OS << " Text=\"" << C->getText() << "\""; 2509 } 2510 2511 //===----------------------------------------------------------------------===// 2512 // Type method implementations 2513 //===----------------------------------------------------------------------===// 2514 2515 void QualType::dump(const char *msg) const { 2516 if (msg) 2517 llvm::errs() << msg << ": "; 2518 dump(); 2519 } 2520 2521 LLVM_DUMP_METHOD void QualType::dump() const { dump(llvm::errs()); } 2522 2523 LLVM_DUMP_METHOD void QualType::dump(llvm::raw_ostream &OS) const { 2524 ASTDumper Dumper(OS, nullptr, nullptr); 2525 Dumper.dumpTypeAsChild(*this); 2526 } 2527 2528 LLVM_DUMP_METHOD void Type::dump() const { dump(llvm::errs()); } 2529 2530 LLVM_DUMP_METHOD void Type::dump(llvm::raw_ostream &OS) const { 2531 QualType(this, 0).dump(OS); 2532 } 2533 2534 //===----------------------------------------------------------------------===// 2535 // Decl method implementations 2536 //===----------------------------------------------------------------------===// 2537 2538 LLVM_DUMP_METHOD void Decl::dump() const { dump(llvm::errs()); } 2539 2540 LLVM_DUMP_METHOD void Decl::dump(raw_ostream &OS, bool Deserialize) const { 2541 ASTDumper P(OS, &getASTContext().getCommentCommandTraits(), 2542 &getASTContext().getSourceManager()); 2543 P.setDeserialize(Deserialize); 2544 P.dumpDecl(this); 2545 } 2546 2547 LLVM_DUMP_METHOD void Decl::dumpColor() const { 2548 ASTDumper P(llvm::errs(), &getASTContext().getCommentCommandTraits(), 2549 &getASTContext().getSourceManager(), /*ShowColors*/true); 2550 P.dumpDecl(this); 2551 } 2552 2553 LLVM_DUMP_METHOD void DeclContext::dumpLookups() const { 2554 dumpLookups(llvm::errs()); 2555 } 2556 2557 LLVM_DUMP_METHOD void DeclContext::dumpLookups(raw_ostream &OS, 2558 bool DumpDecls, 2559 bool Deserialize) const { 2560 const DeclContext *DC = this; 2561 while (!DC->isTranslationUnit()) 2562 DC = DC->getParent(); 2563 ASTContext &Ctx = cast<TranslationUnitDecl>(DC)->getASTContext(); 2564 ASTDumper P(OS, &Ctx.getCommentCommandTraits(), &Ctx.getSourceManager()); 2565 P.setDeserialize(Deserialize); 2566 P.dumpLookups(this, DumpDecls); 2567 } 2568 2569 //===----------------------------------------------------------------------===// 2570 // Stmt method implementations 2571 //===----------------------------------------------------------------------===// 2572 2573 LLVM_DUMP_METHOD void Stmt::dump(SourceManager &SM) const { 2574 dump(llvm::errs(), SM); 2575 } 2576 2577 LLVM_DUMP_METHOD void Stmt::dump(raw_ostream &OS, SourceManager &SM) const { 2578 ASTDumper P(OS, nullptr, &SM); 2579 P.dumpStmt(this); 2580 } 2581 2582 LLVM_DUMP_METHOD void Stmt::dump(raw_ostream &OS) const { 2583 ASTDumper P(OS, nullptr, nullptr); 2584 P.dumpStmt(this); 2585 } 2586 2587 LLVM_DUMP_METHOD void Stmt::dump() const { 2588 ASTDumper P(llvm::errs(), nullptr, nullptr); 2589 P.dumpStmt(this); 2590 } 2591 2592 LLVM_DUMP_METHOD void Stmt::dumpColor() const { 2593 ASTDumper P(llvm::errs(), nullptr, nullptr, /*ShowColors*/true); 2594 P.dumpStmt(this); 2595 } 2596 2597 //===----------------------------------------------------------------------===// 2598 // Comment method implementations 2599 //===----------------------------------------------------------------------===// 2600 2601 LLVM_DUMP_METHOD void Comment::dump() const { 2602 dump(llvm::errs(), nullptr, nullptr); 2603 } 2604 2605 LLVM_DUMP_METHOD void Comment::dump(const ASTContext &Context) const { 2606 dump(llvm::errs(), &Context.getCommentCommandTraits(), 2607 &Context.getSourceManager()); 2608 } 2609 2610 void Comment::dump(raw_ostream &OS, const CommandTraits *Traits, 2611 const SourceManager *SM) const { 2612 const FullComment *FC = dyn_cast<FullComment>(this); 2613 ASTDumper D(OS, Traits, SM); 2614 D.dumpFullComment(FC); 2615 } 2616 2617 LLVM_DUMP_METHOD void Comment::dumpColor() const { 2618 const FullComment *FC = dyn_cast<FullComment>(this); 2619 ASTDumper D(llvm::errs(), nullptr, nullptr, /*ShowColors*/true); 2620 D.dumpFullComment(FC); 2621 } 2622