//===--- DeclPrinter.cpp - Printing implementation for Decl ASTs ----------===//

//

// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.

// See https://llvm.org/LICENSE.txt for license information.

// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception

//

//===----------------------------------------------------------------------===//

//

// This file implements the Decl::print method, which pretty prints the

// AST back out to C/Objective-C/C++/Objective-C++ code.

//

//===----------------------------------------------------------------------===//

#include "clang/AST/ASTContext.h"

#include "clang/AST/Attr.h"

#include "clang/AST/Decl.h"

#include "clang/AST/DeclCXX.h"

#include "clang/AST/DeclObjC.h"

#include "clang/AST/DeclTemplate.h"

#include "clang/AST/DeclVisitor.h"

#include "clang/AST/Expr.h"

#include "clang/AST/ExprCXX.h"

#include "clang/AST/PrettyPrinter.h"

#include "clang/Basic/Module.h"

#include "llvm/Support/raw_ostream.h"

using namespace clang;

namespace {

  class DeclPrinter : public DeclVisitor<DeclPrinter> {

    raw_ostream &Out;

    PrintingPolicy Policy;

    const ASTContext &Context;

    unsigned Indentation;

    bool PrintInstantiation;

    raw_ostream& Indent() { return Indent(Indentation); }

    raw_ostream& Indent(unsigned Indentation);

    void ProcessDeclGroup(SmallVectorImpl<Decl*>& Decls);

    void Print(AccessSpecifier AS);

    void PrintConstructorInitializers(CXXConstructorDecl *CDecl,

                                      std::string &Proto);

    /// Print an Objective-C method type in parentheses.

    ///

    /// \param Quals The Objective-C declaration qualifiers.

    /// \param T The type to print.

    void PrintObjCMethodType(ASTContext &Ctx, Decl::ObjCDeclQualifier Quals,

                             QualType T);

    void PrintObjCTypeParams(ObjCTypeParamList *Params);

  public:

    DeclPrinter(raw_ostream &Out, const PrintingPolicy &Policy,

                const ASTContext &Context, unsigned Indentation = 0,

                bool PrintInstantiation = false)

        : Out(Out), Policy(Policy), Context(Context), Indentation(Indentation),

          PrintInstantiation(PrintInstantiation) {}

    void VisitDeclContext(DeclContext *DC, bool Indent = true);

    void VisitTranslationUnitDecl(TranslationUnitDecl *D);

    void VisitTypedefDecl(TypedefDecl *D);

    void VisitTypeAliasDecl(TypeAliasDecl *D);

    void VisitEnumDecl(EnumDecl *D);

    void VisitRecordDecl(RecordDecl *D);

    void VisitEnumConstantDecl(EnumConstantDecl *D);

    void VisitEmptyDecl(EmptyDecl *D);

    void VisitFunctionDecl(FunctionDecl *D);

    void VisitFriendDecl(FriendDecl *D);

    void VisitFieldDecl(FieldDecl *D);

    void VisitVarDecl(VarDecl *D);

    void VisitLabelDecl(LabelDecl *D);

    void VisitParmVarDecl(ParmVarDecl *D);

    void VisitFileScopeAsmDecl(FileScopeAsmDecl *D);

    void VisitImportDecl(ImportDecl *D);

    void VisitStaticAssertDecl(StaticAssertDecl *D);

    void VisitNamespaceDecl(NamespaceDecl *D);

    void VisitUsingDirectiveDecl(UsingDirectiveDecl *D);

    void VisitNamespaceAliasDecl(NamespaceAliasDecl *D);

    void VisitCXXRecordDecl(CXXRecordDecl *D);

    void VisitLinkageSpecDecl(LinkageSpecDecl *D);

    void VisitTemplateDecl(const TemplateDecl *D);

    void VisitFunctionTemplateDecl(FunctionTemplateDecl *D);

    void VisitClassTemplateDecl(ClassTemplateDecl *D);

    void VisitClassTemplateSpecializationDecl(

                                            ClassTemplateSpecializationDecl *D);

    void VisitClassTemplatePartialSpecializationDecl(

                                     ClassTemplatePartialSpecializationDecl *D);

    void VisitObjCMethodDecl(ObjCMethodDecl *D);

    void VisitObjCImplementationDecl(ObjCImplementationDecl *D);

    void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D);

    void VisitObjCProtocolDecl(ObjCProtocolDecl *D);

    void VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *D);

    void VisitObjCCategoryDecl(ObjCCategoryDecl *D);

    void VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *D);

    void VisitObjCPropertyDecl(ObjCPropertyDecl *D);

    void VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *D);

    void VisitUnresolvedUsingTypenameDecl(UnresolvedUsingTypenameDecl *D);

    void VisitUnresolvedUsingValueDecl(UnresolvedUsingValueDecl *D);

    void VisitUsingDecl(UsingDecl *D);

    void VisitUsingEnumDecl(UsingEnumDecl *D);

    void VisitUsingShadowDecl(UsingShadowDecl *D);

    void VisitOMPThreadPrivateDecl(OMPThreadPrivateDecl *D);

    void VisitOMPAllocateDecl(OMPAllocateDecl *D);

    void VisitOMPRequiresDecl(OMPRequiresDecl *D);

    void VisitOMPDeclareReductionDecl(OMPDeclareReductionDecl *D);

    void VisitOMPDeclareMapperDecl(OMPDeclareMapperDecl *D);

    void VisitOMPCapturedExprDecl(OMPCapturedExprDecl *D);

    void VisitTemplateTypeParmDecl(const TemplateTypeParmDecl *TTP);

    void VisitNonTypeTemplateParmDecl(const NonTypeTemplateParmDecl *NTTP);

    void printTemplateParameters(const TemplateParameterList *Params,

                                 bool OmitTemplateKW = false);

    void printTemplateArguments(llvm::ArrayRef<TemplateArgument> Args,

                                const TemplateParameterList *Params);

    void printTemplateArguments(llvm::ArrayRef<TemplateArgumentLoc> Args,

                                const TemplateParameterList *Params);

    void prettyPrintAttributes(Decl *D);

    void prettyPrintPragmas(Decl *D);

    void printDeclType(QualType T, StringRef DeclName, bool Pack = false);

  };

}

void Decl::print(raw_ostream &Out, unsigned Indentation,

                 bool PrintInstantiation) const {

  print(Out, getASTContext().getPrintingPolicy(), Indentation, PrintInstantiation);

}

void Decl::print(raw_ostream &Out, const PrintingPolicy &Policy,

                 unsigned Indentation, bool PrintInstantiation) const {

  DeclPrinter Printer(Out, Policy, getASTContext(), Indentation,

                      PrintInstantiation);

  Printer.Visit(const_cast<Decl*>(this));

}

void TemplateParameterList::print(raw_ostream &Out, const ASTContext &Context,

                                  bool OmitTemplateKW) const {

  print(Out, Context, Context.getPrintingPolicy(), OmitTemplateKW);

}

void TemplateParameterList::print(raw_ostream &Out, const ASTContext &Context,

                                  const PrintingPolicy &Policy,

                                  bool OmitTemplateKW) const {

  DeclPrinter Printer(Out, Policy, Context);

  Printer.printTemplateParameters(this, OmitTemplateKW);

}

static QualType GetBaseType(QualType T) {

  // FIXME: This should be on the Type class!

  QualType BaseType = T;

  while (!BaseType->isSpecifierType()) {

    if (const PointerType *PTy = BaseType->getAs<PointerType>())

      BaseType = PTy->getPointeeType();

    else if (const ObjCObjectPointerType *OPT =

                 BaseType->getAs<ObjCObjectPointerType>())

      BaseType = OPT->getPointeeType();

    else if (const BlockPointerType *BPy = BaseType->getAs<BlockPointerType>())

      BaseType = BPy->getPointeeType();

    else if (const ArrayType *ATy = dyn_cast<ArrayType>(BaseType))

      BaseType = ATy->getElementType();

    else if (const FunctionType *FTy = BaseType->getAs<FunctionType>())

      BaseType = FTy->getReturnType();

    else if (const VectorType *VTy = BaseType->getAs<VectorType>())

      BaseType = VTy->getElementType();

    else if (const ReferenceType *RTy = BaseType->getAs<ReferenceType>())

      BaseType = RTy->getPointeeType();

    else if (const AutoType *ATy = BaseType->getAs<AutoType>())

      BaseType = ATy->getDeducedType();

    else if (const ParenType *PTy = BaseType->getAs<ParenType>())

      BaseType = PTy->desugar();

    else

      // This must be a syntax error.

      break;

  }

  return BaseType;

}

static QualType getDeclType(Decl* D) {

  if (TypedefNameDecl* TDD = dyn_cast<TypedefNameDecl>(D))

    return TDD->getUnderlyingType();

  if (ValueDecl* VD = dyn_cast<ValueDecl>(D))

    return VD->getType();

  return QualType();

}

void Decl::printGroup(Decl** Begin, unsigned NumDecls,

                      raw_ostream &Out, const PrintingPolicy &Policy,

                      unsigned Indentation) {

  if (NumDecls == 1) {

    (*Begin)->print(Out, Policy, Indentation);

    return;

  }

  Decl** End = Begin + NumDecls;

  TagDecl* TD = dyn_cast<TagDecl>(*Begin);

  if (TD)

    ++Begin;

  PrintingPolicy SubPolicy(Policy);

  bool isFirst = true;

  for ( ; Begin != End; 
++Begin7.39k
) {

    if (isFirst) {

      if(TD)

        SubPolicy.IncludeTagDefinition = true;

      SubPolicy.SuppressSpecifiers = false;

      isFirst = false;

    } else {

      if (!isFirst) Out << ", ";

      SubPolicy.IncludeTagDefinition = false;

      SubPolicy.SuppressSpecifiers = true;

    }

    (*Begin)->print(Out, SubPolicy, Indentation);

  }

}

LLVM_DUMP_METHOD void DeclContext::dumpDeclContext() const {

  // Get the translation unit

  const DeclContext *DC = this;

  while (!DC->isTranslationUnit())

    DC = DC->getParent();

  ASTContext &Ctx = cast<TranslationUnitDecl>(DC)->getASTContext();

  DeclPrinter Printer(llvm::errs(), Ctx.getPrintingPolicy(), Ctx, 0);

  Printer.VisitDeclContext(const_cast<DeclContext *>(this), /*Indent=*/false);

}

raw_ostream& DeclPrinter::Indent(unsigned Indentation) {

  for (unsigned i = 0; i != Indentation; 
++i16.0k
)

    Out << "  ";

  return Out;

}

void DeclPrinter::prettyPrintAttributes(Decl *D) {

  if (Policy.PolishForDeclaration)

    return;

  if (D->hasAttrs()) {

    AttrVec &Attrs = D->getAttrs();

    for (auto *A : Attrs) {

      if (A->isInherited() || 
A->isImplicit()1.68k
)

        continue;

      switch (A->getKind()) {

#define ATTR(X)

#define PRAGMA_SPELLING_ATTR(X) case attr::X:

#include "clang/Basic/AttrList.inc"

        break;

      default:

        A->printPretty(Out, Policy);

        break;

      }

    }

  }

}

void DeclPrinter::prettyPrintPragmas(Decl *D) {

  if (Policy.PolishForDeclaration)

    return;

  if (D->hasAttrs()) {

    AttrVec &Attrs = D->getAttrs();

    for (auto *A : Attrs) {

      switch (A->getKind()) {

#define ATTR(X)

#define PRAGMA_SPELLING_ATTR(X) case attr::X:

#include 
"clang/Basic/AttrList.inc"0

        A->printPretty(Out, Policy);

        Indent();

        break;

      default:

        break;

      }

    }

  }

}

void DeclPrinter::printDeclType(QualType T, StringRef DeclName, bool Pack) {

  // Normally, a PackExpansionType is written as T[3]... (for instance, as a

  // template argument), but if it is the type of a declaration, the ellipsis

  // is placed before the name being declared.

  if (auto *PET = T->getAs<PackExpansionType>()) {

    Pack = true;

    T = PET->getPattern();

  }

  T.print(Out, Policy, (Pack ? 
"..."66
 : 
""29.8k
) + DeclName, Indentation);

}

void DeclPrinter::ProcessDeclGroup(SmallVectorImpl<Decl*>& Decls) {

  this->Indent();

  Decl::printGroup(Decls.data(), Decls.size(), Out, Policy, Indentation);

  Out << ";\n";

  Decls.clear();

}

void DeclPrinter::Print(AccessSpecifier AS) {

  const auto AccessSpelling = getAccessSpelling(AS);

  if (AccessSpelling.empty())

    llvm_unreachable("No access specifier!");

  Out << AccessSpelling;

}

void DeclPrinter::PrintConstructorInitializers(CXXConstructorDecl *CDecl,

                                               std::string &Proto) {

  bool HasInitializerList = false;

  for (const auto *BMInitializer : CDecl->inits()) {

    if (BMInitializer->isInClassMemberInitializer())

      continue;

    if (!HasInitializerList) {

      Proto += " : ";

      Out << Proto;

      Proto.clear();

      HasInitializerList = true;

    } else

      Out << ", ";

    if (BMInitializer->isAnyMemberInitializer()) {

      FieldDecl *FD = BMInitializer->getAnyMember();

      Out << *FD;

    } else {

      Out << QualType(BMInitializer->getBaseClass(), 0).getAsString(Policy);

    }

    Out << "(";

    if (!BMInitializer->getInit()) {

      // Nothing to print

    } else {

      Expr *Init = BMInitializer->getInit();

      if (ExprWithCleanups *Tmp = dyn_cast<ExprWithCleanups>(Init))

        Init = Tmp->getSubExpr();

      Init = Init->IgnoreParens();

      Expr *SimpleInit = nullptr;

      Expr **Args = nullptr;

      unsigned NumArgs = 0;

      if (ParenListExpr *ParenList = dyn_cast<ParenListExpr>(Init)) {

        Args = ParenList->getExprs();

        NumArgs = ParenList->getNumExprs();

      } else if (CXXConstructExpr *Construct =

                     dyn_cast<CXXConstructExpr>(Init)) {

        Args = Construct->getArgs();

        NumArgs = Construct->getNumArgs();

      } else

        SimpleInit = Init;

      if (SimpleInit)

        SimpleInit->printPretty(Out, nullptr, Policy, Indentation, "\n",

                                &Context);

      else {

        for (unsigned I = 0; I != NumArgs; 
++I870
) {

          assert(Args[I] != nullptr && "Expected non-null Expr");

          if (isa<CXXDefaultArgExpr>(Args[I]))

            break;

          if (I)

            Out << ", ";

          Args[I]->printPretty(Out, nullptr, Policy, Indentation, "\n",

                               &Context);

        }

      }

    }

    Out << ")";

    if (BMInitializer->isPackExpansion())

      Out << "...";

  }

}

//----------------------------------------------------------------------------

// Common C declarations

//----------------------------------------------------------------------------

void DeclPrinter::VisitDeclContext(DeclContext *DC, bool Indent) {

  if (Policy.TerseOutput)

    return;

  if (Indent)

    Indentation += Policy.Indentation;

  SmallVector<Decl*, 2> Decls;

  for (DeclContext::decl_iterator D = DC->decls_begin(), DEnd = DC->decls_end();

       D != DEnd; 
++D25.0k
) {

    // Don't print ObjCIvarDecls, as they are printed when visiting the

    // containing ObjCInterfaceDecl.

    if (isa<ObjCIvarDecl>(*D))

      continue;

    // Skip over implicit declarations in pretty-printing mode.

    if (D->isImplicit())

      continue;

    // Don't print implicit specializations, as they are printed when visiting

    // corresponding templates.

    if (auto FD = dyn_cast<FunctionDecl>(*D))

      if (FD->getTemplateSpecializationKind() == TSK_ImplicitInstantiation &&

          
!isa<ClassTemplateSpecializationDecl>(DC)756
)

        continue;

    // The next bits of code handle stuff like "struct {int x;} a,b"; we're

    // forced to merge the declarations because there's no other way to

    // refer to the struct in question.  When that struct is named instead, we

    // also need to merge to avoid splitting off a stand-alone struct

    // declaration that produces the warning ext_no_declarators in some

    // contexts.

    //

    // This limited merging is safe without a bunch of other checks because it

    // only merges declarations directly referring to the tag, not typedefs.

    //

    // Check whether the current declaration should be grouped with a previous

    // non-free-standing tag declaration.

    QualType CurDeclType = getDeclType(*D);

    if (!Decls.empty() && 
!CurDeclType.isNull()307
) {

      QualType BaseType = GetBaseType(CurDeclType);

      if (!BaseType.isNull() && isa<ElaboratedType>(BaseType) &&

          
cast<ElaboratedType>(BaseType)->getOwnedTagDecl() == Decls[0]158
) {

        Decls.push_back(*D);

        continue;

      }

    }

    // If we have a merged group waiting to be handled, handle it now.

    if (!Decls.empty())

      ProcessDeclGroup(Decls);

    // If the current declaration is not a free standing declaration, save it

    // so we can merge it with the subsequent declaration(s) using it.

    if (isa<TagDecl>(*D) && 
!cast<TagDecl>(*D)->isFreeStanding()1.22k
) {

      Decls.push_back(*D);

      continue;

    }

    if (isa<AccessSpecDecl>(*D)) {

      Indentation -= Policy.Indentation;

      this->Indent();

      Print(D->getAccess());

      Out << ":\n";

      Indentation += Policy.Indentation;

      continue;

    }

    this->Indent();

    Visit(*D);

    // FIXME: Need to be able to tell the DeclPrinter when

    const char *Terminator = nullptr;

    if (isa<OMPThreadPrivateDecl>(*D) || 
isa<OMPDeclareReductionDecl>(*D)13.0k
 ||

        
isa<OMPDeclareMapperDecl>(*D)12.9k
 || 
isa<OMPRequiresDecl>(*D)12.9k
 ||

        
isa<OMPAllocateDecl>(*D)12.8k
)

      Terminator = nullptr;

    else if (isa<ObjCMethodDecl>(*D) && 
cast<ObjCMethodDecl>(*D)->hasBody()154
)

      Terminator = nullptr;

    else if (auto FD = dyn_cast<FunctionDecl>(*D)) {

      if (FD->isThisDeclarationADefinition())

        Terminator = nullptr;

      else

        Terminator = ";";

    } else if (auto TD = dyn_cast<FunctionTemplateDecl>(*D)) {

      if (TD->getTemplatedDecl()->isThisDeclarationADefinition())

        Terminator = nullptr;

      else

        Terminator = ";";

    } else if (isa<NamespaceDecl>(*D) || 
isa<LinkageSpecDecl>(*D)6.85k
 ||

             
isa<ObjCImplementationDecl>(*D)6.82k
 ||

             
isa<ObjCInterfaceDecl>(*D)6.82k
 ||

             
isa<ObjCProtocolDecl>(*D)6.78k
 ||

             
isa<ObjCCategoryImplDecl>(*D)6.77k
 ||

             
isa<ObjCCategoryDecl>(*D)6.77k
)

      Terminator = nullptr;

    else if (isa<EnumConstantDecl>(*D)) {

      DeclContext::decl_iterator Next = D;

      ++Next;

      if (Next != DEnd)

        Terminator = ",";

    } else

      Terminator = ";";

    if (Terminator)

      Out << Terminator;

    if (!Policy.TerseOutput &&

        ((isa<FunctionDecl>(*D) &&

          
cast<FunctionDecl>(*D)->doesThisDeclarationHaveABody()5.07k
) ||

         
(9.10k
isa<FunctionTemplateDecl>(*D)9.10k
 &&

          
cast<FunctionTemplateDecl>(*D)->getTemplatedDecl()->doesThisDeclarationHaveABody()689
)))

      ; // StmtPrinter already added '\n' after CompoundStmt.

    else

      Out << "\n";

    // Declare target attribute is special one, natural spelling for the pragma

    // assumes "ending" construct so print it here.

    if (D->hasAttr<OMPDeclareTargetDeclAttr>())

      Out << "#pragma omp end declare target\n";

  }

  if (!Decls.empty())

    ProcessDeclGroup(Decls);

  if (Indent)

    Indentation -= Policy.Indentation;

}

void DeclPrinter::VisitTranslationUnitDecl(TranslationUnitDecl *D) {

  VisitDeclContext(D, false);

}

void DeclPrinter::VisitTypedefDecl(TypedefDecl *D) {

  if (!Policy.SuppressSpecifiers) {

    Out << "typedef ";

    if (D->isModulePrivate())

      Out << "__module_private__ ";

  }

  QualType Ty = D->getTypeSourceInfo()->getType();

  Ty.print(Out, Policy, D->getName(), Indentation);

  prettyPrintAttributes(D);

}

void DeclPrinter::VisitTypeAliasDecl(TypeAliasDecl *D) {

  Out << "using " << *D;

  prettyPrintAttributes(D);

  Out << " = " << D->getTypeSourceInfo()->getType().getAsString(Policy);

}

void DeclPrinter::VisitEnumDecl(EnumDecl *D) {

  if (!Policy.SuppressSpecifiers && D->isModulePrivate())

    Out << "__module_private__ ";

  Out << "enum";

  if (D->isScoped()) {

    if (D->isScopedUsingClassTag())

      Out << " class";

    else

      Out << " struct";

  }

  prettyPrintAttributes(D);

  if (D->getDeclName())

    Out << ' ' << D->getDeclName();

  if (D->isFixed())

    Out << " : " << D->getIntegerType().stream(Policy);

  if (D->isCompleteDefinition()) {

    Out << " {\n";

    VisitDeclContext(D);

    Indent() << "}";

  }

}

void DeclPrinter::VisitRecordDecl(RecordDecl *D) {

  if (!Policy.SuppressSpecifiers && D->isModulePrivate())

    Out << "__module_private__ ";

  Out << D->getKindName();

  prettyPrintAttributes(D);

  if (D->getIdentifier())

    Out << ' ' << *D;

  if (D->isCompleteDefinition()) {

    Out << " {\n";

    VisitDeclContext(D);

    Indent() << "}";

  }

}

void DeclPrinter::VisitEnumConstantDecl(EnumConstantDecl *D) {

  Out << *D;

  prettyPrintAttributes(D);

  if (Expr *Init = D->getInitExpr()) {

    Out << " = ";

    Init->printPretty(Out, nullptr, Policy, Indentation, "\n", &Context);

  }

}

static void printExplicitSpecifier(ExplicitSpecifier ES, llvm::raw_ostream &Out,

                                   PrintingPolicy &Policy, unsigned Indentation,

                                   const ASTContext &Context) {

  std::string Proto = "explicit";

  llvm::raw_string_ostream EOut(Proto);

  if (ES.getExpr()) {

    EOut << "(";

    ES.getExpr()->printPretty(EOut, nullptr, Policy, Indentation, "\n",

                              &Context);

    EOut << ")";

  }

  EOut << " ";

  EOut.flush();

  Out << Proto;

}

void DeclPrinter::VisitFunctionDecl(FunctionDecl *D) {

  if (!D->getDescribedFunctionTemplate() &&

      
!D->isFunctionTemplateSpecialization()7.55k
)

    prettyPrintPragmas(D);

  if (D->isFunctionTemplateSpecialization())

    Out << "template<> ";

  else if (!D->getDescribedFunctionTemplate()) {

    for (unsigned I = 0, NumTemplateParams = D->getNumTemplateParameterLists();

         I < NumTemplateParams; 
++I6
)

      printTemplateParameters(D->getTemplateParameterList(I));

  }

  CXXConstructorDecl *CDecl = dyn_cast<CXXConstructorDecl>(D);

  CXXConversionDecl *ConversionDecl = dyn_cast<CXXConversionDecl>(D);

  CXXDeductionGuideDecl *GuideDecl = dyn_cast<CXXDeductionGuideDecl>(D);

  if (!Policy.SuppressSpecifiers) {

    switch (D->getStorageClass()) {

    case SC_None: break;

    case SC_Extern: Out << "extern "; break;

    case SC_Static: Out << "static "; break;

    case SC_PrivateExtern: Out << "__private_extern__ "; break;

    case SC_Auto: case SC_Register:

      llvm_unreachable("invalid for functions");

    }

    if (D->isInlineSpecified())  
Out << "inline "117
;

    if (D->isVirtualAsWritten()) 
Out << "virtual "11
;

    if (D->isModulePrivate())    
Out << "__module_private__ "0
;

    if (D->isConstexprSpecified() && 
!D->isExplicitlyDefaulted()161
)

      Out << "constexpr ";

    if (D->isConsteval())        
Out << "consteval "0
;

    ExplicitSpecifier ExplicitSpec = ExplicitSpecifier::getFromDecl(D);

    if (ExplicitSpec.isSpecified())

      printExplicitSpecifier(ExplicitSpec, Out, Policy, Indentation, Context);

  }

  PrintingPolicy SubPolicy(Policy);

  SubPolicy.SuppressSpecifiers = false;

  std::string Proto;

  if (Policy.FullyQualifiedName) {

    Proto += D->getQualifiedNameAsString();

  } else {

    llvm::raw_string_ostream OS(Proto);

    if (!Policy.SuppressScope) {

      if (const NestedNameSpecifier *NS = D->getQualifier()) {

        NS->print(OS, Policy);

      }

    }

    D->getNameInfo().printName(OS, Policy);

  }

  if (GuideDecl)

    Proto = GuideDecl->getDeducedTemplate()->getDeclName().getAsString();

  if (D->isFunctionTemplateSpecialization()) {

    llvm::raw_string_ostream POut(Proto);

    DeclPrinter TArgPrinter(POut, SubPolicy, Context, Indentation);

    const auto *TArgAsWritten = D->getTemplateSpecializationArgsAsWritten();

    if (TArgAsWritten && 
!Policy.PrintCanonicalTypes19
)

      TArgPrinter.printTemplateArguments(TArgAsWritten->arguments(), nullptr);

    else if (const TemplateArgumentList *TArgs =

                 D->getTemplateSpecializationArgs())

      TArgPrinter.printTemplateArguments(TArgs->asArray(), nullptr);

  }

  QualType Ty = D->getType();

  while (const ParenType *PT = dyn_cast<ParenType>(Ty)) {

    Proto = '(' + Proto + ')';

    Ty = PT->getInnerType();

  }

  if (const FunctionType *AFT = Ty->getAs<FunctionType>()) {

    const FunctionProtoType *FT = nullptr;

    if (D->hasWrittenPrototype())

      FT = dyn_cast<FunctionProtoType>(AFT);

    Proto += "(";

    if (FT) {

      llvm::raw_string_ostream POut(Proto);

      DeclPrinter ParamPrinter(POut, SubPolicy, Context, Indentation);

      for (unsigned i = 0, e = D->getNumParams(); i != e; 
++i6.10k
) {

        if (i) 
POut << ", "1.69k
;

        ParamPrinter.VisitParmVarDecl(D->getParamDecl(i));

      }

      if (FT->isVariadic()) {

        if (D->getNumParams()) 
POut << ", "47
;

        POut << "...";

      } else if (!D->getNumParams() && 
!Context.getLangOpts().CPlusPlus3.75k
) {

        // The function has a prototype, so it needs to retain the prototype

        // in C.

        POut << "void";

      }

    } else 
if (151
D->doesThisDeclarationHaveABody()151
 && 
!D->hasPrototype()111
) {

      for (unsigned i = 0, e = D->getNumParams(); i != e; 
++i6
) {

        if (i)

          Proto += ", ";

        Proto += D->getParamDecl(i)->getNameAsString();

      }

    }

    Proto += ")";

    if (FT) {

      if (FT->isConst())

        Proto += " const";

      if (FT->isVolatile())

        Proto += " volatile";

      if (FT->isRestrict())

        Proto += " restrict";

      switch (FT->getRefQualifier()) {

      case RQ_None:

        break;

      case RQ_LValue:

        Proto += " &";

        break;

      case RQ_RValue:

        Proto += " &&";

        break;

      }

    }

    if (FT && 
FT->hasDynamicExceptionSpec()8.17k
) {

      Proto += " throw(";

      if (FT->getExceptionSpecType() == EST_MSAny)

        Proto += "...";

      else

        
for (unsigned I = 0, N = FT->getNumExceptions(); 3
I != N; 
++I3
) {

          if (I)

            Proto += ", ";

          Proto += FT->getExceptionType(I).getAsString(SubPolicy);

        }

      Proto += ")";

    } else if (FT && 
isNoexceptExceptionSpec(FT->getExceptionSpecType())8.16k
) {

      Proto += " noexcept";

      if (isComputedNoexcept(FT->getExceptionSpecType())) {

        Proto += "(";

        llvm::raw_string_ostream EOut(Proto);

        FT->getNoexceptExpr()->printPretty(EOut, nullptr, SubPolicy,

                                           Indentation, "\n", &Context);

        EOut.flush();

        Proto += ")";

      }

    }

    if (CDecl) {

      if (!Policy.TerseOutput)

        PrintConstructorInitializers(CDecl, Proto);

    } else if (!ConversionDecl && 
!isa<CXXDestructorDecl>(D)6.07k
) {

      if (FT && 
FT->hasTrailingReturn()5.80k
) {

        if (!GuideDecl)

          Out << "auto ";

        Out << Proto << " -> ";

        Proto.clear();

      }

      AFT->getReturnType().print(Out, Policy, Proto);

      Proto.clear();

    }

    Out << Proto;

    if (Expr *TrailingRequiresClause = D->getTrailingRequiresClause()) {

      Out << " requires ";

      TrailingRequiresClause->printPretty(Out, nullptr, SubPolicy, Indentation,

                                          "\n", &Context);

    }

  } else {

    Ty.print(Out, Policy, Proto);

  }

  prettyPrintAttributes(D);

  if (D->isPure())

    Out << " = 0";

  else if (D->isDeletedAsWritten())

    Out << " = delete";

  else if (D->isExplicitlyDefaulted())

    Out << " = default";

  else if (D->doesThisDeclarationHaveABody()) {

    if (!Policy.TerseOutput) {

      if (!D->hasPrototype() && 
D->getNumParams()109
) {

        // This is a K&R function definition, so we need to print the

        // parameters.

        Out << '\n';

        DeclPrinter ParamPrinter(Out, SubPolicy, Context, Indentation);

        Indentation += Policy.Indentation;

        for (unsigned i = 0, e = D->getNumParams(); i != e; 
++i6
) {

          Indent();

          ParamPrinter.VisitParmVarDecl(D->getParamDecl(i));

          Out << ";\n";

        }

        Indentation -= Policy.Indentation;

      }

      if (D->getBody())

        D->getBody()->printPrettyControlled(Out, nullptr, SubPolicy, Indentation, "\n",

                                  &Context);

    } else {

      if (!Policy.TerseOutput && 
isa<CXXConstructorDecl>(*D)0
)

        Out << " {}";

    }

  }

}

void DeclPrinter::VisitFriendDecl(FriendDecl *D) {

  if (TypeSourceInfo *TSI = D->getFriendType()) {

    unsigned NumTPLists = D->getFriendTypeNumTemplateParameterLists();

    for (unsigned i = 0; i < NumTPLists; 
++i0
)

      printTemplateParameters(D->getFriendTypeTemplateParameterList(i));

    Out << "friend ";

    Out << " " << TSI->getType().getAsString(Policy);

  }

  else if (FunctionDecl *FD =

      dyn_cast<FunctionDecl>(D->getFriendDecl())) {

    Out << "friend ";

    VisitFunctionDecl(FD);

  }

  else if (FunctionTemplateDecl *FTD =

           dyn_cast<FunctionTemplateDecl>(D->getFriendDecl())) {

    Out << "friend ";

    VisitFunctionTemplateDecl(FTD);

  }

  else if (ClassTemplateDecl *CTD =

           dyn_cast<ClassTemplateDecl>(D->getFriendDecl())) {

    Out << "friend ";

    VisitRedeclarableTemplateDecl(CTD);

  }

}

void DeclPrinter::VisitFieldDecl(FieldDecl *D) {

  // FIXME: add printing of pragma attributes if required.

  if (!Policy.SuppressSpecifiers && 
D->isMutable()2.52k
)

    Out << "mutable ";

  if (!Policy.SuppressSpecifiers && 
D->isModulePrivate()2.52k
)

    Out << "__module_private__ ";

  Out << D->getASTContext().getUnqualifiedObjCPointerType(D->getType()).

         stream(Policy, D->getName(), Indentation);

  if (D->isBitField()) {

    Out << " : ";

    D->getBitWidth()->printPretty(Out, nullptr, Policy, Indentation, "\n",

                                  &Context);

  }

  Expr *Init = D->getInClassInitializer();

  if (!Policy.SuppressInitializers && Init) {

    if (D->getInClassInitStyle() == ICIS_ListInit)

      Out << " ";

    else

      Out << " = ";

    Init->printPretty(Out, nullptr, Policy, Indentation, "\n", &Context);

  }

  prettyPrintAttributes(D);

}

void DeclPrinter::VisitLabelDecl(LabelDecl *D) {

  Out << *D << ":";

}

void DeclPrinter::VisitVarDecl(VarDecl *D) {

  prettyPrintPragmas(D);

  QualType T = D->getTypeSourceInfo()

    ? 
D->getTypeSourceInfo()->getType()29.2k

    : 
D->getASTContext().getUnqualifiedObjCPointerType(D->getType())113
;

  if (!Policy.SuppressSpecifiers) {

    StorageClass SC = D->getStorageClass();

    if (SC != SC_None)

      Out << VarDecl::getStorageClassSpecifierString(SC) << " ";

    switch (D->getTSCSpec()) {

    case TSCS_unspecified:

      break;

    case TSCS___thread:

      Out << "__thread ";

      break;

    case TSCS__Thread_local:

      Out << "_Thread_local ";

      break;

    case TSCS_thread_local:

      Out << "thread_local ";

      break;

    }

    if (D->isModulePrivate())

      Out << "__module_private__ ";

    if (D->isConstexpr()) {

      Out << "constexpr ";

      T.removeLocalConst();

    }

  }

  printDeclType(T, (isa<ParmVarDecl>(D) && 
Policy.CleanUglifiedParameters6.13k
 &&

                    
D->getIdentifier()1
)

                       ? 
D->getIdentifier()->deuglifiedName()1

                       : 
D->getName()29.4k
);

  Expr *Init = D->getInit();

  if (!Policy.SuppressInitializers && 
Init29.3k
) {

    bool ImplicitInit = false;

    if (D->isCXXForRangeDecl()) {

      // FIXME: We should print the range expression instead.

      ImplicitInit = true;

    } else if (CXXConstructExpr *Construct =

                   dyn_cast<CXXConstructExpr>(Init->IgnoreImplicit())) {

      if (D->getInitStyle() == VarDecl::CallInit &&

          
!Construct->isListInitialization()974
) {

        ImplicitInit = Construct->getNumArgs() == 0 ||

                       
Construct->getArg(0)->isDefaultArgument()52
;

      }

    }

    if (!ImplicitInit) {

      if ((D->getInitStyle() == VarDecl::CallInit) && 
!isa<ParenListExpr>(Init)53
)

        Out << "(";

      else if (D->getInitStyle() == VarDecl::CInit) {

        Out << " = ";

      }

      PrintingPolicy SubPolicy(Policy);

      SubPolicy.SuppressSpecifiers = false;

      SubPolicy.IncludeTagDefinition = false;

      Init->printPretty(Out, nullptr, SubPolicy, Indentation, "\n", &Context);

      if ((D->getInitStyle() == VarDecl::CallInit) && 
!isa<ParenListExpr>(Init)53
)

        Out << ")";

    }

  }

  prettyPrintAttributes(D);

}

void DeclPrinter::VisitParmVarDecl(ParmVarDecl *D) {

  VisitVarDecl(D);

}

void DeclPrinter::VisitFileScopeAsmDecl(FileScopeAsmDecl *D) {

  Out << "__asm (";

  D->getAsmString()->printPretty(Out, nullptr, Policy, Indentation, "\n",

                                 &Context);

  Out << ")";

}

void DeclPrinter::VisitImportDecl(ImportDecl *D) {

  Out << "@import " << D->getImportedModule()->getFullModuleName()

      << ";\n";

}

void DeclPrinter::VisitStaticAssertDecl(StaticAssertDecl *D) {

  Out << "static_assert(";

  D->getAssertExpr()->printPretty(Out, nullptr, Policy, Indentation, "\n",

                                  &Context);

  if (StringLiteral *SL = D->getMessage()) {

    Out << ", ";

    SL->printPretty(Out, nullptr, Policy, Indentation, "\n", &Context);

  }

  Out << ")";

}

//----------------------------------------------------------------------------

// C++ declarations

//----------------------------------------------------------------------------

void DeclPrinter::VisitNamespaceDecl(NamespaceDecl *D) {

  if (D->isInline())

    Out << "inline ";

  Out << "namespace ";

  if (D->getDeclName())

    Out << D->getDeclName() << ' ';

  Out << "{\n";

  VisitDeclContext(D);

  Indent() << "}";

}

void DeclPrinter::VisitUsingDirectiveDecl(UsingDirectiveDecl *D) {

  Out << "using namespace ";

  if (D->getQualifier())

    D->getQualifier()->print(Out, Policy);

  Out << *D->getNominatedNamespaceAsWritten();

}

void DeclPrinter::VisitNamespaceAliasDecl(NamespaceAliasDecl *D) {

  Out << "namespace " << *D << " = ";

  if (D->getQualifier())

    D->getQualifier()->print(Out, Policy);

  Out << *D->getAliasedNamespace();

}

void DeclPrinter::VisitEmptyDecl(EmptyDecl *D) {

  prettyPrintAttributes(D);

}

void DeclPrinter::VisitCXXRecordDecl(CXXRecordDecl *D) {

  // FIXME: add printing of pragma attributes if required.

  if (!Policy.SuppressSpecifiers && D->isModulePrivate())

    Out << "__module_private__ ";

  Out << D->getKindName();

  prettyPrintAttributes(D);

  if (D->getIdentifier()) {

    Out << ' ' << *D;

    if (auto S = dyn_cast<ClassTemplateSpecializationDecl>(D)) {

      ArrayRef<TemplateArgument> Args = S->getTemplateArgs().asArray();

      if (!Policy.PrintCanonicalTypes)

        if (const auto* TSI = S->getTypeAsWritten())

          if (const auto *TST =

                  dyn_cast<TemplateSpecializationType>(TSI->getType()))

            Args = TST->template_arguments();

      printTemplateArguments(

          Args, S->getSpecializedTemplate()->getTemplateParameters());

    }

  }