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