blob: 1b5cdd36bef7aea8d9d68b3b9c9b5c094127312b [file] [log] [blame]
Chris Lattner97e8b6f2007-10-07 06:04:32 +00001//===--- ASTConsumers.cpp - ASTConsumer implementations -------------------===//
Reid Spencer5f016e22007-07-11 17:01:13 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
Chris Lattner97e8b6f2007-10-07 06:04:32 +000010// AST Consumer Implementations.
Reid Spencer5f016e22007-07-11 17:01:13 +000011//
12//===----------------------------------------------------------------------===//
13
Chris Lattner97e8b6f2007-10-07 06:04:32 +000014#include "ASTConsumers.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000015#include "clang/Frontend/PathDiagnosticClients.h"
Nico Weberdae86962008-08-09 18:32:11 +000016#include "clang/Basic/Diagnostic.h"
Ted Kremenek54117722007-12-20 00:34:58 +000017#include "clang/Basic/SourceManager.h"
18#include "clang/Basic/FileManager.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000019#include "clang/AST/AST.h"
Chris Lattner3d4997d2007-09-15 23:02:28 +000020#include "clang/AST/ASTConsumer.h"
Chris Lattner557c5b12009-03-28 04:27:18 +000021#include "clang/AST/ASTContext.h"
Ted Kremenek815c78f2008-08-05 18:50:11 +000022#include "clang/CodeGen/ModuleBuilder.h"
23#include "llvm/Module.h"
Daniel Dunbard46075f2008-10-21 23:54:00 +000024#include "llvm/Support/Streams.h"
Ted Kremenekcb330932008-02-18 21:21:23 +000025#include "llvm/Support/Timer.h"
Ted Kremeneka95d3752008-09-13 05:16:45 +000026#include "llvm/Support/raw_ostream.h"
Chris Lattner557c5b12009-03-28 04:27:18 +000027#include "llvm/System/Path.h"
Chris Lattner6000dac2007-08-08 22:51:59 +000028using namespace clang;
Reid Spencer5f016e22007-07-11 17:01:13 +000029
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000030//===----------------------------------------------------------------------===//
31/// DeclPrinter - Utility class for printing top-level decls.
Chris Lattner6000dac2007-08-08 22:51:59 +000032
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000033namespace {
34 class DeclPrinter {
35 public:
Ted Kremeneka95d3752008-09-13 05:16:45 +000036 llvm::raw_ostream& Out;
Mike Stump071e4da2009-02-10 20:16:46 +000037 unsigned Indentation;
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000038
Mike Stump071e4da2009-02-10 20:16:46 +000039 DeclPrinter(llvm::raw_ostream* out) : Out(out ? *out : llvm::errs()),
40 Indentation(0) {}
41 DeclPrinter() : Out(llvm::errs()), Indentation(0) {}
Ted Kremeneka95d3752008-09-13 05:16:45 +000042 virtual ~DeclPrinter();
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000043
Mike Stump071e4da2009-02-10 20:16:46 +000044 void ChangeIndent(int I) {
45 Indentation += I;
46 }
47
48 llvm::raw_ostream& Indent() {
49 for (unsigned i = 0; i < Indentation; ++i)
50 Out << " ";
51 return Out;
52 }
53
Chris Lattneref5a85d2008-01-02 21:04:16 +000054 void PrintDecl(Decl *D);
Mike Stump071e4da2009-02-10 20:16:46 +000055 void Print(NamedDecl *ND);
56 void Print(NamespaceDecl *NS);
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000057 void PrintFunctionDeclStart(FunctionDecl *FD);
58 void PrintTypeDefDecl(TypedefDecl *TD);
Chris Lattnerc6fdc342008-01-12 07:05:38 +000059 void PrintLinkageSpec(LinkageSpecDecl *LS);
Ted Kremeneka526c5c2008-01-07 19:49:32 +000060 void PrintObjCMethodDecl(ObjCMethodDecl *OMD);
61 void PrintObjCImplementationDecl(ObjCImplementationDecl *OID);
62 void PrintObjCInterfaceDecl(ObjCInterfaceDecl *OID);
63 void PrintObjCProtocolDecl(ObjCProtocolDecl *PID);
64 void PrintObjCCategoryImplDecl(ObjCCategoryImplDecl *PID);
65 void PrintObjCCategoryDecl(ObjCCategoryDecl *PID);
66 void PrintObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *AID);
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +000067 void PrintObjCPropertyDecl(ObjCPropertyDecl *PD);
Fariborz Jahanian628b96f2008-04-23 00:06:01 +000068 void PrintObjCPropertyImplDecl(ObjCPropertyImplDecl *PID);
Douglas Gregoraaba5e32009-02-04 19:02:06 +000069
70 void PrintTemplateDecl(TemplateDecl *TD);
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000071 };
72} // end anonymous namespace
73
Ted Kremeneka95d3752008-09-13 05:16:45 +000074DeclPrinter::~DeclPrinter() {
75 Out.flush();
76}
77
Chris Lattneref5a85d2008-01-02 21:04:16 +000078void DeclPrinter:: PrintDecl(Decl *D) {
Mike Stump071e4da2009-02-10 20:16:46 +000079 Indent();
Chris Lattneref5a85d2008-01-02 21:04:16 +000080 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
81 PrintFunctionDeclStart(FD);
82
83 if (FD->getBody()) {
84 Out << ' ';
Mike Stump071e4da2009-02-10 20:16:46 +000085 FD->getBody()->printPretty(Out, 0, Indentation, true);
Chris Lattneref5a85d2008-01-02 21:04:16 +000086 Out << '\n';
87 }
Ted Kremeneka526c5c2008-01-07 19:49:32 +000088 } else if (isa<ObjCMethodDecl>(D)) {
Chris Lattneref5a85d2008-01-02 21:04:16 +000089 // Do nothing, methods definitions are printed in
Ted Kremeneka526c5c2008-01-07 19:49:32 +000090 // PrintObjCImplementationDecl.
Chris Lattneref5a85d2008-01-02 21:04:16 +000091 } else if (TypedefDecl *TD = dyn_cast<TypedefDecl>(D)) {
92 PrintTypeDefDecl(TD);
Ted Kremeneka526c5c2008-01-07 19:49:32 +000093 } else if (ObjCInterfaceDecl *OID = dyn_cast<ObjCInterfaceDecl>(D)) {
94 PrintObjCInterfaceDecl(OID);
95 } else if (ObjCProtocolDecl *PID = dyn_cast<ObjCProtocolDecl>(D)) {
96 PrintObjCProtocolDecl(PID);
97 } else if (ObjCForwardProtocolDecl *OFPD =
Chris Lattnerc81c8142008-02-25 21:04:36 +000098 dyn_cast<ObjCForwardProtocolDecl>(D)) {
Chris Lattneref5a85d2008-01-02 21:04:16 +000099 Out << "@protocol ";
Chris Lattner07fa7742009-02-20 18:10:37 +0000100 for (ObjCForwardProtocolDecl::iterator I = OFPD->begin(), E = OFPD->end();
101 I != E; ++I) {
102 if (I != OFPD->begin()) Out << ", ";
103 Out << (*I)->getNameAsString();
Chris Lattneref5a85d2008-01-02 21:04:16 +0000104 }
105 Out << ";\n";
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000106 } else if (ObjCImplementationDecl *OID =
Chris Lattnerc81c8142008-02-25 21:04:36 +0000107 dyn_cast<ObjCImplementationDecl>(D)) {
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000108 PrintObjCImplementationDecl(OID);
109 } else if (ObjCCategoryImplDecl *OID =
Chris Lattnerc81c8142008-02-25 21:04:36 +0000110 dyn_cast<ObjCCategoryImplDecl>(D)) {
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000111 PrintObjCCategoryImplDecl(OID);
112 } else if (ObjCCategoryDecl *OID =
Chris Lattnerc81c8142008-02-25 21:04:36 +0000113 dyn_cast<ObjCCategoryDecl>(D)) {
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000114 PrintObjCCategoryDecl(OID);
115 } else if (ObjCCompatibleAliasDecl *OID =
Chris Lattnerc81c8142008-02-25 21:04:36 +0000116 dyn_cast<ObjCCompatibleAliasDecl>(D)) {
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000117 PrintObjCCompatibleAliasDecl(OID);
Chris Lattner23a0e452008-06-21 21:40:20 +0000118 } else if (ObjCClassDecl *OFCD = dyn_cast<ObjCClassDecl>(D)) {
119 Out << "@class ";
Chris Lattner67956052009-02-20 18:04:31 +0000120 for (ObjCClassDecl::iterator I = OFCD->begin(), E = OFCD->end();
121 I != E; ++I) {
122 if (I != OFCD->begin()) Out << ", ";
123 Out << (*I)->getNameAsString();
Chris Lattner23a0e452008-06-21 21:40:20 +0000124 }
125 Out << ";\n";
Douglas Gregor45579f52008-12-17 02:04:30 +0000126 } else if (EnumDecl *ED = dyn_cast<EnumDecl>(D)) {
127 Out << "enum " << ED->getNameAsString() << " {\n";
128 for (EnumDecl::enumerator_iterator E = ED->enumerator_begin(),
129 EEnd = ED->enumerator_end();
130 E != EEnd; ++E)
131 Out << " " << (*E)->getNameAsString() << ",\n";
132 Out << "};\n";
Chris Lattneref5a85d2008-01-02 21:04:16 +0000133 } else if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
Mike Stump071e4da2009-02-10 20:16:46 +0000134 // print a free standing tag decl (e.g. "struct x;").
135 Out << TD->getKindName();
136 Out << " ";
137 if (const IdentifierInfo *II = TD->getIdentifier())
138 Out << II->getName();
139
140 Out << " {\n";
141 ChangeIndent(1);
142 for (DeclContext::decl_iterator i = TD->decls_begin();
143 i != TD->decls_end();
144 ++i)
145 PrintDecl(*i);
146 ChangeIndent(-1);
147 Indent();
148 Out << "}";
149
150 Out << "\n";
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000151 } else if (TemplateDecl *TempD = dyn_cast<TemplateDecl>(D)) {
152 PrintTemplateDecl(TempD);
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000153 } else if (LinkageSpecDecl *LSD = dyn_cast<LinkageSpecDecl>(D)) {
154 PrintLinkageSpec(LSD);
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000155 } else if (FileScopeAsmDecl *AD = dyn_cast<FileScopeAsmDecl>(D)) {
156 Out << "asm(";
157 AD->getAsmString()->printPretty(Out);
158 Out << ")\n";
Douglas Gregor4afa39d2009-01-20 01:17:11 +0000159 } else if (NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
Mike Stump071e4da2009-02-10 20:16:46 +0000160 Print(ND);
Chris Lattneref5a85d2008-01-02 21:04:16 +0000161 } else {
162 assert(0 && "Unknown decl type!");
163 }
164}
165
Mike Stump071e4da2009-02-10 20:16:46 +0000166void DeclPrinter::Print(NamedDecl *ND) {
167 switch (ND->getKind()) {
168 default:
169 // FIXME: Handle the rest of the NamedDecls.
170 Out << "### NamedDecl " << ND->getNameAsString() << "\n";
171 break;
172 case Decl::Field:
173 case Decl::Var: {
174 // Emit storage class for vardecls.
175 if (VarDecl *V = dyn_cast<VarDecl>(ND)) {
176 switch (V->getStorageClass()) {
177 default: assert(0 && "Unknown storage class!");
Mike Stumpc5840c02009-02-10 23:49:50 +0000178 case VarDecl::None: break;
179 case VarDecl::Auto: Out << "auto "; break;
180 case VarDecl::Register: Out << "register "; break;
181 case VarDecl::Extern: Out << "extern "; break;
182 case VarDecl::Static: Out << "static "; break;
Daniel Dunbar7ab41f72009-02-13 22:49:34 +0000183 case VarDecl::PrivateExtern: Out << "__private_extern__ "; break;
Mike Stump071e4da2009-02-10 20:16:46 +0000184 }
185 }
186 std::string Name = ND->getNameAsString();
187 // This forms: "int a".
188 dyn_cast<ValueDecl>(ND)->getType().getAsStringInternal(Name);
189 Out << Name << ";\n";
190 break;
191 }
192 case Decl::Namespace:
193 Print(dyn_cast<NamespaceDecl>(ND));
194 break;
195 }
196}
197
198void DeclPrinter::Print(NamespaceDecl *NS) {
199 Out << "namespace " << NS->getNameAsString() << " {\n";
200 ChangeIndent(1);
201 for (DeclContext::decl_iterator i = NS->decls_begin();
202 i != NS->decls_end();
203 ++i)
204 PrintDecl(*i);
205 ChangeIndent(-1);
206 Indent();
207 Out << "}\n";
208}
209
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000210void DeclPrinter::PrintFunctionDeclStart(FunctionDecl *FD) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000211 bool HasBody = FD->getBody();
212
Ted Kremenekea75c552007-11-28 21:32:21 +0000213 Out << '\n';
Chris Lattner70c8b2e2007-08-26 04:02:13 +0000214
Mike Stump071e4da2009-02-10 20:16:46 +0000215 Indent();
Chris Lattner70c8b2e2007-08-26 04:02:13 +0000216 switch (FD->getStorageClass()) {
217 default: assert(0 && "Unknown storage class");
218 case FunctionDecl::None: break;
Ted Kremenekea75c552007-11-28 21:32:21 +0000219 case FunctionDecl::Extern: Out << "extern "; break;
220 case FunctionDecl::Static: Out << "static "; break;
Ted Kremenek24bd3c42008-04-15 03:57:09 +0000221 case FunctionDecl::PrivateExtern: Out << "__private_extern__ "; break;
Chris Lattner70c8b2e2007-08-26 04:02:13 +0000222 }
223
224 if (FD->isInline())
Ted Kremenekea75c552007-11-28 21:32:21 +0000225 Out << "inline ";
Chris Lattner70c8b2e2007-08-26 04:02:13 +0000226
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000227 std::string Proto = FD->getNameAsString();
Chris Lattner0d6ca112007-12-03 21:43:25 +0000228 const FunctionType *AFT = FD->getType()->getAsFunctionType();
Reid Spencer5f016e22007-07-11 17:01:13 +0000229
Douglas Gregor72564e72009-02-26 23:50:07 +0000230 if (const FunctionProtoType *FT = dyn_cast<FunctionProtoType>(AFT)) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000231 Proto += "(";
232 for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i) {
233 if (i) Proto += ", ";
234 std::string ParamStr;
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000235 if (HasBody) ParamStr = FD->getParamDecl(i)->getNameAsString();
Reid Spencer5f016e22007-07-11 17:01:13 +0000236
237 FT->getArgType(i).getAsStringInternal(ParamStr);
238 Proto += ParamStr;
239 }
240
241 if (FT->isVariadic()) {
242 if (FD->getNumParams()) Proto += ", ";
243 Proto += "...";
244 }
245 Proto += ")";
246 } else {
Douglas Gregor72564e72009-02-26 23:50:07 +0000247 assert(isa<FunctionNoProtoType>(AFT));
Reid Spencer5f016e22007-07-11 17:01:13 +0000248 Proto += "()";
249 }
250
251 AFT->getResultType().getAsStringInternal(Proto);
Ted Kremenekea75c552007-11-28 21:32:21 +0000252 Out << Proto;
Reid Spencer5f016e22007-07-11 17:01:13 +0000253
Chris Lattner6000dac2007-08-08 22:51:59 +0000254 if (!FD->getBody())
Ted Kremenekea75c552007-11-28 21:32:21 +0000255 Out << ";\n";
Chris Lattner6000dac2007-08-08 22:51:59 +0000256 // Doesn't print the body.
Reid Spencer5f016e22007-07-11 17:01:13 +0000257}
258
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000259void DeclPrinter::PrintTypeDefDecl(TypedefDecl *TD) {
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000260 std::string S = TD->getNameAsString();
Reid Spencer5f016e22007-07-11 17:01:13 +0000261 TD->getUnderlyingType().getAsStringInternal(S);
Ted Kremenekea75c552007-11-28 21:32:21 +0000262 Out << "typedef " << S << ";\n";
Reid Spencer5f016e22007-07-11 17:01:13 +0000263}
264
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000265void DeclPrinter::PrintLinkageSpec(LinkageSpecDecl *LS) {
266 const char *l;
267 if (LS->getLanguage() == LinkageSpecDecl::lang_c)
268 l = "C";
Chris Lattner06767512008-04-08 05:52:18 +0000269 else {
270 assert(LS->getLanguage() == LinkageSpecDecl::lang_cxx &&
271 "unknown language in linkage specification");
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000272 l = "C++";
Chris Lattner06767512008-04-08 05:52:18 +0000273 }
Douglas Gregorf44515a2008-12-16 22:23:02 +0000274
275 Out << "extern \"" << l << "\" ";
Mike Stump071e4da2009-02-10 20:16:46 +0000276 if (LS->hasBraces()) {
Douglas Gregorf44515a2008-12-16 22:23:02 +0000277 Out << "{\n";
Mike Stump071e4da2009-02-10 20:16:46 +0000278 ChangeIndent(1);
279 }
Douglas Gregorf44515a2008-12-16 22:23:02 +0000280
Douglas Gregor074149e2009-01-05 19:45:36 +0000281 for (LinkageSpecDecl::decl_iterator D = LS->decls_begin(),
282 DEnd = LS->decls_end();
Douglas Gregorf44515a2008-12-16 22:23:02 +0000283 D != DEnd; ++D)
284 PrintDecl(*D);
285
Mike Stump071e4da2009-02-10 20:16:46 +0000286 if (LS->hasBraces()) {
287 ChangeIndent(-1);
288 Indent() << "}";
289 }
Douglas Gregorf44515a2008-12-16 22:23:02 +0000290 Out << "\n";
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000291}
292
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000293void DeclPrinter::PrintObjCMethodDecl(ObjCMethodDecl *OMD) {
Douglas Gregorf8d49f62009-01-09 17:18:27 +0000294 if (OMD->isInstanceMethod())
Ted Kremenekea75c552007-11-28 21:32:21 +0000295 Out << "\n- ";
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000296 else
Ted Kremenekea75c552007-11-28 21:32:21 +0000297 Out << "\n+ ";
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000298 if (!OMD->getResultType().isNull())
Chris Lattnerefe8a962008-08-22 06:59:15 +0000299 Out << '(' << OMD->getResultType().getAsString() << ")";
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000300
Chris Lattner077bf5e2008-11-24 03:33:13 +0000301 std::string name = OMD->getSelector().getAsString();
Chris Lattnerefe8a962008-08-22 06:59:15 +0000302 std::string::size_type pos, lastPos = 0;
Chris Lattner89951a82009-02-20 18:43:26 +0000303 for (ObjCMethodDecl::param_iterator PI = OMD->param_begin(),
304 E = OMD->param_end(); PI != E; ++PI) {
Ted Kremenekea75c552007-11-28 21:32:21 +0000305 // FIXME: selector is missing here!
Chris Lattnerefe8a962008-08-22 06:59:15 +0000306 pos = name.find_first_of(":", lastPos);
307 Out << " " << name.substr(lastPos, pos - lastPos);
Chris Lattner89951a82009-02-20 18:43:26 +0000308 Out << ":(" << (*PI)->getType().getAsString() << ")"
309 << (*PI)->getNameAsString();
Chris Lattnerefe8a962008-08-22 06:59:15 +0000310 lastPos = pos + 1;
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000311 }
Chris Lattnerefe8a962008-08-22 06:59:15 +0000312
Chris Lattner89951a82009-02-20 18:43:26 +0000313 if (OMD->param_begin() == OMD->param_end())
Chris Lattnerefe8a962008-08-22 06:59:15 +0000314 Out << " " << name;
315
316 if (OMD->isVariadic())
317 Out << ", ...";
318
319 Out << ";";
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000320}
321
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000322void DeclPrinter::PrintObjCImplementationDecl(ObjCImplementationDecl *OID) {
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000323 std::string I = OID->getNameAsString();
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000324 ObjCInterfaceDecl *SID = OID->getSuperClass();
Ted Kremenekea75c552007-11-28 21:32:21 +0000325
326 if (SID)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000327 Out << "@implementation " << I << " : " << SID->getNameAsString();
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000328 else
Ted Kremenekea75c552007-11-28 21:32:21 +0000329 Out << "@implementation " << I;
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000330
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000331 for (ObjCImplementationDecl::instmeth_iterator I = OID->instmeth_begin(),
Chris Lattnerab4c4d52007-12-12 07:46:12 +0000332 E = OID->instmeth_end(); I != E; ++I) {
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000333 ObjCMethodDecl *OMD = *I;
334 PrintObjCMethodDecl(OMD);
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000335 if (OMD->getBody()) {
Ted Kremenekea75c552007-11-28 21:32:21 +0000336 Out << ' ';
337 OMD->getBody()->printPretty(Out);
338 Out << '\n';
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000339 }
340 }
341
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000342 for (ObjCImplementationDecl::classmeth_iterator I = OID->classmeth_begin(),
Chris Lattnerab4c4d52007-12-12 07:46:12 +0000343 E = OID->classmeth_end(); I != E; ++I) {
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000344 ObjCMethodDecl *OMD = *I;
345 PrintObjCMethodDecl(OMD);
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000346 if (OMD->getBody()) {
Ted Kremenekea75c552007-11-28 21:32:21 +0000347 Out << ' ';
348 OMD->getBody()->printPretty(Out);
349 Out << '\n';
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000350 }
351 }
352
Fariborz Jahanian628b96f2008-04-23 00:06:01 +0000353 for (ObjCImplementationDecl::propimpl_iterator I = OID->propimpl_begin(),
354 E = OID->propimpl_end(); I != E; ++I)
355 PrintObjCPropertyImplDecl(*I);
356
Ted Kremenekea75c552007-11-28 21:32:21 +0000357 Out << "@end\n";
Fariborz Jahaniandb8f3d32007-11-10 20:59:13 +0000358}
359
360
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000361void DeclPrinter::PrintObjCInterfaceDecl(ObjCInterfaceDecl *OID) {
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000362 std::string I = OID->getNameAsString();
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000363 ObjCInterfaceDecl *SID = OID->getSuperClass();
Ted Kremenekea75c552007-11-28 21:32:21 +0000364
365 if (SID)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000366 Out << "@interface " << I << " : " << SID->getNameAsString();
Fariborz Jahaniane37882a2007-10-08 23:06:41 +0000367 else
Ted Kremenekea75c552007-11-28 21:32:21 +0000368 Out << "@interface " << I;
369
Fariborz Jahaniane37882a2007-10-08 23:06:41 +0000370 // Protocols?
Chris Lattner3db6cae2008-07-21 18:19:38 +0000371 const ObjCList<ObjCProtocolDecl> &Protocols = OID->getReferencedProtocols();
372 if (!Protocols.empty()) {
373 for (ObjCList<ObjCProtocolDecl>::iterator I = Protocols.begin(),
374 E = Protocols.end(); I != E; ++I)
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000375 Out << (I == Protocols.begin() ? '<' : ',') << (*I)->getNameAsString();
Fariborz Jahaniane37882a2007-10-08 23:06:41 +0000376 }
Ted Kremenekea75c552007-11-28 21:32:21 +0000377
Chris Lattner3db6cae2008-07-21 18:19:38 +0000378 if (!Protocols.empty())
379 Out << ">";
380 Out << '\n';
Fariborz Jahanianedcfb422007-10-26 16:29:12 +0000381
Chris Lattnerf3a7af92008-03-16 21:08:55 +0000382 if (OID->ivar_size() > 0) {
Ted Kremenekea75c552007-11-28 21:32:21 +0000383 Out << '{';
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000384 for (ObjCInterfaceDecl::ivar_iterator I = OID->ivar_begin(),
Chris Lattnerbe6df082007-12-12 07:56:42 +0000385 E = OID->ivar_end(); I != E; ++I) {
386 Out << '\t' << (*I)->getType().getAsString()
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000387 << ' ' << (*I)->getNameAsString() << ";\n";
Fariborz Jahanianedcfb422007-10-26 16:29:12 +0000388 }
Ted Kremenekea75c552007-11-28 21:32:21 +0000389 Out << "}\n";
Fariborz Jahanianedcfb422007-10-26 16:29:12 +0000390 }
Fariborz Jahanian82a5fe32007-11-06 22:01:00 +0000391
Steve Naroff09c47192009-01-09 15:36:25 +0000392 for (ObjCInterfaceDecl::prop_iterator I = OID->prop_begin(),
393 E = OID->prop_end(); I != E; ++I)
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000394 PrintObjCPropertyDecl(*I);
Fariborz Jahanian33de3f02008-05-07 17:43:59 +0000395 bool eol_needed = false;
Fariborz Jahanianb89ca232008-05-06 23:14:25 +0000396 for (ObjCInterfaceDecl::classmeth_iterator I = OID->classmeth_begin(),
397 E = OID->classmeth_end(); I != E; ++I)
Fariborz Jahanian33de3f02008-05-07 17:43:59 +0000398 eol_needed = true, PrintObjCMethodDecl(*I);
Fariborz Jahanianb89ca232008-05-06 23:14:25 +0000399
400 for (ObjCInterfaceDecl::instmeth_iterator I = OID->instmeth_begin(),
401 E = OID->instmeth_end(); I != E; ++I)
Fariborz Jahanian33de3f02008-05-07 17:43:59 +0000402 eol_needed = true, PrintObjCMethodDecl(*I);
Fariborz Jahanianb89ca232008-05-06 23:14:25 +0000403
Fariborz Jahanian33de3f02008-05-07 17:43:59 +0000404 Out << (eol_needed ? "\n@end\n" : "@end\n");
Steve Naroff2bd42fa2007-09-10 20:51:04 +0000405 // FIXME: implement the rest...
406}
407
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000408void DeclPrinter::PrintObjCProtocolDecl(ObjCProtocolDecl *PID) {
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000409 Out << "@protocol " << PID->getNameAsString() << '\n';
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000410
Steve Naroff09c47192009-01-09 15:36:25 +0000411 for (ObjCProtocolDecl::prop_iterator I = PID->prop_begin(),
412 E = PID->prop_end(); I != E; ++I)
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000413 PrintObjCPropertyDecl(*I);
414 Out << "@end\n";
Fariborz Jahanianab0aeb02007-10-08 18:53:38 +0000415 // FIXME: implement the rest...
416}
417
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000418void DeclPrinter::PrintObjCCategoryImplDecl(ObjCCategoryImplDecl *PID) {
Ted Kremenekea75c552007-11-28 21:32:21 +0000419 Out << "@implementation "
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000420 << PID->getClassInterface()->getNameAsString()
421 << '(' << PID->getNameAsString() << ");\n";
Fariborz Jahanian628b96f2008-04-23 00:06:01 +0000422 for (ObjCCategoryImplDecl::propimpl_iterator I = PID->propimpl_begin(),
423 E = PID->propimpl_end(); I != E; ++I)
424 PrintObjCPropertyImplDecl(*I);
425 Out << "@end\n";
Fariborz Jahanianab0aeb02007-10-08 18:53:38 +0000426 // FIXME: implement the rest...
427}
428
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000429void DeclPrinter::PrintObjCCategoryDecl(ObjCCategoryDecl *PID) {
Ted Kremenekea75c552007-11-28 21:32:21 +0000430 Out << "@interface "
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000431 << PID->getClassInterface()->getNameAsString()
432 << '(' << PID->getNameAsString() << ");\n";
Fariborz Jahanian7e7e3872008-04-16 21:08:45 +0000433 // Output property declarations.
Steve Naroff09c47192009-01-09 15:36:25 +0000434 for (ObjCCategoryDecl::prop_iterator I = PID->prop_begin(),
435 E = PID->prop_end(); I != E; ++I)
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000436 PrintObjCPropertyDecl(*I);
Fariborz Jahanian7e7e3872008-04-16 21:08:45 +0000437 Out << "@end\n";
438
Fariborz Jahanianab0aeb02007-10-08 18:53:38 +0000439 // FIXME: implement the rest...
440}
441
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000442void DeclPrinter::PrintObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *AID) {
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000443 Out << "@compatibility_alias " << AID->getNameAsString()
444 << ' ' << AID->getClassInterface()->getNameAsString() << ";\n";
Fariborz Jahanian243b64b2007-10-11 23:42:27 +0000445}
446
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000447/// PrintObjCPropertyDecl - print a property declaration.
448///
449void DeclPrinter::PrintObjCPropertyDecl(ObjCPropertyDecl *PDecl) {
Fariborz Jahanian46b55e52008-05-05 18:51:55 +0000450 if (PDecl->getPropertyImplementation() == ObjCPropertyDecl::Required)
451 Out << "@required\n";
452 else if (PDecl->getPropertyImplementation() == ObjCPropertyDecl::Optional)
453 Out << "@optional\n";
454
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000455 Out << "@property";
456 if (PDecl->getPropertyAttributes() != ObjCPropertyDecl::OBJC_PR_noattr) {
457 bool first = true;
458 Out << " (";
459 if (PDecl->getPropertyAttributes() &
460 ObjCPropertyDecl::OBJC_PR_readonly) {
461 Out << (first ? ' ' : ',') << "readonly";
462 first = false;
463 }
464
465 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_getter) {
466 Out << (first ? ' ' : ',') << "getter = "
Chris Lattner077bf5e2008-11-24 03:33:13 +0000467 << PDecl->getGetterName().getAsString();
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000468 first = false;
469 }
470 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_setter) {
471 Out << (first ? ' ' : ',') << "setter = "
Chris Lattner077bf5e2008-11-24 03:33:13 +0000472 << PDecl->getSetterName().getAsString();
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000473 first = false;
474 }
475
476 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_assign) {
477 Out << (first ? ' ' : ',') << "assign";
478 first = false;
479 }
480
481 if (PDecl->getPropertyAttributes() &
482 ObjCPropertyDecl::OBJC_PR_readwrite) {
483 Out << (first ? ' ' : ',') << "readwrite";
484 first = false;
485 }
486
487 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_retain) {
488 Out << (first ? ' ' : ',') << "retain";
489 first = false;
490 }
491
492 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_copy) {
493 Out << (first ? ' ' : ',') << "copy";
494 first = false;
495 }
496
497 if (PDecl->getPropertyAttributes() &
498 ObjCPropertyDecl::OBJC_PR_nonatomic) {
499 Out << (first ? ' ' : ',') << "nonatomic";
500 first = false;
501 }
502 Out << " )";
503 }
504 Out << ' ' << PDecl->getType().getAsString()
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000505 << ' ' << PDecl->getNameAsString();
Fariborz Jahanian3dd4ba42008-04-17 18:25:18 +0000506
507 Out << ";\n";
508}
Fariborz Jahanian628b96f2008-04-23 00:06:01 +0000509
510/// PrintObjCPropertyImplDecl - Print an objective-c property implementation
511/// declaration syntax.
512///
513void DeclPrinter::PrintObjCPropertyImplDecl(ObjCPropertyImplDecl *PID) {
Daniel Dunbar9f0afd42008-08-26 04:47:31 +0000514 if (PID->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize)
Fariborz Jahanian628b96f2008-04-23 00:06:01 +0000515 Out << "\n@synthesize ";
516 else
517 Out << "\n@dynamic ";
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000518 Out << PID->getPropertyDecl()->getNameAsString();
Fariborz Jahanian628b96f2008-04-23 00:06:01 +0000519 if (PID->getPropertyIvarDecl())
Chris Lattnerd9d22dd2008-11-24 05:29:24 +0000520 Out << "=" << PID->getPropertyIvarDecl()->getNameAsString();
Fariborz Jahanian628b96f2008-04-23 00:06:01 +0000521 Out << ";\n";
522}
Douglas Gregoraaba5e32009-02-04 19:02:06 +0000523
524/// PrintTemplateParams - Print a template parameter list and recursively print
525/// it's underlying top-level definition.
526void DeclPrinter::PrintTemplateDecl(TemplateDecl *TD) {
527 // TODO: Write template parameters.
528 Out << "template <...> ";
529 PrintDecl(TD->getTemplatedDecl());
530}
531
532
533
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000534//===----------------------------------------------------------------------===//
535/// ASTPrinter - Pretty-printer of ASTs
536
Chris Lattner3d4997d2007-09-15 23:02:28 +0000537namespace {
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000538 class ASTPrinter : public ASTConsumer, public DeclPrinter {
539 public:
Ted Kremeneka95d3752008-09-13 05:16:45 +0000540 ASTPrinter(llvm::raw_ostream* o = NULL) : DeclPrinter(o) {}
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000541
Chris Lattner682bf922009-03-29 16:50:03 +0000542 virtual void HandleTopLevelDecl(DeclGroupRef D) {
543 for (DeclGroupRef::iterator I = D.begin(), E = D.end(); I != E; ++I)
544 PrintDecl(*I);
Reid Spencer5f016e22007-07-11 17:01:13 +0000545 }
Chris Lattner3d4997d2007-09-15 23:02:28 +0000546 };
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000547} // end anonymous namespace
Chris Lattner6000dac2007-08-08 22:51:59 +0000548
Ted Kremeneka95d3752008-09-13 05:16:45 +0000549ASTConsumer *clang::CreateASTPrinter(llvm::raw_ostream* out) {
Ted Kremenekea75c552007-11-28 21:32:21 +0000550 return new ASTPrinter(out);
551}
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000552
553//===----------------------------------------------------------------------===//
554/// ASTDumper - Low-level dumper of ASTs
Chris Lattner3d4997d2007-09-15 23:02:28 +0000555
556namespace {
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000557 class ASTDumper : public ASTConsumer, public DeclPrinter {
Chris Lattner3d4997d2007-09-15 23:02:28 +0000558 SourceManager *SM;
559 public:
Ted Kremenekea75c552007-11-28 21:32:21 +0000560 ASTDumper() : DeclPrinter() {}
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000561
Ted Kremenek95041a22007-12-19 22:51:13 +0000562 void Initialize(ASTContext &Context) {
Ted Kremenek7a9d49f2007-12-11 21:27:55 +0000563 SM = &Context.getSourceManager();
Chris Lattner6000dac2007-08-08 22:51:59 +0000564 }
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000565
Chris Lattner682bf922009-03-29 16:50:03 +0000566 virtual void HandleTopLevelDecl(DeclGroupRef D) {
567 for (DeclGroupRef::iterator I = D.begin(), E = D.end(); I != E; ++I)
568 HandleTopLevelSingleDecl(*I);
569 }
570 void HandleTopLevelSingleDecl(Decl *D);
Chris Lattner3d4997d2007-09-15 23:02:28 +0000571 };
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000572} // end anonymous namespace
573
Chris Lattner682bf922009-03-29 16:50:03 +0000574void ASTDumper::HandleTopLevelSingleDecl(Decl *D) {
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000575 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
576 PrintFunctionDeclStart(FD);
577
578 if (FD->getBody()) {
579 Out << '\n';
580 // FIXME: convert dumper to use std::ostream?
581 FD->getBody()->dumpAll(*SM);
582 Out << '\n';
583 }
584 } else if (TypedefDecl *TD = dyn_cast<TypedefDecl>(D)) {
585 PrintTypeDefDecl(TD);
586 } else if (ObjCInterfaceDecl *OID = dyn_cast<ObjCInterfaceDecl>(D)) {
587 Out << "Read objc interface '" << OID->getNameAsString() << "'\n";
588 } else if (ObjCProtocolDecl *OPD = dyn_cast<ObjCProtocolDecl>(D)) {
589 Out << "Read objc protocol '" << OPD->getNameAsString() << "'\n";
590 } else if (ObjCCategoryDecl *OCD = dyn_cast<ObjCCategoryDecl>(D)) {
591 Out << "Read objc category '" << OCD->getNameAsString() << "'\n";
592 } else if (isa<ObjCForwardProtocolDecl>(D)) {
593 Out << "Read objc fwd protocol decl\n";
594 } else if (isa<ObjCClassDecl>(D)) {
595 Out << "Read objc fwd class decl\n";
596 } else if (isa<FileScopeAsmDecl>(D)) {
597 Out << "Read file scope asm decl\n";
598 } else if (ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(D)) {
599 Out << "Read objc method decl: '" << MD->getSelector().getAsString()
600 << "'\n";
601 if (MD->getBody()) {
602 // FIXME: convert dumper to use std::ostream?
603 MD->getBody()->dumpAll(*SM);
604 Out << '\n';
605 }
606 } else if (isa<ObjCImplementationDecl>(D)) {
607 Out << "Read objc implementation decl\n";
608 } else if (isa<ObjCCategoryImplDecl>(D)) {
609 Out << "Read objc category implementation decl\n";
610 } else if (isa<LinkageSpecDecl>(D)) {
611 Out << "Read linkage spec decl\n";
612 } else if (NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
613 Out << "Read top-level variable decl: '" << ND->getNameAsString()
614 << "'\n";
615 } else {
616 assert(0 && "Unknown decl type!");
617 }
Chris Lattner6000dac2007-08-08 22:51:59 +0000618}
619
Chris Lattner3d4997d2007-09-15 23:02:28 +0000620ASTConsumer *clang::CreateASTDumper() { return new ASTDumper(); }
621
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +0000622//===----------------------------------------------------------------------===//
623/// ASTViewer - AST Visualization
624
Ted Kremenek80de08f2007-09-19 21:29:43 +0000625namespace {
626 class ASTViewer : public ASTConsumer {
627 SourceManager *SM;
628 public:
Ted Kremenek95041a22007-12-19 22:51:13 +0000629 void Initialize(ASTContext &Context) {
Ted Kremenek7a9d49f2007-12-11 21:27:55 +0000630 SM = &Context.getSourceManager();
Ted Kremenek80de08f2007-09-19 21:29:43 +0000631 }
Chris Lattner682bf922009-03-29 16:50:03 +0000632
633 virtual void HandleTopLevelDecl(DeclGroupRef D) {
634 for (DeclGroupRef::iterator I = D.begin(), E = D.end(); I != E; ++I)
635 HandleTopLevelSingleDecl(*I);
636 }
Ted Kremenek80de08f2007-09-19 21:29:43 +0000637
Chris Lattner682bf922009-03-29 16:50:03 +0000638 void HandleTopLevelSingleDecl(Decl *D);
Ted Kremenek80de08f2007-09-19 21:29:43 +0000639 };
640}
641
Chris Lattner682bf922009-03-29 16:50:03 +0000642void ASTViewer::HandleTopLevelSingleDecl(Decl *D) {
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000643 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
644 DeclPrinter().PrintFunctionDeclStart(FD);
645
646 if (FD->getBody()) {
647 llvm::cerr << '\n';
648 FD->getBody()->viewAST();
649 llvm::cerr << '\n';
650 }
651 return;
652 }
653
654 if (ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) {
655 DeclPrinter().PrintObjCMethodDecl(MD);
656
657 if (MD->getBody()) {
658 llvm::cerr << '\n';
659 MD->getBody()->viewAST();
660 llvm::cerr << '\n';
661 }
662 }
663}
664
665
Ted Kremenek80de08f2007-09-19 21:29:43 +0000666ASTConsumer *clang::CreateASTViewer() { return new ASTViewer(); }
667
Ted Kremenek74bf2c92007-09-07 23:47:56 +0000668//===----------------------------------------------------------------------===//
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000669/// DeclContextPrinter - Decl and DeclContext Visualization
670
671namespace {
672
673class DeclContextPrinter : public ASTConsumer {
674 llvm::raw_ostream& Out;
675public:
676 DeclContextPrinter() : Out(llvm::errs()) {}
677
Chris Lattnerdacbc5d2009-03-28 04:11:33 +0000678 void HandleTranslationUnit(ASTContext &C) {
679 PrintDeclContext(C.getTranslationUnitDecl(), 4);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000680 }
681
682 void PrintDeclContext(const DeclContext* DC, unsigned Indentation);
683};
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000684} // end anonymous namespace
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000685
686void DeclContextPrinter::PrintDeclContext(const DeclContext* DC,
687 unsigned Indentation) {
688 // Print DeclContext name.
Argyrios Kyrtzidis9b9ca012009-01-13 13:11:58 +0000689 switch (DC->getDeclKind()) {
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000690 case Decl::TranslationUnit:
691 Out << "[translation unit] " << DC;
692 break;
693 case Decl::Namespace: {
694 Out << "[namespace] ";
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000695 const NamespaceDecl* ND = cast<NamespaceDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000696 Out << ND->getNameAsString();
697 break;
698 }
Zhongxing Xu867c39e2009-01-13 02:41:08 +0000699 case Decl::Enum: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000700 const EnumDecl* ED = cast<EnumDecl>(DC);
Zhongxing Xu867c39e2009-01-13 02:41:08 +0000701 if (ED->isDefinition())
702 Out << "[enum] ";
703 else
704 Out << "<enum> ";
705 Out << ED->getNameAsString();
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000706 break;
Zhongxing Xu867c39e2009-01-13 02:41:08 +0000707 }
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000708 case Decl::Record: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000709 const RecordDecl* RD = cast<RecordDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000710 if (RD->isDefinition())
711 Out << "[struct] ";
712 else
713 Out << "<struct> ";
714 Out << RD->getNameAsString();
715 break;
716 }
717 case Decl::CXXRecord: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000718 const CXXRecordDecl* RD = cast<CXXRecordDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000719 if (RD->isDefinition())
720 Out << "[class] ";
721 else
722 Out << "<class> ";
723 Out << RD->getNameAsString() << " " << DC;
724 break;
725 }
726 case Decl::ObjCMethod:
727 Out << "[objc method]";
728 break;
729 case Decl::ObjCInterface:
730 Out << "[objc interface]";
731 break;
732 case Decl::ObjCCategory:
733 Out << "[objc category]";
734 break;
735 case Decl::ObjCProtocol:
736 Out << "[objc protocol]";
737 break;
738 case Decl::ObjCImplementation:
739 Out << "[objc implementation]";
740 break;
741 case Decl::ObjCCategoryImpl:
742 Out << "[objc categoryimpl]";
743 break;
744 case Decl::LinkageSpec:
745 Out << "[linkage spec]";
746 break;
747 case Decl::Block:
748 Out << "[block]";
749 break;
750 case Decl::Function: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000751 const FunctionDecl* FD = cast<FunctionDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000752 if (FD->isThisDeclarationADefinition())
753 Out << "[function] ";
754 else
755 Out << "<function> ";
756 Out << FD->getNameAsString();
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000757 // Print the parameters.
758 Out << "(";
759 bool PrintComma = false;
760 for (FunctionDecl::param_const_iterator I = FD->param_begin(),
761 E = FD->param_end(); I != E; ++I) {
762 if (PrintComma)
763 Out << ", ";
764 else
765 PrintComma = true;
766 Out << (*I)->getNameAsString();
767 }
768 Out << ")";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000769 break;
770 }
771 case Decl::CXXMethod: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000772 const CXXMethodDecl* D = cast<CXXMethodDecl>(DC);
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000773 if (D->isOutOfLineDefinition())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000774 Out << "[c++ method] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000775 else if (D->isImplicit())
776 Out << "(c++ method) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000777 else
778 Out << "<c++ method> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000779 Out << D->getNameAsString();
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000780 // Print the parameters.
781 Out << "(";
782 bool PrintComma = false;
783 for (FunctionDecl::param_const_iterator I = D->param_begin(),
784 E = D->param_end(); I != E; ++I) {
785 if (PrintComma)
786 Out << ", ";
787 else
788 PrintComma = true;
789 Out << (*I)->getNameAsString();
790 }
791 Out << ")";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000792
793 // Check the semantic DeclContext.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000794 const DeclContext* SemaDC = D->getDeclContext();
795 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000796 if (SemaDC != LexicalDC)
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000797 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000798
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000799 break;
800 }
801 case Decl::CXXConstructor: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000802 const CXXConstructorDecl* D = cast<CXXConstructorDecl>(DC);
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000803 if (D->isOutOfLineDefinition())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000804 Out << "[c++ ctor] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000805 else if (D->isImplicit())
806 Out << "(c++ ctor) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000807 else
808 Out << "<c++ ctor> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000809 Out << D->getNameAsString();
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000810 // Print the parameters.
811 Out << "(";
812 bool PrintComma = false;
813 for (FunctionDecl::param_const_iterator I = D->param_begin(),
814 E = D->param_end(); I != E; ++I) {
815 if (PrintComma)
816 Out << ", ";
817 else
818 PrintComma = true;
819 Out << (*I)->getNameAsString();
820 }
821 Out << ")";
822
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000823 // Check the semantic DC.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000824 const DeclContext* SemaDC = D->getDeclContext();
825 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000826 if (SemaDC != LexicalDC)
827 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000828 break;
829 }
830 case Decl::CXXDestructor: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000831 const CXXDestructorDecl* D = cast<CXXDestructorDecl>(DC);
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000832 if (D->isOutOfLineDefinition())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000833 Out << "[c++ dtor] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000834 else if (D->isImplicit())
835 Out << "(c++ dtor) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000836 else
837 Out << "<c++ dtor> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000838 Out << D->getNameAsString();
839 // Check the semantic DC.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000840 const DeclContext* SemaDC = D->getDeclContext();
841 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000842 if (SemaDC != LexicalDC)
843 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000844 break;
845 }
846 case Decl::CXXConversion: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000847 const CXXConversionDecl* D = cast<CXXConversionDecl>(DC);
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000848 if (D->isOutOfLineDefinition())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000849 Out << "[c++ conversion] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000850 else if (D->isImplicit())
851 Out << "(c++ conversion) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000852 else
853 Out << "<c++ conversion> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000854 Out << D->getNameAsString();
855 // Check the semantic DC.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000856 const DeclContext* SemaDC = D->getDeclContext();
857 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000858 if (SemaDC != LexicalDC)
859 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000860 break;
861 }
862
863 default:
864 assert(0 && "a decl that inherits DeclContext isn't handled");
865 }
866
867 Out << "\n";
868
869 // Print decls in the DeclContext.
870 for (DeclContext::decl_iterator I = DC->decls_begin(), E = DC->decls_end();
871 I != E; ++I) {
872 for (unsigned i = 0; i < Indentation; ++i)
Mike Stump071e4da2009-02-10 20:16:46 +0000873 Out << " ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000874
875 Decl::Kind DK = I->getKind();
876 switch (DK) {
877 case Decl::Namespace:
878 case Decl::Enum:
879 case Decl::Record:
880 case Decl::CXXRecord:
881 case Decl::ObjCMethod:
882 case Decl::ObjCInterface:
883 case Decl::ObjCCategory:
884 case Decl::ObjCProtocol:
885 case Decl::ObjCImplementation:
886 case Decl::ObjCCategoryImpl:
887 case Decl::LinkageSpec:
888 case Decl::Block:
889 case Decl::Function:
890 case Decl::CXXMethod:
891 case Decl::CXXConstructor:
892 case Decl::CXXDestructor:
893 case Decl::CXXConversion:
894 {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000895 DeclContext* DC = cast<DeclContext>(*I);
Mike Stump071e4da2009-02-10 20:16:46 +0000896 PrintDeclContext(DC, Indentation+2);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000897 break;
898 }
899 case Decl::Field: {
900 FieldDecl* FD = cast<FieldDecl>(*I);
901 Out << "<field> " << FD->getNameAsString() << "\n";
902 break;
903 }
904 case Decl::Typedef: {
905 TypedefDecl* TD = cast<TypedefDecl>(*I);
906 Out << "<typedef> " << TD->getNameAsString() << "\n";
907 break;
908 }
909 case Decl::EnumConstant: {
910 EnumConstantDecl* ECD = cast<EnumConstantDecl>(*I);
911 Out << "<enum constant> " << ECD->getNameAsString() << "\n";
912 break;
913 }
914 case Decl::Var: {
915 VarDecl* VD = cast<VarDecl>(*I);
916 Out << "<var> " << VD->getNameAsString() << "\n";
917 break;
918 }
919 case Decl::ImplicitParam: {
920 ImplicitParamDecl* IPD = cast<ImplicitParamDecl>(*I);
921 Out << "<implicit parameter> " << IPD->getNameAsString() << "\n";
922 break;
923 }
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000924 case Decl::ParmVar: {
925 ParmVarDecl* PVD = cast<ParmVarDecl>(*I);
926 Out << "<parameter> " << PVD->getNameAsString() << "\n";
927 break;
928 }
Zhongxing Xuba16be92009-04-05 02:04:38 +0000929 case Decl::OriginalParmVar: {
930 OriginalParmVarDecl* OPVD = cast<OriginalParmVarDecl>(*I);
931 Out << "<original parameter> " << OPVD->getNameAsString() << "\n";
932 break;
933 }
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000934 case Decl::ObjCProperty: {
935 ObjCPropertyDecl* OPD = cast<ObjCPropertyDecl>(*I);
936 Out << "<objc property> " << OPD->getNameAsString() << "\n";
937 break;
938 }
939 default:
Zhongxing Xuba16be92009-04-05 02:04:38 +0000940 fprintf(stderr, "DeclKind: %d \"%s\"\n", DK, I->getDeclKindName());
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000941 assert(0 && "decl unhandled");
942 }
943 }
944}
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000945ASTConsumer *clang::CreateDeclContextPrinter() {
946 return new DeclContextPrinter();
947}
948
949//===----------------------------------------------------------------------===//
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000950/// InheritanceViewer - C++ Inheritance Visualization
951
952namespace {
953class InheritanceViewer : public ASTConsumer {
954 const std::string clsname;
955public:
956 InheritanceViewer(const std::string& cname) : clsname(cname) {}
957
Chris Lattnerdacbc5d2009-03-28 04:11:33 +0000958 void HandleTranslationUnit(ASTContext &C) {
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000959 for (ASTContext::type_iterator I=C.types_begin(),E=C.types_end(); I!=E; ++I)
Douglas Gregorc1efaec2009-02-28 01:32:25 +0000960 if (RecordType *T = dyn_cast<RecordType>(*I)) {
961 if (CXXRecordDecl *D = dyn_cast<CXXRecordDecl>(T->getDecl())) {
962 // FIXME: This lookup needs to be generalized to handle namespaces and
963 // (when we support them) templates.
964 if (D->getNameAsString() == clsname) {
965 D->viewInheritance(C);
966 }
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000967 }
968 }
969 }
970};
971}
972
973ASTConsumer *clang::CreateInheritanceViewer(const std::string& clsname) {
974 return new InheritanceViewer(clsname);
975}
976
977//===----------------------------------------------------------------------===//
Ted Kremeneka1fa3a12007-12-13 00:37:31 +0000978// AST Serializer
979
980namespace {
Ted Kremenekf06c9282007-12-19 23:49:37 +0000981
982class ASTSerializer : public ASTConsumer {
983protected:
Nico Weberdae86962008-08-09 18:32:11 +0000984 Diagnostic& Diags;
Ted Kremenekc1e9dea2008-04-23 16:25:39 +0000985
Ted Kremenekf06c9282007-12-19 23:49:37 +0000986public:
Nico Weberbe1eb5c2008-08-10 19:20:05 +0000987 ASTSerializer(Diagnostic& diags) : Diags(diags) {}
Ted Kremenekf06c9282007-12-19 23:49:37 +0000988};
Eli Friedmand8a65c12008-06-09 20:02:51 +0000989
Ted Kremenekf06c9282007-12-19 23:49:37 +0000990class SingleFileSerializer : public ASTSerializer {
991 const llvm::sys::Path FName;
992public:
Nico Weberdae86962008-08-09 18:32:11 +0000993 SingleFileSerializer(const llvm::sys::Path& F, Diagnostic& diags)
994 : ASTSerializer(diags), FName(F) {}
Ted Kremenekf06c9282007-12-19 23:49:37 +0000995
Chris Lattnerdacbc5d2009-03-28 04:11:33 +0000996 virtual void HandleTranslationUnit(ASTContext &Ctx) {
Nico Weberdae86962008-08-09 18:32:11 +0000997 if (Diags.hasErrorOccurred())
998 return;
Chris Lattner80a03332009-03-28 03:53:02 +0000999
1000 // Reserve 256K for bitstream buffer.
1001 std::vector<unsigned char> Buffer;
1002 Buffer.reserve(256*1024);
1003
Chris Lattner557c5b12009-03-28 04:27:18 +00001004 Ctx.EmitASTBitcodeBuffer(Buffer);
Chris Lattner80a03332009-03-28 03:53:02 +00001005
1006 // Write the bits to disk.
1007 if (FILE* fp = fopen(FName.c_str(),"wb")) {
1008 fwrite((char*)&Buffer.front(), sizeof(char), Buffer.size(), fp);
1009 fclose(fp);
1010 }
Ted Kremenekf06c9282007-12-19 23:49:37 +00001011 }
1012};
1013
1014class BuildSerializer : public ASTSerializer {
1015 llvm::sys::Path EmitDir;
1016public:
Nico Weberdae86962008-08-09 18:32:11 +00001017 BuildSerializer(const llvm::sys::Path& dir, Diagnostic& diags)
1018 : ASTSerializer(diags), EmitDir(dir) {}
Ted Kremenekf06c9282007-12-19 23:49:37 +00001019
Chris Lattnerb23ff6b2009-03-28 05:44:17 +00001020 virtual void HandleTranslationUnit(ASTContext &Ctx);
Ted Kremenekf06c9282007-12-19 23:49:37 +00001021};
Ted Kremeneka1fa3a12007-12-13 00:37:31 +00001022} // end anonymous namespace
1023
1024
Chris Lattnerb23ff6b2009-03-28 05:44:17 +00001025void BuildSerializer::HandleTranslationUnit(ASTContext &Ctx) {
1026 if (Diags.hasErrorOccurred())
1027 return;
1028
1029 SourceManager& SourceMgr = Ctx.getSourceManager();
1030 FileID ID = SourceMgr.getMainFileID();
1031 assert(!ID.isInvalid() && "MainFileID not set!");
1032 const FileEntry* FE = SourceMgr.getFileEntryForID(ID);
1033 assert(FE && "No FileEntry for main file.");
1034
1035 // FIXME: This is not portable to Windows.
1036 // FIXME: This logic should probably be moved elsewhere later.
1037
1038 llvm::sys::Path FName(EmitDir);
1039
1040 std::vector<char> buf;
1041 buf.reserve(strlen(FE->getName())+100);
1042
1043 sprintf(&buf[0], "dev_%llx", (unsigned long long) FE->getDevice());
1044 FName.appendComponent(&buf[0]);
1045 FName.createDirectoryOnDisk(true);
1046 if (!FName.canWrite() || !FName.isDirectory()) {
1047 assert (false && "Could not create 'device' serialization directory.");
1048 return;
1049 }
1050
1051 sprintf(&buf[0], "%s-%llX.ast", FE->getName(),
1052 (unsigned long long) FE->getInode());
1053 FName.appendComponent(&buf[0]);
1054
1055
1056 // Reserve 256K for bitstream buffer.
1057 std::vector<unsigned char> Buffer;
1058 Buffer.reserve(256*1024);
1059
1060 Ctx.EmitASTBitcodeBuffer(Buffer);
1061
1062 // Write the bits to disk.
1063 if (FILE* fp = fopen(FName.c_str(),"wb")) {
1064 fwrite((char*)&Buffer.front(), sizeof(char), Buffer.size(), fp);
1065 fclose(fp);
1066 }
1067
1068 // Now emit the sources.
1069
1070}
1071
1072
Ted Kremenekfdfc1982007-12-19 22:24:34 +00001073ASTConsumer* clang::CreateASTSerializer(const std::string& InFile,
Ted Kremenekf06c9282007-12-19 23:49:37 +00001074 const std::string& OutputFile,
Ted Kremeneke7d07d12008-06-04 15:55:15 +00001075 Diagnostic &Diags) {
Ted Kremenek3910c7c2007-12-19 17:25:59 +00001076
Ted Kremenekf06c9282007-12-19 23:49:37 +00001077 if (OutputFile.size()) {
Ted Kremenek54117722007-12-20 00:34:58 +00001078 if (InFile == "-") {
1079 llvm::cerr <<
1080 "error: Cannot use --serialize with -o for source read from STDIN.\n";
1081 return NULL;
1082 }
1083
Ted Kremenekf06c9282007-12-19 23:49:37 +00001084 // The user specified an AST-emission directory. Determine if the path
1085 // is absolute.
1086 llvm::sys::Path EmitDir(OutputFile);
1087
1088 if (!EmitDir.isAbsolute()) {
1089 llvm::cerr <<
1090 "error: Output directory for --serialize must be an absolute path.\n";
1091
1092 return NULL;
1093 }
1094
1095 // Create the directory if it does not exist.
1096 EmitDir.createDirectoryOnDisk(true);
1097 if (!EmitDir.canWrite() || !EmitDir.isDirectory()) {
1098 llvm::cerr <<
1099 "error: Could not create output directory for --serialize.\n";
1100
1101 return NULL;
1102 }
1103
Ted Kremenek54117722007-12-20 00:34:58 +00001104 // FIXME: We should probably only allow using BuildSerializer when
1105 // the ASTs come from parsed source files, and not from .ast files.
Nico Weberdae86962008-08-09 18:32:11 +00001106 return new BuildSerializer(EmitDir, Diags);
Ted Kremenekf06c9282007-12-19 23:49:37 +00001107 }
1108
1109 // The user did not specify an output directory for serialized ASTs.
1110 // Serialize the translation to a single file whose name is the same
1111 // as the input file with the ".ast" extension appended.
Ted Kremenek63ea8632007-12-19 19:27:38 +00001112
Ted Kremenekf06c9282007-12-19 23:49:37 +00001113 llvm::sys::Path FName(InFile.c_str());
Ted Kremenek54117722007-12-20 00:34:58 +00001114 FName.appendSuffix("ast");
Nico Weberdae86962008-08-09 18:32:11 +00001115 return new SingleFileSerializer(FName, Diags);
Ted Kremeneka1fa3a12007-12-13 00:37:31 +00001116}