diff options
author | Douglas Gregor <dgregor@apple.com> | 2009-05-30 00:08:05 +0000 |
---|---|---|
committer | Douglas Gregor <dgregor@apple.com> | 2009-05-30 00:08:05 +0000 |
commit | 4fe0c8e9c76b96e7aff21696a40dacc09d0237bc (patch) | |
tree | 1b4253035fcbb699c4110f220609fc7f37e64ca0 /lib | |
parent | 9e8a72291465488e734c8aa5e20142d8b3cd981c (diff) |
Refactor and clean up the AST printer, so that it uses a DeclVisitor,
walks through DeclContexts properly, and prints more of the
information available in the AST. The functionality is still available
via -ast-print, -ast-dump, etc., and also via the new member functions
Decl::dump() and Decl::print().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72597 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r-- | lib/AST/CMakeLists.txt | 1 | ||||
-rw-r--r-- | lib/AST/DeclPrinter.cpp | 530 | ||||
-rw-r--r-- | lib/AST/StmtPrinter.cpp | 17 | ||||
-rw-r--r-- | lib/Frontend/ASTConsumers.cpp | 653 | ||||
-rw-r--r-- | lib/Frontend/DocumentXML.cpp | 2 | ||||
-rw-r--r-- | lib/Sema/SemaDecl.cpp | 6 |
6 files changed, 568 insertions, 641 deletions
diff --git a/lib/AST/CMakeLists.txt b/lib/AST/CMakeLists.txt index a282f202f2..19ab9f650e 100644 --- a/lib/AST/CMakeLists.txt +++ b/lib/AST/CMakeLists.txt @@ -12,6 +12,7 @@ add_clang_library(clangAST DeclCXX.cpp DeclGroup.cpp DeclObjC.cpp + DeclPrinter.cpp DeclTemplate.cpp ExprConstant.cpp Expr.cpp diff --git a/lib/AST/DeclPrinter.cpp b/lib/AST/DeclPrinter.cpp new file mode 100644 index 0000000000..a48737560e --- /dev/null +++ b/lib/AST/DeclPrinter.cpp @@ -0,0 +1,530 @@ +//===--- DeclPrinter.cpp - Printing implementation for Decl ASTs ----------===// +// +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// This file implements the Decl::dump method, which pretty print the +// AST back out to C/Objective-C/C++/Objective-C++ code. +// +//===----------------------------------------------------------------------===// +#include "clang/AST/ASTContext.h" +#include "clang/AST/DeclVisitor.h" +#include "clang/AST/Decl.h" +#include "clang/AST/DeclCXX.h" +#include "clang/AST/DeclObjC.h" +#include "clang/AST/Expr.h" +#include "clang/AST/PrettyPrinter.h" +#include "llvm/Support/Compiler.h" +#include "llvm/Support/Streams.h" +#include "llvm/Support/Format.h" +#include "llvm/Support/raw_ostream.h" +using namespace clang; + +namespace { + class VISIBILITY_HIDDEN DeclPrinter : public DeclVisitor<DeclPrinter> { + llvm::raw_ostream &Out; + ASTContext &Context; + PrintingPolicy Policy; + unsigned Indentation; + + llvm::raw_ostream& Indent(); + + public: + DeclPrinter(llvm::raw_ostream &Out, ASTContext &Context, + const PrintingPolicy &Policy, + unsigned Indentation = 0) + : Out(Out), Context(Context), Policy(Policy), Indentation(Indentation) { } + + void VisitDeclContext(DeclContext *DC, bool Indent = true); + + void VisitTranslationUnitDecl(TranslationUnitDecl *D); + void VisitTypedefDecl(TypedefDecl *D); + void VisitEnumDecl(EnumDecl *D); + void VisitRecordDecl(RecordDecl *D); + void VisitEnumConstantDecl(EnumConstantDecl *D); + void VisitFunctionDecl(FunctionDecl *D); + void VisitFieldDecl(FieldDecl *D); + void VisitVarDecl(VarDecl *D); + void VisitParmVarDecl(ParmVarDecl *D); + void VisitFileScopeAsmDecl(FileScopeAsmDecl *D); + void VisitNamespaceDecl(NamespaceDecl *D); + void VisitLinkageSpecDecl(LinkageSpecDecl *D); + void VisitTemplateDecl(TemplateDecl *D); + void VisitObjCClassDecl(ObjCClassDecl *D); + void VisitObjCMethodDecl(ObjCMethodDecl *D); + void VisitObjCImplementationDecl(ObjCImplementationDecl *D); + void VisitObjCInterfaceDecl(ObjCInterfaceDecl *D); + void VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *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 Decl::print(llvm::raw_ostream &Out, ASTContext &Context, + unsigned Indentation) { + print(Out, Context, Context.PrintingPolicy, Indentation); +} + +void Decl::print(llvm::raw_ostream &Out, ASTContext &Context, + const PrintingPolicy &Policy, unsigned Indentation) { + DeclPrinter Printer(Out, Context, Policy, Indentation); + Printer.Visit(this); +} + +void Decl::dump(ASTContext &Context) { + print(llvm::errs(), Context); +} + +llvm::raw_ostream& DeclPrinter::Indent() { + for (unsigned i = 0; i < Indentation; ++i) + Out << " "; + return Out; +} + +//---------------------------------------------------------------------------- +// Common C declarations +//---------------------------------------------------------------------------- + +void DeclPrinter::VisitDeclContext(DeclContext *DC, bool Indent) { + if (Indent) + Indentation += Policy.Indentation; + + for (DeclContext::decl_iterator D = DC->decls_begin(Context), + DEnd = DC->decls_end(Context); + D != DEnd; ++D) { + this->Indent(); + Visit(*D); + + // FIXME: Need to be able to tell the DeclPrinter when + const char *Terminator = 0; + if (isa<FunctionDecl>(*D) && + cast<FunctionDecl>(*D)->isThisDeclarationADefinition()) + Terminator = 0; + else if (isa<NamespaceDecl>(*D) || isa<LinkageSpecDecl>(*D)) + Terminator = 0; + else if (isa<EnumConstantDecl>(*D)) { + DeclContext::decl_iterator Next = D; + ++Next; + if (Next != DEnd) + Terminator = ","; + } else + Terminator = ";"; + + if (Terminator) + Out << Terminator; + Out << "\n"; + } + + if (Indent) + Indentation -= Policy.Indentation; +} + +void DeclPrinter::VisitTranslationUnitDecl(TranslationUnitDecl *D) { + VisitDeclContext(D, false); +} + +void DeclPrinter::VisitTypedefDecl(TypedefDecl *D) { + std::string S = D->getNameAsString(); + D->getUnderlyingType().getAsStringInternal(S, Policy); + Out << "typedef " << S; +} + +void DeclPrinter::VisitEnumDecl(EnumDecl *D) { + Out << "enum " << D->getNameAsString() << " {\n"; + VisitDeclContext(D); + Indent() << "}"; +} + +void DeclPrinter::VisitRecordDecl(RecordDecl *D) { + // print a free standing tag decl (e.g. "struct x;"). + Out << D->getKindName(); + Out << " "; + Out << D->getNameAsString(); + + if (D->isDefinition()) { + Out << " {\n"; + VisitDeclContext(D); + Indent() << "}"; + } +} + +void DeclPrinter::VisitEnumConstantDecl(EnumConstantDecl *D) { + Out << D->getNameAsString(); + if (Expr *Init = D->getInitExpr()) { + Out << " = "; + Init->printPretty(Out, 0, Policy, Indentation); + } +} + +void DeclPrinter::VisitFunctionDecl(FunctionDecl *D) { + switch (D->getStorageClass()) { + case FunctionDecl::None: break; + case FunctionDecl::Extern: Out << "extern "; break; + case FunctionDecl::Static: Out << "static "; break; + case FunctionDecl::PrivateExtern: Out << "__private_extern__ "; break; + } + + if (D->isInline()) Out << "inline "; + if (D->isVirtualAsWritten()) Out << "virtual "; + + std::string Proto = D->getNameAsString(); + if (isa<FunctionType>(D->getType().getTypePtr())) { + const FunctionType *AFT = D->getType()->getAsFunctionType(); + + const FunctionProtoType *FT = 0; + if (D->hasWrittenPrototype()) + FT = dyn_cast<FunctionProtoType>(AFT); + + Proto += "("; + if (FT) { + llvm::raw_string_ostream POut(Proto); + DeclPrinter ParamPrinter(POut, Context, Policy, Indentation); + for (unsigned i = 0, e = D->getNumParams(); i != e; ++i) { + if (i) POut << ", "; + ParamPrinter.VisitParmVarDecl(D->getParamDecl(i)); + } + + if (FT->isVariadic()) { + if (D->getNumParams()) POut << ", "; + POut << "..."; + } + } + + Proto += ")"; + AFT->getResultType().getAsStringInternal(Proto, Policy); + } else { + D->getType().getAsStringInternal(Proto, Policy); + } + + Out << Proto; + + if (D->isPure()) + Out << " = 0"; + else if (D->isDeleted()) + Out << " = delete"; + else if (D->isThisDeclarationADefinition()) { + if (!D->hasPrototype() && D->getNumParams()) { + // This is a K&R function definition, so we need to print the + // parameters. + Out << '\n'; + Indentation += Policy.Indentation; + for (unsigned i = 0, e = D->getNumParams(); i != e; ++i) { + Indent(); + VisitParmVarDecl(D->getParamDecl(i)); + Out << ";\n"; + } + Indentation -= Policy.Indentation; + } else + Out << ' '; + + D->getBody(Context)->printPretty(Out, 0, Policy, Indentation); + Out << '\n'; + } +} + +void DeclPrinter::VisitFieldDecl(FieldDecl *D) { + if (D->isMutable()) + Out << "mutable "; + + std::string Name = D->getNameAsString(); + D->getType().getAsStringInternal(Name, Policy); + Out << Name; + + if (D->isBitField()) { + Out << " : "; + D->getBitWidth()->printPretty(Out, 0, Policy, Indentation); + } +} + +void DeclPrinter::VisitVarDecl(VarDecl *D) { + if (D->getStorageClass() != VarDecl::None) + Out << VarDecl::getStorageClassSpecifierString(D->getStorageClass()) << " "; + + if (D->isThreadSpecified()) + Out << "__thread "; + + std::string Name = D->getNameAsString(); + QualType T = D->getType(); + if (OriginalParmVarDecl *Parm = dyn_cast<OriginalParmVarDecl>(D)) + T = Parm->getOriginalType(); + T.getAsStringInternal(Name, Policy); + Out << Name; + if (D->getInit()) { + if (D->hasCXXDirectInitializer()) + Out << "("; + else + Out << " = "; + D->getInit()->printPretty(Out, 0, Policy, Indentation); + if (D->hasCXXDirectInitializer()) + Out << ")"; + } +} + +void DeclPrinter::VisitParmVarDecl(ParmVarDecl *D) { + VisitVarDecl(D); +} + +void DeclPrinter::VisitFileScopeAsmDecl(FileScopeAsmDecl *D) { + Out << "__asm ("; + D->getAsmString()->printPretty(Out, 0, Policy, Indentation); + Out << ")"; +} + +//---------------------------------------------------------------------------- +// C++ declarations +//---------------------------------------------------------------------------- +void DeclPrinter::VisitNamespaceDecl(NamespaceDecl *D) { + Out << "namespace " << D->getNameAsString() << " {\n"; + VisitDeclContext(D); + Indent() << "}"; +} + +void DeclPrinter::VisitLinkageSpecDecl(LinkageSpecDecl *D) { + const char *l; + if (D->getLanguage() == LinkageSpecDecl::lang_c) + l = "C"; + else { + assert(D->getLanguage() == LinkageSpecDecl::lang_cxx && + "unknown language in linkage specification"); + l = "C++"; + } + + Out << "extern \"" << l << "\" "; + if (D->hasBraces()) { + Out << "{\n"; + VisitDeclContext(D); + Indent() << "}"; + } else + Visit(*D->decls_begin(Context)); +} + +void DeclPrinter::VisitTemplateDecl(TemplateDecl *D) { + // TODO: Write template parameters. + Out << "template <...> "; + Visit(D->getTemplatedDecl()); +} + +//---------------------------------------------------------------------------- +// Objective-C declarations +//---------------------------------------------------------------------------- + +void DeclPrinter::VisitObjCClassDecl(ObjCClassDecl *D) { + Out << "@class "; + for (ObjCClassDecl::iterator I = D->begin(), E = D->end(); + I != E; ++I) { + if (I != D->begin()) Out << ", "; + Out << (*I)->getNameAsString(); + } + Out << ";\n"; +} + +void DeclPrinter::VisitObjCMethodDecl(ObjCMethodDecl *OMD) { + if (OMD->isInstanceMethod()) + Out << "\n- "; + else + Out << "\n+ "; + if (!OMD->getResultType().isNull()) + Out << '(' << OMD->getResultType().getAsString() << ")"; + + std::string name = OMD->getSelector().getAsString(); + std::string::size_type pos, lastPos = 0; + for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(), + E = OMD->param_end(); PI != E; ++PI) { + // FIXME: selector is missing here! + pos = name.find_first_of(":", lastPos); + Out << " " << name.substr(lastPos, pos - lastPos); + Out << ":(" << (*PI)->getType().getAsString() << ")" + << (*PI)->getNameAsString(); + lastPos = pos + 1; + } + + if (OMD->param_begin() == OMD->param_end()) + Out << " " << name; + + if (OMD->isVariadic()) + Out << ", ..."; + + if (OMD->getBody()) { + Out << ' '; + OMD->getBody()->printPretty(Out, 0, Policy); + Out << '\n'; + } else + Out << ";"; +} + +void DeclPrinter::VisitObjCImplementationDecl(ObjCImplementationDecl *OID) { + std::string I = OID->getNameAsString(); + ObjCInterfaceDecl *SID = OID->getSuperClass(); + + if (SID) + Out << "@implementation " << I << " : " << SID->getNameAsString(); + else + Out << "@implementation " << I; + + VisitDeclContext(OID); + Out << "@end\n"; +} + +void DeclPrinter::VisitObjCInterfaceDecl(ObjCInterfaceDecl *OID) { + std::string I = OID->getNameAsString(); + ObjCInterfaceDecl *SID = OID->getSuperClass(); + + if (SID) + Out << "@interface " << I << " : " << SID->getNameAsString(); + else + Out << "@interface " << I; + + // Protocols? + const ObjCList<ObjCProtocolDecl> &Protocols = OID->getReferencedProtocols(); + if (!Protocols.empty()) { + for (ObjCList<ObjCProtocolDecl>::iterator I = Protocols.begin(), + E = Protocols.end(); I != E; ++I) + Out << (I == Protocols.begin() ? '<' : ',') << (*I)->getNameAsString(); + } + + if (!Protocols.empty()) + Out << ">"; + Out << '\n'; + + if (OID->ivar_size() > 0) { + Out << '{'; + for (ObjCInterfaceDecl::ivar_iterator I = OID->ivar_begin(), + E = OID->ivar_end(); I != E; ++I) { + Out << '\t' << (*I)->getType().getAsString(Policy) + << ' ' << (*I)->getNameAsString() << ";\n"; + } + Out << "}\n"; + } + + VisitDeclContext(OID, false); + Out << "@end\n"; + // FIXME: implement the rest... +} + +void DeclPrinter::VisitObjCForwardProtocolDecl(ObjCForwardProtocolDecl *D) { + Out << "@protocol "; + for (ObjCForwardProtocolDecl::protocol_iterator I = D->protocol_begin(), + E = D->protocol_end(); + I != E; ++I) { + if (I != D->protocol_begin()) Out << ", "; + Out << (*I)->getNameAsString(); + } + Out << ";\n"; +} + +void DeclPrinter::VisitObjCProtocolDecl(ObjCProtocolDecl *PID) { + Out << "@protocol " << PID->getNameAsString() << '\n'; + + for (ObjCProtocolDecl::prop_iterator I = PID->prop_begin(Context), + E = PID->prop_end(Context); I != E; ++I) + VisitObjCPropertyDecl(*I); + Out << "@end\n"; + // FIXME: implement the rest... +} + +void DeclPrinter::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *PID) { + Out << "@implementation " + << PID->getClassInterface()->getNameAsString() + << '(' << PID->getNameAsString() << ");\n"; + + VisitDeclContext(PID, false); + Out << "@end\n"; + // FIXME: implement the rest... +} + +void DeclPrinter::VisitObjCCategoryDecl(ObjCCategoryDecl *PID) { + Out << "@interface " + << PID->getClassInterface()->getNameAsString() + << '(' << PID->getNameAsString() << ");\n"; + VisitDeclContext(PID, false); + Out << "@end\n"; + + // FIXME: implement the rest... +} + +void DeclPrinter::VisitObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *AID) { + Out << "@compatibility_alias " << AID->getNameAsString() + << ' ' << AID->getClassInterface()->getNameAsString() << ";\n"; +} + +/// PrintObjCPropertyDecl - print a property declaration. +/// +void DeclPrinter::VisitObjCPropertyDecl(ObjCPropertyDecl *PDecl) { + if (PDecl->getPropertyImplementation() == ObjCPropertyDecl::Required) + Out << "@required\n"; + else if (PDecl->getPropertyImplementation() == ObjCPropertyDecl::Optional) + Out << "@optional\n"; + + Out << "@property"; + if (PDecl->getPropertyAttributes() != ObjCPropertyDecl::OBJC_PR_noattr) { + bool first = true; + Out << " ("; + if (PDecl->getPropertyAttributes() & + ObjCPropertyDecl::OBJC_PR_readonly) { + Out << (first ? ' ' : ',') << "readonly"; + first = false; + } + + if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_getter) { + Out << (first ? ' ' : ',') << "getter = " + << PDecl->getGetterName().getAsString(); + first = false; + } + if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_setter) { + Out << (first ? ' ' : ',') << "setter = " + << PDecl->getSetterName().getAsString(); + first = false; + } + + if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_assign) { + Out << (first ? ' ' : ',') << "assign"; + first = false; + } + + if (PDecl->getPropertyAttributes() & + ObjCPropertyDecl::OBJC_PR_readwrite) { + Out << (first ? ' ' : ',') << "readwrite"; + first = false; + } + + if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_retain) { + Out << (first ? ' ' : ',') << "retain"; + first = false; + } + + if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_copy) { + Out << (first ? ' ' : ',') << "copy"; + first = false; + } + + if (PDecl->getPropertyAttributes() & + ObjCPropertyDecl::OBJC_PR_nonatomic) { + Out << (first ? ' ' : ',') << "nonatomic"; + first = false; + } + Out << " )"; + } + Out << ' ' << PDecl->getType().getAsString(Policy) + << ' ' << PDecl->getNameAsString(); + + Out << ";\n"; +} + +void DeclPrinter::VisitObjCPropertyImplDecl(ObjCPropertyImplDecl *PID) { + if (PID->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize) + Out << "\n@synthesize "; + else + Out << "\n@dynamic "; + Out << PID->getPropertyDecl()->getNameAsString(); + if (PID->getPropertyIvarDecl()) + Out << "=" << PID->getPropertyIvarDecl()->getNameAsString(); + Out << ";\n"; +} diff --git a/lib/AST/StmtPrinter.cpp b/lib/AST/StmtPrinter.cpp index e6a2bad7a5..fc9fdf975d 100644 --- a/lib/AST/StmtPrinter.cpp +++ b/lib/AST/StmtPrinter.cpp @@ -816,7 +816,7 @@ void StmtPrinter::VisitConditionalOperator(ConditionalOperator *Node) { PrintExpr(Node->getLHS()); OS << " : "; } - else { // Handle GCC extention where LHS can be NULL. + else { // Handle GCC extension where LHS can be NULL. OS << " ?: "; } @@ -903,7 +903,15 @@ void StmtPrinter::VisitDesignatedInitExpr(DesignatedInitExpr *Node) { } void StmtPrinter::VisitImplicitValueInitExpr(ImplicitValueInitExpr *Node) { - OS << "/*implicit*/" << Node->getType().getAsString() << "()"; + if (Policy.CPlusPlus) + OS << "/*implicit*/" << Node->getType().getAsString(Policy) << "()"; + else { + OS << "/*implicit*/(" << Node->getType().getAsString(Policy) << ")"; + if (Node->getType()->isRecordType()) + OS << "{}"; + else + OS << 0; + } } void StmtPrinter::VisitVAArgExpr(VAArgExpr *Node) { @@ -1257,6 +1265,11 @@ void Stmt::printPretty(llvm::raw_ostream &OS, PrinterHelper* Helper, return; } + if (Policy.Dump) { + dump(); + return; + } + StmtPrinter P(OS, Helper, Policy, Indentation); P.Visit(const_cast<Stmt*>(this)); } diff --git a/lib/Frontend/ASTConsumers.cpp b/lib/Frontend/ASTConsumers.cpp index c35f4c9e20..11c9251ae9 100644 --- a/lib/Frontend/ASTConsumers.cpp +++ b/lib/Frontend/ASTConsumers.cpp @@ -30,559 +30,21 @@ using namespace clang; //===----------------------------------------------------------------------===// -/// DeclPrinter - Utility class for printing top-level decls. +/// ASTPrinter - Pretty-printer and dumper of ASTs namespace { - class DeclPrinter { - public: - llvm::raw_ostream& Out; - PrintingPolicy Policy; - unsigned Indentation; - - DeclPrinter(llvm::raw_ostream* out, - const PrintingPolicy &Policy = PrintingPolicy()) - : Out(out ? *out : llvm::errs()), Policy(Policy), - Indentation(0) {} - DeclPrinter() : Out(llvm::errs()), Indentation(0) {} - virtual ~DeclPrinter(); - - void ChangeIndent(int I) { - Indentation += I; - } - - llvm::raw_ostream& Indent() { - for (unsigned i = 0; i < Indentation; ++i) - Out << " "; - return Out; - } - - void PrintDecl(Decl *D); - void Print(NamedDecl *ND); - void Print(NamespaceDecl *NS); - void PrintFunctionDeclStart(FunctionDecl *FD); - void PrintTypeDefDecl(TypedefDecl *TD); - void PrintLinkageSpec(LinkageSpecDecl *LS); - void PrintObjCMethodDecl(ObjCMethodDecl *OMD); - void PrintObjCImplementationDecl(ObjCImplementationDecl *OID); - void PrintObjCInterfaceDecl(ObjCInterfaceDecl *OID); - void PrintObjCProtocolDecl(ObjCProtocolDecl *PID); - void PrintObjCCategoryImplDecl(ObjCCategoryImplDecl *PID); - void PrintObjCCategoryDecl(ObjCCategoryDecl *PID); - void PrintObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *AID); - void PrintObjCPropertyDecl(ObjCPropertyDecl *PD); - void PrintObjCPropertyImplDecl(ObjCPropertyImplDecl *PID); - - void PrintTemplateDecl(TemplateDecl *TD); - }; -} // end anonymous namespace - -DeclPrinter::~DeclPrinter() { - Out.flush(); -} - -void DeclPrinter:: PrintDecl(Decl *D) { - Indent(); - if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) { - PrintFunctionDeclStart(FD); - - // FIXME: Pass a context here so we can use getBody() - if (FD->getBodyIfAvailable()) { - Out << ' '; - FD->getBodyIfAvailable()->printPretty(Out, 0, Policy); - Out << '\n'; - } - } else if (isa<ObjCMethodDecl>(D)) { - // Do nothing, methods definitions are printed in - // PrintObjCImplementationDecl. - } else if (TypedefDecl *TD = dyn_cast<TypedefDecl>(D)) { - PrintTypeDefDecl(TD); - } else if (ObjCInterfaceDecl *OID = dyn_cast<ObjCInterfaceDecl>(D)) { - PrintObjCInterfaceDecl(OID); - } else if (ObjCProtocolDecl *PID = dyn_cast<ObjCProtocolDecl>(D)) { - PrintObjCProtocolDecl(PID); - } else if (ObjCForwardProtocolDecl *OFPD = - dyn_cast<ObjCForwardProtocolDecl>(D)) { - Out << "@protocol "; - for (ObjCForwardProtocolDecl::protocol_iterator I = OFPD->protocol_begin(), - E = OFPD->protocol_end(); - I != E; ++I) { - if (I != OFPD->protocol_begin()) Out << ", "; - Out << (*I)->getNameAsString(); - } - Out << ";\n"; - } else if (ObjCImplementationDecl *OID = - dyn_cast<ObjCImplementationDecl>(D)) { - PrintObjCImplementationDecl(OID); - } else if (ObjCCategoryImplDecl *OID = - dyn_cast<ObjCCategoryImplDecl>(D)) { - PrintObjCCategoryImplDecl(OID); - } else if (ObjCCategoryDecl *OID = - dyn_cast<ObjCCategoryDecl>(D)) { - PrintObjCCategoryDecl(OID); - } else if (ObjCCompatibleAliasDecl *OID = - dyn_cast<ObjCCompatibleAliasDecl>(D)) { - PrintObjCCompatibleAliasDecl(OID); - } else if (ObjCClassDecl *OFCD = dyn_cast<ObjCClassDecl>(D)) { - Out << "@class "; - for (ObjCClassDecl::iterator I = OFCD->begin(), E = OFCD->end(); - I != E; ++I) { - if (I != OFCD->begin()) Out << ", "; - Out << (*I)->getNameAsString(); - } - Out << ";\n"; - } else if (EnumDecl *ED = dyn_cast<EnumDecl>(D)) { - Out << "enum " << ED->getNameAsString() << " {\n"; - // FIXME: Shouldn't pass a NULL context - ASTContext *Context = 0; - for (EnumDecl::enumerator_iterator E = ED->enumerator_begin(*Context), - EEnd = ED->enumerator_end(*Context); - E != EEnd; ++E) - Out << " " << (*E)->getNameAsString() << ",\n"; - Out << "};\n"; - } else if (TagDecl *TD = dyn_cast<TagDecl>(D)) { - // print a free standing tag decl (e.g. "struct x;"). - Out << TD->getKindName(); - Out << " "; - if (const IdentifierInfo *II = TD->getIdentifier()) - Out << II->getName(); - - if (TD->isDefinition()) { - Out << " {\n"; - ChangeIndent(1); - // FIXME: Shouldn't pass a NULL context - ASTContext *Context = 0; - for (DeclContext::decl_iterator i = TD->decls_begin(*Context); - i != TD->decls_end(*Context); - ++i) - PrintDecl(*i); - ChangeIndent(-1); - Indent(); - Out << "}"; - } - Out << ";\n"; - } else if (TemplateDecl *TempD = dyn_cast<TemplateDecl>(D)) { - PrintTemplateDecl(TempD); - } else if (LinkageSpecDecl *LSD = dyn_cast<LinkageSpecDecl>(D)) { - PrintLinkageSpec(LSD); - } else if (FileScopeAsmDecl *AD = dyn_cast<FileScopeAsmDecl>(D)) { - Out << "asm("; - AD->getAsmString()->printPretty(Out, 0, Policy); - Out << ")\n"; - } else if (NamedDecl *ND = dyn_cast<NamedDecl>(D)) { - Print(ND); - } else { - assert(0 && "Unknown decl type!"); - } -} - -void DeclPrinter::Print(NamedDecl *ND) { - switch (ND->getKind()) { - default: - // FIXME: Handle the rest of the NamedDecls. - Out << "### NamedDecl " << ND->getNameAsString() << "\n"; - break; - case Decl::Field: - case Decl::Var: { - // Emit storage class for vardecls. - if (VarDecl *V = dyn_cast<VarDecl>(ND)) { - switch (V->getStorageClass()) { - default: assert(0 && "Unknown storage class!"); - case VarDecl::None: break; - case VarDecl::Auto: Out << "auto "; break; - case VarDecl::Register: Out << "register "; break; - case VarDecl::Extern: Out << "extern "; break; - case VarDecl::Static: Out << "static "; break; - case VarDecl::PrivateExtern: Out << "__private_extern__ "; break; - } - } - std::string Name = ND->getNameAsString(); - // This forms: "int a". - dyn_cast<ValueDecl>(ND)->getType().getAsStringInternal(Name, Policy); - Out << Name; - if (VarDecl *Var = dyn_cast<VarDecl>(ND)) { - if (Var->getInit()) { - Out << " = "; - Var->getInit()->printPretty(Out, 0, Policy); - } - } - Out << ";\n"; - break; - } - case Decl::Namespace: - Print(dyn_cast<NamespaceDecl>(ND)); - break; - } -} - -void DeclPrinter::Print(NamespaceDecl *NS) { - Out << "namespace " << NS->getNameAsString() << " {\n"; - ChangeIndent(1); - // FIXME: Shouldn't pass a NULL context - ASTContext *Context = 0; - for (DeclContext::decl_iterator i = NS->decls_begin(*Context); - i != NS->decls_end(*Context); - ++i) - PrintDecl(*i); - ChangeIndent(-1); - Indent(); - Out << "}\n"; -} - -void DeclPrinter::PrintFunctionDeclStart(FunctionDecl *FD) { - // FIXME: pass a context so that we can use getBody. - bool HasBody = FD->getBodyIfAvailable(); - - Out << '\n'; - - Indent(); - switch (FD->getStorageClass()) { - default: assert(0 && "Unknown storage class"); - case FunctionDecl::None: break; - case FunctionDecl::Extern: Out << "extern "; break; - case FunctionDecl::Static: Out << "static "; break; - case FunctionDecl::PrivateExtern: Out << "__private_extern__ "; break; - } - - if (FD->isInline()) - Out << "inline "; - - std::string Proto = FD->getNameAsString(); - const FunctionType *AFT = FD->getType()->getAsFunctionType(); - - if (const FunctionProtoType *FT = dyn_cast<FunctionProtoType>(AFT)) { - Proto += "("; - for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i) { - if (i) Proto += ", "; - std::string ParamStr; - if (HasBody) ParamStr = FD->getParamDecl(i)->getNameAsString(); - - FT->getArgType(i).getAsStringInternal(ParamStr, Policy); - Proto += ParamStr; - } - - if (FT->isVariadic()) { - if (FD->getNumParams()) Proto += ", "; - Proto += "..."; - } - Proto += ")"; - } else { - assert(isa<FunctionNoProtoType>(AFT)); - Proto += "()"; - } - - AFT->getResultType().getAsStringInternal(Proto, Policy); - Out << Proto; - - if (!FD->getBodyIfAvailable()) - Out << ";\n"; - // Doesn't print the body. -} - -void DeclPrinter::PrintTypeDefDecl(TypedefDecl *TD) { - std::string S = TD->getNameAsString(); - TD->getUnderlyingType().getAsStringInternal(S, Policy); - Out << "typedef " << S << ";\n"; -} - -void DeclPrinter::PrintLinkageSpec(LinkageSpecDecl *LS) { - const char *l; - if (LS->getLanguage() == LinkageSpecDecl::lang_c) - l = "C"; - else { - assert(LS->getLanguage() == LinkageSpecDecl::lang_cxx && - "unknown language in linkage specification"); - l = "C++"; - } - - Out << "extern \"" << l << "\" "; - if (LS->hasBraces()) { - Out << "{\n"; - ChangeIndent(1); - } - - // FIXME: Should not use a NULL DeclContext! - ASTContext *Context = 0; - for (LinkageSpecDecl::decl_iterator D = LS->decls_begin(*Context), - DEnd = LS->decls_end(*Context); - D != DEnd; ++D) - PrintDecl(*D); - - if (LS->hasBraces()) { - ChangeIndent(-1); - Indent() << "}"; - } - Out << "\n"; -} - -void DeclPrinter::PrintObjCMethodDecl(ObjCMethodDecl *OMD) { - if (OMD->isInstanceMethod()) - Out << "\n- "; - else - Out << "\n+ "; - if (!OMD->getResultType().isNull()) - Out << '(' << OMD->getResultType().getAsString() << ")"; - - std::string name = OMD->getSelector().getAsString(); - std::string::size_type pos, lastPos = 0; - for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(), - E = OMD->param_end(); PI != E; ++PI) { - // FIXME: selector is missing here! - pos = name.find_first_of(":", lastPos); - Out << " " << name.substr(lastPos, pos - lastPos); - Out << ":(" << (*PI)->getType().getAsString() << ")" - << (*PI)->getNameAsString(); - lastPos = pos + 1; - } - - if (OMD->param_begin() == OMD->param_end()) - Out << " " << name; - - if (OMD->isVariadic()) - Out << ", ..."; - - Out << ";"; -} - -void DeclPrinter::PrintObjCImplementationDecl(ObjCImplementationDecl *OID) { - std::string I = OID->getNameAsString(); - ObjCInterfaceDecl *SID = OID->getSuperClass(); - - if (SID) - Out << "@implementation " << I << " : " << SID->getNameAsString(); - else - Out << "@implementation " << I; - - // FIXME: Don't use a NULL context - ASTContext *Context = 0; - for (ObjCImplementationDecl::instmeth_iterator - I = OID->instmeth_begin(*Context), - E = OID->instmeth_end(*Context); - I != E; ++I) { - ObjCMethodDecl *OMD = *I; - PrintObjCMethodDecl(OMD); - if (OMD->getBody()) { - Out << ' '; - OMD->getBody()->printPretty(Out, 0, Policy); - Out << '\n'; - } - } - - for (ObjCImplementationDecl::classmeth_iterator - I = OID->classmeth_begin(*Context), - E = OID->classmeth_end(*Context); - I != E; ++I) { - ObjCMethodDecl *OMD = *I; - PrintObjCMethodDecl(OMD); - if (OMD->getBody()) { - Out << ' '; - OMD->getBody()->printPretty(Out, 0, Policy); - Out << '\n'; - } - } - - for (ObjCImplementationDecl::propimpl_iterator - I = OID->propimpl_begin(*Context), - E = OID->propimpl_end(*Context); I != E; ++I) - PrintObjCPropertyImplDecl(*I); - - Out << "@end\n"; -} - - -void DeclPrinter::PrintObjCInterfaceDecl(ObjCInterfaceDecl *OID) { - std::string I = OID->getNameAsString(); - ObjCInterfaceDecl *SID = OID->getSuperClass(); - - if (SID) - Out << "@interface " << I << " : " << SID->getNameAsString(); - else - Out << "@interface " << I; - - // Protocols? - const ObjCList<ObjCProtocolDecl> &Protocols = OID->getReferencedProtocols(); - if (!Protocols.empty()) { - for (ObjCList<ObjCProtocolDecl>::iterator I = Protocols.begin(), - E = Protocols.end(); I != E; ++I) - Out << (I == Protocols.begin() ? '<' : ',') << (*I)->getNameAsString(); - } - - if (!Protocols.empty()) - Out << ">"; - Out << '\n'; - - if (OID->ivar_size() > 0) { - Out << '{'; - for (ObjCInterfaceDecl::ivar_iterator I = OID->ivar_begin(), - E = OID->ivar_end(); I != E; ++I) { - Out << '\t' << (*I)->getType().getAsString() - << ' ' << (*I)->getNameAsString() << ";\n"; - } - Out << "}\n"; - } - - // FIXME: Should not use a NULL DeclContext! - ASTContext *Context = 0; - for (ObjCInterfaceDecl::prop_iterator I = OID->prop_begin(*Context), - E = OID->prop_end(*Context); I != E; ++I) - PrintObjCPropertyDecl(*I); - bool eol_needed = false; - for (ObjCInterfaceDecl::classmeth_iterator I = OID->classmeth_begin(*Context), - E = OID->classmeth_end(*Context); I != E; ++I) - eol_needed = true, PrintObjCMethodDecl(*I); - |