blob: dbed6a2c303a561fa6c05dc557508d0f2e61d4d3 [file] [log] [blame]
Chris Lattnereb8c9632007-10-07 06:04:32 +00001//===--- ASTConsumers.cpp - ASTConsumer implementations -------------------===//
Chris Lattner4b009652007-07-25 00:24:17 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner4b009652007-07-25 00:24:17 +00007//
8//===----------------------------------------------------------------------===//
9//
Chris Lattnereb8c9632007-10-07 06:04:32 +000010// AST Consumer Implementations.
Chris Lattner4b009652007-07-25 00:24:17 +000011//
12//===----------------------------------------------------------------------===//
13
Chris Lattnereb8c9632007-10-07 06:04:32 +000014#include "ASTConsumers.h"
Zhongxing Xue7079442008-08-24 02:33:36 +000015#include "clang/Driver/HTMLDiagnostics.h"
Ted Kremenekac881932007-12-18 21:34:28 +000016#include "clang/AST/TranslationUnit.h"
Nico Weber034bd872008-08-09 18:32:11 +000017#include "clang/Basic/Diagnostic.h"
Ted Kremenekfc17b8a2007-12-20 00:34:58 +000018#include "clang/Basic/SourceManager.h"
19#include "clang/Basic/FileManager.h"
Chris Lattner4b009652007-07-25 00:24:17 +000020#include "clang/AST/AST.h"
Chris Lattnerb73abd52007-09-15 23:02:28 +000021#include "clang/AST/ASTConsumer.h"
Ted Kremenek7c65b6c2008-08-05 18:50:11 +000022#include "clang/CodeGen/ModuleBuilder.h"
23#include "llvm/Module.h"
Ted Kremenek0118bb52008-02-18 21:21:23 +000024#include "llvm/Support/Timer.h"
Ted Kremenek7b6f67b2008-09-13 05:16:45 +000025#include "llvm/Support/raw_ostream.h"
Ted Kremenekdd0126b2008-03-31 18:26:32 +000026
Chris Lattner95578782007-08-08 22:51:59 +000027using namespace clang;
Chris Lattner4b009652007-07-25 00:24:17 +000028
Ted Kremeneke09391a2007-11-27 21:46:50 +000029//===----------------------------------------------------------------------===//
30/// DeclPrinter - Utility class for printing top-level decls.
Chris Lattner95578782007-08-08 22:51:59 +000031
Ted Kremeneke09391a2007-11-27 21:46:50 +000032namespace {
33 class DeclPrinter {
34 public:
Ted Kremenek7b6f67b2008-09-13 05:16:45 +000035 llvm::raw_ostream& Out;
Ted Kremeneke09391a2007-11-27 21:46:50 +000036
Ted Kremenek7b6f67b2008-09-13 05:16:45 +000037 DeclPrinter(llvm::raw_ostream* out) : Out(out ? *out : llvm::errs()) {}
38 DeclPrinter() : Out(llvm::errs()) {}
39 virtual ~DeclPrinter();
Ted Kremeneke09391a2007-11-27 21:46:50 +000040
Chris Lattner1c1aabb2008-01-02 21:04:16 +000041 void PrintDecl(Decl *D);
Ted Kremeneke09391a2007-11-27 21:46:50 +000042 void PrintFunctionDeclStart(FunctionDecl *FD);
43 void PrintTypeDefDecl(TypedefDecl *TD);
Chris Lattner806a5f52008-01-12 07:05:38 +000044 void PrintLinkageSpec(LinkageSpecDecl *LS);
Ted Kremenek42730c52008-01-07 19:49:32 +000045 void PrintObjCMethodDecl(ObjCMethodDecl *OMD);
46 void PrintObjCImplementationDecl(ObjCImplementationDecl *OID);
47 void PrintObjCInterfaceDecl(ObjCInterfaceDecl *OID);
48 void PrintObjCProtocolDecl(ObjCProtocolDecl *PID);
49 void PrintObjCCategoryImplDecl(ObjCCategoryImplDecl *PID);
50 void PrintObjCCategoryDecl(ObjCCategoryDecl *PID);
51 void PrintObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *AID);
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +000052 void PrintObjCPropertyDecl(ObjCPropertyDecl *PD);
Fariborz Jahaniandc0569e2008-04-23 00:06:01 +000053 void PrintObjCPropertyImplDecl(ObjCPropertyImplDecl *PID);
Ted Kremeneke09391a2007-11-27 21:46:50 +000054 };
55} // end anonymous namespace
56
Ted Kremenek7b6f67b2008-09-13 05:16:45 +000057DeclPrinter::~DeclPrinter() {
58 Out.flush();
59}
60
Chris Lattner1c1aabb2008-01-02 21:04:16 +000061void DeclPrinter:: PrintDecl(Decl *D) {
62 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
63 PrintFunctionDeclStart(FD);
64
65 if (FD->getBody()) {
66 Out << ' ';
67 FD->getBody()->printPretty(Out);
68 Out << '\n';
69 }
Ted Kremenek42730c52008-01-07 19:49:32 +000070 } else if (isa<ObjCMethodDecl>(D)) {
Chris Lattner1c1aabb2008-01-02 21:04:16 +000071 // Do nothing, methods definitions are printed in
Ted Kremenek42730c52008-01-07 19:49:32 +000072 // PrintObjCImplementationDecl.
Chris Lattner1c1aabb2008-01-02 21:04:16 +000073 } else if (TypedefDecl *TD = dyn_cast<TypedefDecl>(D)) {
74 PrintTypeDefDecl(TD);
Ted Kremenek42730c52008-01-07 19:49:32 +000075 } else if (ObjCInterfaceDecl *OID = dyn_cast<ObjCInterfaceDecl>(D)) {
76 PrintObjCInterfaceDecl(OID);
77 } else if (ObjCProtocolDecl *PID = dyn_cast<ObjCProtocolDecl>(D)) {
78 PrintObjCProtocolDecl(PID);
79 } else if (ObjCForwardProtocolDecl *OFPD =
Chris Lattner43b885f2008-02-25 21:04:36 +000080 dyn_cast<ObjCForwardProtocolDecl>(D)) {
Chris Lattner1c1aabb2008-01-02 21:04:16 +000081 Out << "@protocol ";
82 for (unsigned i = 0, e = OFPD->getNumForwardDecls(); i != e; ++i) {
Ted Kremenek42730c52008-01-07 19:49:32 +000083 const ObjCProtocolDecl *D = OFPD->getForwardProtocolDecl(i);
Chris Lattner1c1aabb2008-01-02 21:04:16 +000084 if (i) Out << ", ";
85 Out << D->getName();
86 }
87 Out << ";\n";
Ted Kremenek42730c52008-01-07 19:49:32 +000088 } else if (ObjCImplementationDecl *OID =
Chris Lattner43b885f2008-02-25 21:04:36 +000089 dyn_cast<ObjCImplementationDecl>(D)) {
Ted Kremenek42730c52008-01-07 19:49:32 +000090 PrintObjCImplementationDecl(OID);
91 } else if (ObjCCategoryImplDecl *OID =
Chris Lattner43b885f2008-02-25 21:04:36 +000092 dyn_cast<ObjCCategoryImplDecl>(D)) {
Ted Kremenek42730c52008-01-07 19:49:32 +000093 PrintObjCCategoryImplDecl(OID);
94 } else if (ObjCCategoryDecl *OID =
Chris Lattner43b885f2008-02-25 21:04:36 +000095 dyn_cast<ObjCCategoryDecl>(D)) {
Ted Kremenek42730c52008-01-07 19:49:32 +000096 PrintObjCCategoryDecl(OID);
97 } else if (ObjCCompatibleAliasDecl *OID =
Chris Lattner43b885f2008-02-25 21:04:36 +000098 dyn_cast<ObjCCompatibleAliasDecl>(D)) {
Ted Kremenek42730c52008-01-07 19:49:32 +000099 PrintObjCCompatibleAliasDecl(OID);
Chris Lattnere1349142008-06-21 21:40:20 +0000100 } else if (ObjCClassDecl *OFCD = dyn_cast<ObjCClassDecl>(D)) {
101 Out << "@class ";
102 ObjCInterfaceDecl **ForwardDecls = OFCD->getForwardDecls();
103 for (unsigned i = 0, e = OFCD->getNumForwardDecls(); i != e; ++i) {
104 const ObjCInterfaceDecl *D = ForwardDecls[i];
105 if (i) Out << ", ";
106 Out << D->getName();
107 }
108 Out << ";\n";
Chris Lattner1c1aabb2008-01-02 21:04:16 +0000109 } else if (TagDecl *TD = dyn_cast<TagDecl>(D)) {
110 Out << "Read top-level tag decl: '" << TD->getName() << "'\n";
111 } else if (ScopedDecl *SD = dyn_cast<ScopedDecl>(D)) {
112 Out << "Read top-level variable decl: '" << SD->getName() << "'\n";
Chris Lattner806a5f52008-01-12 07:05:38 +0000113 } else if (LinkageSpecDecl *LSD = dyn_cast<LinkageSpecDecl>(D)) {
114 PrintLinkageSpec(LSD);
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000115 } else if (FileScopeAsmDecl *AD = dyn_cast<FileScopeAsmDecl>(D)) {
116 Out << "asm(";
117 AD->getAsmString()->printPretty(Out);
118 Out << ")\n";
Chris Lattner1c1aabb2008-01-02 21:04:16 +0000119 } else {
120 assert(0 && "Unknown decl type!");
121 }
122}
123
Ted Kremeneke09391a2007-11-27 21:46:50 +0000124void DeclPrinter::PrintFunctionDeclStart(FunctionDecl *FD) {
Chris Lattner4b009652007-07-25 00:24:17 +0000125 bool HasBody = FD->getBody();
126
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000127 Out << '\n';
Chris Lattner987058a2007-08-26 04:02:13 +0000128
129 switch (FD->getStorageClass()) {
130 default: assert(0 && "Unknown storage class");
131 case FunctionDecl::None: break;
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000132 case FunctionDecl::Extern: Out << "extern "; break;
133 case FunctionDecl::Static: Out << "static "; break;
Ted Kremenekc6d26e02008-04-15 03:57:09 +0000134 case FunctionDecl::PrivateExtern: Out << "__private_extern__ "; break;
Chris Lattner987058a2007-08-26 04:02:13 +0000135 }
136
137 if (FD->isInline())
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000138 Out << "inline ";
Chris Lattner987058a2007-08-26 04:02:13 +0000139
Chris Lattner4b009652007-07-25 00:24:17 +0000140 std::string Proto = FD->getName();
Chris Lattner934fff62007-12-03 21:43:25 +0000141 const FunctionType *AFT = FD->getType()->getAsFunctionType();
Chris Lattner4b009652007-07-25 00:24:17 +0000142
Chris Lattner934fff62007-12-03 21:43:25 +0000143 if (const FunctionTypeProto *FT = dyn_cast<FunctionTypeProto>(AFT)) {
Chris Lattner4b009652007-07-25 00:24:17 +0000144 Proto += "(";
145 for (unsigned i = 0, e = FD->getNumParams(); i != e; ++i) {
146 if (i) Proto += ", ";
147 std::string ParamStr;
148 if (HasBody) ParamStr = FD->getParamDecl(i)->getName();
149
150 FT->getArgType(i).getAsStringInternal(ParamStr);
151 Proto += ParamStr;
152 }
153
154 if (FT->isVariadic()) {
155 if (FD->getNumParams()) Proto += ", ";
156 Proto += "...";
157 }
158 Proto += ")";
159 } else {
160 assert(isa<FunctionTypeNoProto>(AFT));
161 Proto += "()";
162 }
163
164 AFT->getResultType().getAsStringInternal(Proto);
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000165 Out << Proto;
Chris Lattner4b009652007-07-25 00:24:17 +0000166
Chris Lattner95578782007-08-08 22:51:59 +0000167 if (!FD->getBody())
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000168 Out << ";\n";
Chris Lattner95578782007-08-08 22:51:59 +0000169 // Doesn't print the body.
Chris Lattner4b009652007-07-25 00:24:17 +0000170}
171
Ted Kremeneke09391a2007-11-27 21:46:50 +0000172void DeclPrinter::PrintTypeDefDecl(TypedefDecl *TD) {
Chris Lattner4b009652007-07-25 00:24:17 +0000173 std::string S = TD->getName();
174 TD->getUnderlyingType().getAsStringInternal(S);
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000175 Out << "typedef " << S << ";\n";
Chris Lattner4b009652007-07-25 00:24:17 +0000176}
177
Chris Lattner806a5f52008-01-12 07:05:38 +0000178void DeclPrinter::PrintLinkageSpec(LinkageSpecDecl *LS) {
179 const char *l;
180 if (LS->getLanguage() == LinkageSpecDecl::lang_c)
181 l = "C";
Chris Lattner690c2872008-04-08 05:52:18 +0000182 else {
183 assert(LS->getLanguage() == LinkageSpecDecl::lang_cxx &&
184 "unknown language in linkage specification");
Chris Lattner806a5f52008-01-12 07:05:38 +0000185 l = "C++";
Chris Lattner690c2872008-04-08 05:52:18 +0000186 }
Chris Lattner806a5f52008-01-12 07:05:38 +0000187 Out << "extern \"" << l << "\" { ";
188 PrintDecl(LS->getDecl());
189 Out << "}\n";
190}
191
Ted Kremenek42730c52008-01-07 19:49:32 +0000192void DeclPrinter::PrintObjCMethodDecl(ObjCMethodDecl *OMD) {
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000193 if (OMD->isInstance())
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000194 Out << "\n- ";
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000195 else
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000196 Out << "\n+ ";
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000197 if (!OMD->getResultType().isNull())
Chris Lattner9dd07652008-08-22 06:59:15 +0000198 Out << '(' << OMD->getResultType().getAsString() << ")";
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000199
Chris Lattner9dd07652008-08-22 06:59:15 +0000200 std::string name = OMD->getSelector().getName();
201 std::string::size_type pos, lastPos = 0;
Chris Lattner685d7922008-03-16 01:07:14 +0000202 for (unsigned i = 0, e = OMD->getNumParams(); i != e; ++i) {
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000203 ParmVarDecl *PDecl = OMD->getParamDecl(i);
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000204 // FIXME: selector is missing here!
Chris Lattner9dd07652008-08-22 06:59:15 +0000205 pos = name.find_first_of(":", lastPos);
206 Out << " " << name.substr(lastPos, pos - lastPos);
207 Out << ":(" << PDecl->getType().getAsString() << ")" << PDecl->getName();
208 lastPos = pos + 1;
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000209 }
Chris Lattner9dd07652008-08-22 06:59:15 +0000210
211 if (OMD->getNumParams() == 0)
212 Out << " " << name;
213
214 if (OMD->isVariadic())
215 Out << ", ...";
216
217 Out << ";";
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000218}
219
Ted Kremenek42730c52008-01-07 19:49:32 +0000220void DeclPrinter::PrintObjCImplementationDecl(ObjCImplementationDecl *OID) {
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000221 std::string I = OID->getName();
Ted Kremenek42730c52008-01-07 19:49:32 +0000222 ObjCInterfaceDecl *SID = OID->getSuperClass();
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000223
224 if (SID)
225 Out << "@implementation " << I << " : " << SID->getName();
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000226 else
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000227 Out << "@implementation " << I;
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000228
Ted Kremenek42730c52008-01-07 19:49:32 +0000229 for (ObjCImplementationDecl::instmeth_iterator I = OID->instmeth_begin(),
Chris Lattnerdea5bec2007-12-12 07:46:12 +0000230 E = OID->instmeth_end(); I != E; ++I) {
Ted Kremenek42730c52008-01-07 19:49:32 +0000231 ObjCMethodDecl *OMD = *I;
232 PrintObjCMethodDecl(OMD);
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000233 if (OMD->getBody()) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000234 Out << ' ';
235 OMD->getBody()->printPretty(Out);
236 Out << '\n';
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000237 }
238 }
239
Ted Kremenek42730c52008-01-07 19:49:32 +0000240 for (ObjCImplementationDecl::classmeth_iterator I = OID->classmeth_begin(),
Chris Lattnerdea5bec2007-12-12 07:46:12 +0000241 E = OID->classmeth_end(); I != E; ++I) {
Ted Kremenek42730c52008-01-07 19:49:32 +0000242 ObjCMethodDecl *OMD = *I;
243 PrintObjCMethodDecl(OMD);
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000244 if (OMD->getBody()) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000245 Out << ' ';
246 OMD->getBody()->printPretty(Out);
247 Out << '\n';
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000248 }
249 }
250
Fariborz Jahaniandc0569e2008-04-23 00:06:01 +0000251 for (ObjCImplementationDecl::propimpl_iterator I = OID->propimpl_begin(),
252 E = OID->propimpl_end(); I != E; ++I)
253 PrintObjCPropertyImplDecl(*I);
254
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000255 Out << "@end\n";
Fariborz Jahanian83ddf822007-11-10 20:59:13 +0000256}
257
258
Ted Kremenek42730c52008-01-07 19:49:32 +0000259void DeclPrinter::PrintObjCInterfaceDecl(ObjCInterfaceDecl *OID) {
Fariborz Jahanianc04aff12007-10-08 23:06:41 +0000260 std::string I = OID->getName();
Ted Kremenek42730c52008-01-07 19:49:32 +0000261 ObjCInterfaceDecl *SID = OID->getSuperClass();
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000262
263 if (SID)
264 Out << "@interface " << I << " : " << SID->getName();
Fariborz Jahanianc04aff12007-10-08 23:06:41 +0000265 else
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000266 Out << "@interface " << I;
267
Fariborz Jahanianc04aff12007-10-08 23:06:41 +0000268 // Protocols?
Chris Lattner8bcb5252008-07-21 18:19:38 +0000269 const ObjCList<ObjCProtocolDecl> &Protocols = OID->getReferencedProtocols();
270 if (!Protocols.empty()) {
271 for (ObjCList<ObjCProtocolDecl>::iterator I = Protocols.begin(),
272 E = Protocols.end(); I != E; ++I)
273 Out << (I == Protocols.begin() ? '<' : ',') << (*I)->getName();
Fariborz Jahanianc04aff12007-10-08 23:06:41 +0000274 }
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000275
Chris Lattner8bcb5252008-07-21 18:19:38 +0000276 if (!Protocols.empty())
277 Out << ">";
278 Out << '\n';
Fariborz Jahanianf468b312007-10-26 16:29:12 +0000279
Chris Lattnerec4979b2008-03-16 21:08:55 +0000280 if (OID->ivar_size() > 0) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000281 Out << '{';
Ted Kremenek42730c52008-01-07 19:49:32 +0000282 for (ObjCInterfaceDecl::ivar_iterator I = OID->ivar_begin(),
Chris Lattnerc7b06752007-12-12 07:56:42 +0000283 E = OID->ivar_end(); I != E; ++I) {
284 Out << '\t' << (*I)->getType().getAsString()
285 << ' ' << (*I)->getName() << ";\n";
Fariborz Jahanianf468b312007-10-26 16:29:12 +0000286 }
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000287 Out << "}\n";
Fariborz Jahanianf468b312007-10-26 16:29:12 +0000288 }
Fariborz Jahaniand8df6d82007-11-06 22:01:00 +0000289
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +0000290 for (ObjCInterfaceDecl::classprop_iterator I = OID->classprop_begin(),
291 E = OID->classprop_end(); I != E; ++I)
292 PrintObjCPropertyDecl(*I);
Fariborz Jahaniane4534e72008-05-07 17:43:59 +0000293 bool eol_needed = false;
Fariborz Jahaniandeeae052008-05-06 23:14:25 +0000294 for (ObjCInterfaceDecl::classmeth_iterator I = OID->classmeth_begin(),
295 E = OID->classmeth_end(); I != E; ++I)
Fariborz Jahaniane4534e72008-05-07 17:43:59 +0000296 eol_needed = true, PrintObjCMethodDecl(*I);
Fariborz Jahaniandeeae052008-05-06 23:14:25 +0000297
298 for (ObjCInterfaceDecl::instmeth_iterator I = OID->instmeth_begin(),
299 E = OID->instmeth_end(); I != E; ++I)
Fariborz Jahaniane4534e72008-05-07 17:43:59 +0000300 eol_needed = true, PrintObjCMethodDecl(*I);
Fariborz Jahaniandeeae052008-05-06 23:14:25 +0000301
Fariborz Jahaniane4534e72008-05-07 17:43:59 +0000302 Out << (eol_needed ? "\n@end\n" : "@end\n");
Steve Narofffaed3bf2007-09-10 20:51:04 +0000303 // FIXME: implement the rest...
304}
305
Ted Kremenek42730c52008-01-07 19:49:32 +0000306void DeclPrinter::PrintObjCProtocolDecl(ObjCProtocolDecl *PID) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000307 Out << "@protocol " << PID->getName() << '\n';
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +0000308
309 for (ObjCProtocolDecl::classprop_iterator I = PID->classprop_begin(),
310 E = PID->classprop_end(); I != E; ++I)
311 PrintObjCPropertyDecl(*I);
312 Out << "@end\n";
Fariborz Jahanianac20be22007-10-08 18:53:38 +0000313 // FIXME: implement the rest...
314}
315
Ted Kremenek42730c52008-01-07 19:49:32 +0000316void DeclPrinter::PrintObjCCategoryImplDecl(ObjCCategoryImplDecl *PID) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000317 Out << "@implementation "
318 << PID->getClassInterface()->getName()
319 << '(' << PID->getName() << ");\n";
Fariborz Jahaniandc0569e2008-04-23 00:06:01 +0000320 for (ObjCCategoryImplDecl::propimpl_iterator I = PID->propimpl_begin(),
321 E = PID->propimpl_end(); I != E; ++I)
322 PrintObjCPropertyImplDecl(*I);
323 Out << "@end\n";
Fariborz Jahanianac20be22007-10-08 18:53:38 +0000324 // FIXME: implement the rest...
325}
326
Ted Kremenek42730c52008-01-07 19:49:32 +0000327void DeclPrinter::PrintObjCCategoryDecl(ObjCCategoryDecl *PID) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000328 Out << "@interface "
329 << PID->getClassInterface()->getName()
330 << '(' << PID->getName() << ");\n";
Fariborz Jahanian52ff8442008-04-16 21:08:45 +0000331 // Output property declarations.
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +0000332 for (ObjCCategoryDecl::classprop_iterator I = PID->classprop_begin(),
333 E = PID->classprop_end(); I != E; ++I)
334 PrintObjCPropertyDecl(*I);
Fariborz Jahanian52ff8442008-04-16 21:08:45 +0000335 Out << "@end\n";
336
Fariborz Jahanianac20be22007-10-08 18:53:38 +0000337 // FIXME: implement the rest...
338}
339
Ted Kremenek42730c52008-01-07 19:49:32 +0000340void DeclPrinter::PrintObjCCompatibleAliasDecl(ObjCCompatibleAliasDecl *AID) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000341 Out << "@compatibility_alias " << AID->getName()
342 << ' ' << AID->getClassInterface()->getName() << ";\n";
Fariborz Jahanian05d212a2007-10-11 23:42:27 +0000343}
344
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +0000345/// PrintObjCPropertyDecl - print a property declaration.
346///
347void DeclPrinter::PrintObjCPropertyDecl(ObjCPropertyDecl *PDecl) {
Fariborz Jahanian4aa72a72008-05-05 18:51:55 +0000348 if (PDecl->getPropertyImplementation() == ObjCPropertyDecl::Required)
349 Out << "@required\n";
350 else if (PDecl->getPropertyImplementation() == ObjCPropertyDecl::Optional)
351 Out << "@optional\n";
352
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +0000353 Out << "@property";
354 if (PDecl->getPropertyAttributes() != ObjCPropertyDecl::OBJC_PR_noattr) {
355 bool first = true;
356 Out << " (";
357 if (PDecl->getPropertyAttributes() &
358 ObjCPropertyDecl::OBJC_PR_readonly) {
359 Out << (first ? ' ' : ',') << "readonly";
360 first = false;
361 }
362
363 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_getter) {
364 Out << (first ? ' ' : ',') << "getter = "
Fariborz Jahanianb7080ae2008-05-06 18:09:04 +0000365 << PDecl->getGetterName().getName();
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +0000366 first = false;
367 }
368 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_setter) {
369 Out << (first ? ' ' : ',') << "setter = "
Fariborz Jahanianb7080ae2008-05-06 18:09:04 +0000370 << PDecl->getSetterName().getName();
Fariborz Jahanian8516e9a2008-04-17 18:25:18 +0000371 first = false;
372 }
373
374 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_assign) {
375 Out << (first ? ' ' : ',') << "assign";
376 first = false;
377 }
378
379 if (PDecl->getPropertyAttributes() &
380 ObjCPropertyDecl::OBJC_PR_readwrite) {
381 Out << (first ? ' ' : ',') << "readwrite";
382 first = false;
383 }
384
385 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_retain) {
386 Out << (first ? ' ' : ',') << "retain";
387 first = false;
388 }
389
390 if (PDecl->getPropertyAttributes() & ObjCPropertyDecl::OBJC_PR_copy) {
391 Out << (first ? ' ' : ',') << "copy";
392 first = false;
393 }
394
395 if (PDecl->getPropertyAttributes() &
396 ObjCPropertyDecl::OBJC_PR_nonatomic) {
397 Out << (first ? ' ' : ',') << "nonatomic";
398 first = false;
399 }
400 Out << " )";
401 }
402 Out << ' ' << PDecl->getType().getAsString()
403 << ' ' << PDecl->getName();
404
405 Out << ";\n";
406}
Fariborz Jahaniandc0569e2008-04-23 00:06:01 +0000407
408/// PrintObjCPropertyImplDecl - Print an objective-c property implementation
409/// declaration syntax.
410///
411void DeclPrinter::PrintObjCPropertyImplDecl(ObjCPropertyImplDecl *PID) {
Daniel Dunbar14117fc2008-08-26 04:47:31 +0000412 if (PID->getPropertyImplementation() == ObjCPropertyImplDecl::Synthesize)
Fariborz Jahaniandc0569e2008-04-23 00:06:01 +0000413 Out << "\n@synthesize ";
414 else
415 Out << "\n@dynamic ";
416 Out << PID->getPropertyDecl()->getName();
417 if (PID->getPropertyIvarDecl())
418 Out << "=" << PID->getPropertyIvarDecl()->getName();
419 Out << ";\n";
420}
Ted Kremeneke09391a2007-11-27 21:46:50 +0000421//===----------------------------------------------------------------------===//
422/// ASTPrinter - Pretty-printer of ASTs
423
Chris Lattnerb73abd52007-09-15 23:02:28 +0000424namespace {
Ted Kremeneke09391a2007-11-27 21:46:50 +0000425 class ASTPrinter : public ASTConsumer, public DeclPrinter {
426 public:
Ted Kremenek7b6f67b2008-09-13 05:16:45 +0000427 ASTPrinter(llvm::raw_ostream* o = NULL) : DeclPrinter(o) {}
Ted Kremeneke09391a2007-11-27 21:46:50 +0000428
Chris Lattnerb73abd52007-09-15 23:02:28 +0000429 virtual void HandleTopLevelDecl(Decl *D) {
Chris Lattner1c1aabb2008-01-02 21:04:16 +0000430 PrintDecl(D);
Chris Lattner4b009652007-07-25 00:24:17 +0000431 }
Chris Lattnerb73abd52007-09-15 23:02:28 +0000432 };
Chris Lattner4b009652007-07-25 00:24:17 +0000433}
Chris Lattner95578782007-08-08 22:51:59 +0000434
Ted Kremenek7b6f67b2008-09-13 05:16:45 +0000435ASTConsumer *clang::CreateASTPrinter(llvm::raw_ostream* out) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000436 return new ASTPrinter(out);
437}
Ted Kremeneke09391a2007-11-27 21:46:50 +0000438
439//===----------------------------------------------------------------------===//
440/// ASTDumper - Low-level dumper of ASTs
Chris Lattnerb73abd52007-09-15 23:02:28 +0000441
442namespace {
Ted Kremeneke09391a2007-11-27 21:46:50 +0000443 class ASTDumper : public ASTConsumer, public DeclPrinter {
Chris Lattnerb73abd52007-09-15 23:02:28 +0000444 SourceManager *SM;
445 public:
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000446 ASTDumper() : DeclPrinter() {}
Ted Kremeneke09391a2007-11-27 21:46:50 +0000447
Ted Kremenek17861c52007-12-19 22:51:13 +0000448 void Initialize(ASTContext &Context) {
Ted Kremenekb3ee1932007-12-11 21:27:55 +0000449 SM = &Context.getSourceManager();
Chris Lattner95578782007-08-08 22:51:59 +0000450 }
Chris Lattnerb73abd52007-09-15 23:02:28 +0000451
452 virtual void HandleTopLevelDecl(Decl *D) {
453 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
454 PrintFunctionDeclStart(FD);
455
456 if (FD->getBody()) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000457 Out << '\n';
458 // FIXME: convert dumper to use std::ostream?
Chris Lattnerb73abd52007-09-15 23:02:28 +0000459 FD->getBody()->dumpAll(*SM);
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000460 Out << '\n';
Chris Lattnerb73abd52007-09-15 23:02:28 +0000461 }
462 } else if (TypedefDecl *TD = dyn_cast<TypedefDecl>(D)) {
463 PrintTypeDefDecl(TD);
464 } else if (ScopedDecl *SD = dyn_cast<ScopedDecl>(D)) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000465 Out << "Read top-level variable decl: '" << SD->getName() << "'\n";
Ted Kremenek42730c52008-01-07 19:49:32 +0000466 } else if (ObjCInterfaceDecl *OID = dyn_cast<ObjCInterfaceDecl>(D)) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000467 Out << "Read objc interface '" << OID->getName() << "'\n";
Ted Kremenek42730c52008-01-07 19:49:32 +0000468 } else if (ObjCProtocolDecl *OPD = dyn_cast<ObjCProtocolDecl>(D)) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000469 Out << "Read objc protocol '" << OPD->getName() << "'\n";
Ted Kremenek42730c52008-01-07 19:49:32 +0000470 } else if (ObjCCategoryDecl *OCD = dyn_cast<ObjCCategoryDecl>(D)) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000471 Out << "Read objc category '" << OCD->getName() << "'\n";
Ted Kremenek42730c52008-01-07 19:49:32 +0000472 } else if (isa<ObjCForwardProtocolDecl>(D)) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000473 Out << "Read objc fwd protocol decl\n";
Ted Kremenek42730c52008-01-07 19:49:32 +0000474 } else if (isa<ObjCClassDecl>(D)) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000475 Out << "Read objc fwd class decl\n";
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000476 } else if (isa<FileScopeAsmDecl>(D)) {
477 Out << "Read file scope asm decl\n";
Ted Kremenek5d257d42008-03-14 17:31:00 +0000478 } else if (ObjCMethodDecl* MD = dyn_cast<ObjCMethodDecl>(D)) {
479 Out << "Read objc method decl: '" << MD->getSelector().getName()
480 << "'\n";
Steve Naroff045e0e02008-05-23 18:50:58 +0000481 if (MD->getBody()) {
482 // FIXME: convert dumper to use std::ostream?
483 MD->getBody()->dumpAll(*SM);
484 Out << '\n';
485 }
Ted Kremenek5d257d42008-03-14 17:31:00 +0000486 } else if (isa<ObjCImplementationDecl>(D)) {
487 Out << "Read objc implementation decl\n";
Daniel Dunbar9a72d092008-10-05 00:31:15 +0000488 } else if (isa<ObjCCategoryImplDecl>(D)) {
489 Out << "Read objc category implementation decl\n";
Ted Kremenek5d257d42008-03-14 17:31:00 +0000490 }
491 else {
Chris Lattnerd5c9d3d2007-10-06 18:52:10 +0000492 assert(0 && "Unknown decl type!");
Chris Lattnerb73abd52007-09-15 23:02:28 +0000493 }
494 }
495 };
Chris Lattner95578782007-08-08 22:51:59 +0000496}
497
Chris Lattnerb73abd52007-09-15 23:02:28 +0000498ASTConsumer *clang::CreateASTDumper() { return new ASTDumper(); }
499
Ted Kremeneke09391a2007-11-27 21:46:50 +0000500//===----------------------------------------------------------------------===//
501/// ASTViewer - AST Visualization
502
Ted Kremenekb6976a22007-09-19 21:29:43 +0000503namespace {
504 class ASTViewer : public ASTConsumer {
505 SourceManager *SM;
506 public:
Ted Kremenek17861c52007-12-19 22:51:13 +0000507 void Initialize(ASTContext &Context) {
Ted Kremenekb3ee1932007-12-11 21:27:55 +0000508 SM = &Context.getSourceManager();
Ted Kremenekb6976a22007-09-19 21:29:43 +0000509 }
510
511 virtual void HandleTopLevelDecl(Decl *D) {
512 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000513 DeclPrinter().PrintFunctionDeclStart(FD);
Ted Kremenekb6976a22007-09-19 21:29:43 +0000514
515 if (FD->getBody()) {
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000516 llvm::cerr << '\n';
Ted Kremenekb6976a22007-09-19 21:29:43 +0000517 FD->getBody()->viewAST();
Ted Kremenekbe2ea3b2007-11-28 21:32:21 +0000518 llvm::cerr << '\n';
Ted Kremenekb6976a22007-09-19 21:29:43 +0000519 }
520 }
Ted Kremenek5d257d42008-03-14 17:31:00 +0000521 else if (ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) {
522 DeclPrinter().PrintObjCMethodDecl(MD);
523
524 if (MD->getBody()) {
525 llvm::cerr << '\n';
526 MD->getBody()->viewAST();
527 llvm::cerr << '\n';
528 }
529 }
Ted Kremenekb6976a22007-09-19 21:29:43 +0000530 }
531 };
532}
533
534ASTConsumer *clang::CreateASTViewer() { return new ASTViewer(); }
535
Ted Kremenek1e3c2022007-09-07 23:47:56 +0000536//===----------------------------------------------------------------------===//
Ted Kremenek397de012007-12-13 00:37:31 +0000537// AST Serializer
538
539namespace {
Ted Kremenek21189012007-12-19 23:49:37 +0000540
541class ASTSerializer : public ASTConsumer {
542protected:
Nico Weber034bd872008-08-09 18:32:11 +0000543 Diagnostic& Diags;
Ted Kremenek863b01f2008-04-23 16:25:39 +0000544
Ted Kremenek21189012007-12-19 23:49:37 +0000545public:
Nico Weber93eea802008-08-10 19:20:05 +0000546 ASTSerializer(Diagnostic& diags) : Diags(diags) {}
Ted Kremenek21189012007-12-19 23:49:37 +0000547};
Eli Friedmanb4563692008-06-09 20:02:51 +0000548
Ted Kremenek21189012007-12-19 23:49:37 +0000549class SingleFileSerializer : public ASTSerializer {
550 const llvm::sys::Path FName;
551public:
Nico Weber034bd872008-08-09 18:32:11 +0000552 SingleFileSerializer(const llvm::sys::Path& F, Diagnostic& diags)
553 : ASTSerializer(diags), FName(F) {}
Ted Kremenek21189012007-12-19 23:49:37 +0000554
Nico Weber93eea802008-08-10 19:20:05 +0000555 virtual void HandleTranslationUnit(TranslationUnit& TU) {
Nico Weber034bd872008-08-09 18:32:11 +0000556 if (Diags.hasErrorOccurred())
557 return;
Nico Weber93eea802008-08-10 19:20:05 +0000558 EmitASTBitcodeFile(&TU, FName);
Ted Kremenek21189012007-12-19 23:49:37 +0000559 }
560};
561
562class BuildSerializer : public ASTSerializer {
563 llvm::sys::Path EmitDir;
564public:
Nico Weber034bd872008-08-09 18:32:11 +0000565 BuildSerializer(const llvm::sys::Path& dir, Diagnostic& diags)
566 : ASTSerializer(diags), EmitDir(dir) {}
Ted Kremenek21189012007-12-19 23:49:37 +0000567
Nico Weber93eea802008-08-10 19:20:05 +0000568 virtual void HandleTranslationUnit(TranslationUnit& TU) {
569 if (Diags.hasErrorOccurred())
Ted Kremenek863b01f2008-04-23 16:25:39 +0000570 return;
571
Nico Weber93eea802008-08-10 19:20:05 +0000572 SourceManager& SourceMgr = TU.getContext().getSourceManager();
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000573 unsigned ID = SourceMgr.getMainFileID();
574 assert (ID && "MainFileID not set!");
575 const FileEntry* FE = SourceMgr.getFileEntryForID(ID);
576 assert (FE && "No FileEntry for main file.");
577
578 // FIXME: This is not portable to Windows.
579 // FIXME: This logic should probably be moved elsewhere later.
580
Ted Kremenek0c7cd7a2007-12-20 19:47:16 +0000581 llvm::sys::Path FName(EmitDir);
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000582
583 std::vector<char> buf;
584 buf.reserve(strlen(FE->getName())+100);
585
586 sprintf(&buf[0], "dev_%llx", (uint64_t) FE->getDevice());
Ted Kremenek0c7cd7a2007-12-20 19:47:16 +0000587 FName.appendComponent(&buf[0]);
588 FName.createDirectoryOnDisk(true);
589 if (!FName.canWrite() || !FName.isDirectory()) {
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000590 assert (false && "Could not create 'device' serialization directory.");
591 return;
592 }
Ted Kremenek0c7cd7a2007-12-20 19:47:16 +0000593
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000594 sprintf(&buf[0], "%s-%llX.ast", FE->getName(), (uint64_t) FE->getInode());
Ted Kremenek0c7cd7a2007-12-20 19:47:16 +0000595 FName.appendComponent(&buf[0]);
Nico Weber93eea802008-08-10 19:20:05 +0000596 EmitASTBitcodeFile(&TU, FName);
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000597
Ted Kremenek0c7cd7a2007-12-20 19:47:16 +0000598 // Now emit the sources.
599
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000600 }
Ted Kremenek21189012007-12-19 23:49:37 +0000601};
602
603
Ted Kremenek397de012007-12-13 00:37:31 +0000604} // end anonymous namespace
605
606
Ted Kremenekd890f6a2007-12-19 22:24:34 +0000607ASTConsumer* clang::CreateASTSerializer(const std::string& InFile,
Ted Kremenek21189012007-12-19 23:49:37 +0000608 const std::string& OutputFile,
Ted Kremenek842126e2008-06-04 15:55:15 +0000609 Diagnostic &Diags) {
Ted Kremenekbde30332007-12-19 17:25:59 +0000610
Ted Kremenek21189012007-12-19 23:49:37 +0000611 if (OutputFile.size()) {
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000612 if (InFile == "-") {
613 llvm::cerr <<
614 "error: Cannot use --serialize with -o for source read from STDIN.\n";
615 return NULL;
616 }
617
Ted Kremenek21189012007-12-19 23:49:37 +0000618 // The user specified an AST-emission directory. Determine if the path
619 // is absolute.
620 llvm::sys::Path EmitDir(OutputFile);
621
622 if (!EmitDir.isAbsolute()) {
623 llvm::cerr <<
624 "error: Output directory for --serialize must be an absolute path.\n";
625
626 return NULL;
627 }
628
629 // Create the directory if it does not exist.
630 EmitDir.createDirectoryOnDisk(true);
631 if (!EmitDir.canWrite() || !EmitDir.isDirectory()) {
632 llvm::cerr <<
633 "error: Could not create output directory for --serialize.\n";
634
635 return NULL;
636 }
637
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000638 // FIXME: We should probably only allow using BuildSerializer when
639 // the ASTs come from parsed source files, and not from .ast files.
Nico Weber034bd872008-08-09 18:32:11 +0000640 return new BuildSerializer(EmitDir, Diags);
Ted Kremenek21189012007-12-19 23:49:37 +0000641 }
642
643 // The user did not specify an output directory for serialized ASTs.
644 // Serialize the translation to a single file whose name is the same
645 // as the input file with the ".ast" extension appended.
Ted Kremenekab749372007-12-19 19:27:38 +0000646
Ted Kremenek21189012007-12-19 23:49:37 +0000647 llvm::sys::Path FName(InFile.c_str());
Ted Kremenekfc17b8a2007-12-20 00:34:58 +0000648 FName.appendSuffix("ast");
Nico Weber034bd872008-08-09 18:32:11 +0000649 return new SingleFileSerializer(FName, Diags);
Ted Kremenek397de012007-12-13 00:37:31 +0000650}