blob: 9a30f59465f8dc16d3e6e1f060e43edb795c9bc1 [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
Eli Friedman39d7c4d2009-05-18 22:50:54 +000014#include "clang/Frontend/ASTConsumers.h"
Mike Stump1eb44332009-09-09 15:08:12 +000015#include "clang/Frontend/DocumentXML.h"
Daniel Dunbare1bd4e62009-03-02 06:16:29 +000016#include "clang/Frontend/PathDiagnosticClients.h"
Nico Weberdae86962008-08-09 18:32:11 +000017#include "clang/Basic/Diagnostic.h"
Ted Kremenek54117722007-12-20 00:34:58 +000018#include "clang/Basic/SourceManager.h"
19#include "clang/Basic/FileManager.h"
Reid Spencer5f016e22007-07-11 17:01:13 +000020#include "clang/AST/AST.h"
Chris Lattner3d4997d2007-09-15 23:02:28 +000021#include "clang/AST/ASTConsumer.h"
Chris Lattner557c5b12009-03-28 04:27:18 +000022#include "clang/AST/ASTContext.h"
Anders Carlsson78762eb2009-09-24 18:54:49 +000023#include "clang/AST/RecordLayout.h"
Douglas Gregord249e1d1f2009-05-29 20:38:28 +000024#include "clang/AST/PrettyPrinter.h"
Ted Kremenek815c78f2008-08-05 18:50:11 +000025#include "clang/CodeGen/ModuleBuilder.h"
26#include "llvm/Module.h"
Anders Carlsson8fdccd92009-09-24 23:50:42 +000027#include "llvm/Support/Format.h"
Ted Kremenekcb330932008-02-18 21:21:23 +000028#include "llvm/Support/Timer.h"
Ted Kremeneka95d3752008-09-13 05:16:45 +000029#include "llvm/Support/raw_ostream.h"
Chris Lattner557c5b12009-03-28 04:27:18 +000030#include "llvm/System/Path.h"
Torok Edwinf42e4a62009-08-24 13:25:12 +000031#include <cstdio>
32
Chris Lattner6000dac2007-08-08 22:51:59 +000033using namespace clang;
Reid Spencer5f016e22007-07-11 17:01:13 +000034
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000035//===----------------------------------------------------------------------===//
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +000036/// ASTPrinter - Pretty-printer and dumper of ASTs
Chris Lattner6000dac2007-08-08 22:51:59 +000037
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000038namespace {
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +000039 class ASTPrinter : public ASTConsumer {
40 llvm::raw_ostream &Out;
41 bool Dump;
Mike Stump1eb44332009-09-09 15:08:12 +000042
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000043 public:
Mike Stump1eb44332009-09-09 15:08:12 +000044 ASTPrinter(llvm::raw_ostream* o = NULL, bool Dump = false)
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +000045 : Out(o? *o : llvm::errs()), Dump(Dump) { }
Mike Stump1eb44332009-09-09 15:08:12 +000046
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +000047 virtual void HandleTranslationUnit(ASTContext &Context) {
48 PrintingPolicy Policy = Context.PrintingPolicy;
49 Policy.Dump = Dump;
Argyrios Kyrtzidisf1d60ea2009-06-30 02:35:04 +000050 Context.getTranslationUnitDecl()->print(Out, Policy);
Reid Spencer5f016e22007-07-11 17:01:13 +000051 }
Chris Lattner3d4997d2007-09-15 23:02:28 +000052 };
Chris Lattnerb23ff6b2009-03-28 05:44:17 +000053} // end anonymous namespace
Chris Lattner6000dac2007-08-08 22:51:59 +000054
Ted Kremeneka95d3752008-09-13 05:16:45 +000055ASTConsumer *clang::CreateASTPrinter(llvm::raw_ostream* out) {
Ted Kremenekea75c552007-11-28 21:32:21 +000056 return new ASTPrinter(out);
57}
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000058
59//===----------------------------------------------------------------------===//
Douglas Gregoree75c052009-05-21 20:55:50 +000060/// ASTPrinterXML - XML-printer of ASTs
61
62namespace {
63 class ASTPrinterXML : public ASTConsumer {
64 DocumentXML Doc;
65
66 public:
67 ASTPrinterXML(llvm::raw_ostream& o) : Doc("CLANG_XML", o) {}
Mike Stump1eb44332009-09-09 15:08:12 +000068
Douglas Gregoree75c052009-05-21 20:55:50 +000069 void Initialize(ASTContext &Context) {
70 Doc.initialize(Context);
71 }
72
73 virtual void HandleTranslationUnit(ASTContext &Ctx) {
74 Doc.addSubNode("TranslationUnit");
Mike Stump1eb44332009-09-09 15:08:12 +000075 for (DeclContext::decl_iterator
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +000076 D = Ctx.getTranslationUnitDecl()->decls_begin(),
77 DEnd = Ctx.getTranslationUnitDecl()->decls_end();
Mike Stump1eb44332009-09-09 15:08:12 +000078 D != DEnd;
Douglas Gregoree75c052009-05-21 20:55:50 +000079 ++D)
Douglas Gregoree75c052009-05-21 20:55:50 +000080 Doc.PrintDecl(*D);
Douglas Gregoree75c052009-05-21 20:55:50 +000081 Doc.toParent();
82 Doc.finalize();
83 }
84 };
85} // end anonymous namespace
86
87
88ASTConsumer *clang::CreateASTPrinterXML(llvm::raw_ostream* out) {
89 return new ASTPrinterXML(out ? *out : llvm::outs());
90}
Mike Stump1eb44332009-09-09 15:08:12 +000091
92ASTConsumer *clang::CreateASTDumper() {
93 return new ASTPrinter(0, true);
Douglas Gregor609e72f2009-04-26 02:02:08 +000094}
Chris Lattner3d4997d2007-09-15 23:02:28 +000095
Ted Kremenek1b5a4bd2007-11-27 21:46:50 +000096//===----------------------------------------------------------------------===//
97/// ASTViewer - AST Visualization
98
Ted Kremenek80de08f2007-09-19 21:29:43 +000099namespace {
100 class ASTViewer : public ASTConsumer {
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +0000101 ASTContext *Context;
Ted Kremenek80de08f2007-09-19 21:29:43 +0000102 public:
Ted Kremenek95041a22007-12-19 22:51:13 +0000103 void Initialize(ASTContext &Context) {
Douglas Gregor4fe0c8e2009-05-30 00:08:05 +0000104 this->Context = &Context;
Ted Kremenek80de08f2007-09-19 21:29:43 +0000105 }
Chris Lattner682bf922009-03-29 16:50:03 +0000106
107 virtual void HandleTopLevelDecl(DeclGroupRef D) {
108 for (DeclGroupRef::iterator I = D.begin(), E = D.end(); I != E; ++I)
109 HandleTopLevelSingleDecl(*I);
110 }
Mike Stump1eb44332009-09-09 15:08:12 +0000111
Chris Lattner682bf922009-03-29 16:50:03 +0000112 void HandleTopLevelSingleDecl(Decl *D);
Ted Kremenek80de08f2007-09-19 21:29:43 +0000113 };
114}
115
Chris Lattner682bf922009-03-29 16:50:03 +0000116void ASTViewer::HandleTopLevelSingleDecl(Decl *D) {
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000117 if (FunctionDecl *FD = dyn_cast<FunctionDecl>(D)) {
Argyrios Kyrtzidisf1d60ea2009-06-30 02:35:04 +0000118 FD->print(llvm::errs());
Mike Stump1eb44332009-09-09 15:08:12 +0000119
Douglas Gregoraf3280f2009-09-12 00:08:48 +0000120 if (Stmt *Body = FD->getBody()) {
Benjamin Kramer6cb7c1a2009-08-23 12:08:50 +0000121 llvm::errs() << '\n';
Douglas Gregoraf3280f2009-09-12 00:08:48 +0000122 Body->viewAST();
Benjamin Kramer6cb7c1a2009-08-23 12:08:50 +0000123 llvm::errs() << '\n';
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000124 }
125 return;
126 }
Mike Stump1eb44332009-09-09 15:08:12 +0000127
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000128 if (ObjCMethodDecl *MD = dyn_cast<ObjCMethodDecl>(D)) {
Argyrios Kyrtzidisf1d60ea2009-06-30 02:35:04 +0000129 MD->print(llvm::errs());
Mike Stump1eb44332009-09-09 15:08:12 +0000130
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000131 if (MD->getBody()) {
Benjamin Kramer6cb7c1a2009-08-23 12:08:50 +0000132 llvm::errs() << '\n';
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000133 MD->getBody()->viewAST();
Benjamin Kramer6cb7c1a2009-08-23 12:08:50 +0000134 llvm::errs() << '\n';
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000135 }
136 }
137}
138
139
Ted Kremenek80de08f2007-09-19 21:29:43 +0000140ASTConsumer *clang::CreateASTViewer() { return new ASTViewer(); }
141
Ted Kremenek74bf2c92007-09-07 23:47:56 +0000142//===----------------------------------------------------------------------===//
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000143/// DeclContextPrinter - Decl and DeclContext Visualization
144
145namespace {
146
147class DeclContextPrinter : public ASTConsumer {
148 llvm::raw_ostream& Out;
149public:
150 DeclContextPrinter() : Out(llvm::errs()) {}
151
Chris Lattnerdacbc5d2009-03-28 04:11:33 +0000152 void HandleTranslationUnit(ASTContext &C) {
153 PrintDeclContext(C.getTranslationUnitDecl(), 4);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000154 }
155
156 void PrintDeclContext(const DeclContext* DC, unsigned Indentation);
157};
Chris Lattnerb23ff6b2009-03-28 05:44:17 +0000158} // end anonymous namespace
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000159
Mike Stump1eb44332009-09-09 15:08:12 +0000160void DeclContextPrinter::PrintDeclContext(const DeclContext* DC,
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000161 unsigned Indentation) {
162 // Print DeclContext name.
Argyrios Kyrtzidis9b9ca012009-01-13 13:11:58 +0000163 switch (DC->getDeclKind()) {
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000164 case Decl::TranslationUnit:
165 Out << "[translation unit] " << DC;
166 break;
167 case Decl::Namespace: {
168 Out << "[namespace] ";
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000169 const NamespaceDecl* ND = cast<NamespaceDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000170 Out << ND->getNameAsString();
171 break;
172 }
Zhongxing Xu867c39e2009-01-13 02:41:08 +0000173 case Decl::Enum: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000174 const EnumDecl* ED = cast<EnumDecl>(DC);
Zhongxing Xu867c39e2009-01-13 02:41:08 +0000175 if (ED->isDefinition())
176 Out << "[enum] ";
177 else
178 Out << "<enum> ";
179 Out << ED->getNameAsString();
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000180 break;
Zhongxing Xu867c39e2009-01-13 02:41:08 +0000181 }
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000182 case Decl::Record: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000183 const RecordDecl* RD = cast<RecordDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000184 if (RD->isDefinition())
185 Out << "[struct] ";
186 else
187 Out << "<struct> ";
188 Out << RD->getNameAsString();
189 break;
190 }
191 case Decl::CXXRecord: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000192 const CXXRecordDecl* RD = cast<CXXRecordDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000193 if (RD->isDefinition())
194 Out << "[class] ";
195 else
196 Out << "<class> ";
197 Out << RD->getNameAsString() << " " << DC;
198 break;
199 }
200 case Decl::ObjCMethod:
201 Out << "[objc method]";
202 break;
203 case Decl::ObjCInterface:
204 Out << "[objc interface]";
205 break;
206 case Decl::ObjCCategory:
207 Out << "[objc category]";
208 break;
209 case Decl::ObjCProtocol:
210 Out << "[objc protocol]";
211 break;
212 case Decl::ObjCImplementation:
213 Out << "[objc implementation]";
214 break;
215 case Decl::ObjCCategoryImpl:
216 Out << "[objc categoryimpl]";
217 break;
218 case Decl::LinkageSpec:
219 Out << "[linkage spec]";
220 break;
221 case Decl::Block:
222 Out << "[block]";
223 break;
224 case Decl::Function: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000225 const FunctionDecl* FD = cast<FunctionDecl>(DC);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000226 if (FD->isThisDeclarationADefinition())
227 Out << "[function] ";
228 else
229 Out << "<function> ";
230 Out << FD->getNameAsString();
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000231 // Print the parameters.
232 Out << "(";
233 bool PrintComma = false;
Mike Stump1eb44332009-09-09 15:08:12 +0000234 for (FunctionDecl::param_const_iterator I = FD->param_begin(),
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000235 E = FD->param_end(); I != E; ++I) {
236 if (PrintComma)
237 Out << ", ";
238 else
239 PrintComma = true;
240 Out << (*I)->getNameAsString();
241 }
242 Out << ")";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000243 break;
244 }
245 case Decl::CXXMethod: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000246 const CXXMethodDecl* D = cast<CXXMethodDecl>(DC);
Argyrios Kyrtzidisf5cecfb2009-06-17 22:49:50 +0000247 if (D->isOutOfLine())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000248 Out << "[c++ method] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000249 else if (D->isImplicit())
250 Out << "(c++ method) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000251 else
252 Out << "<c++ method> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000253 Out << D->getNameAsString();
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000254 // Print the parameters.
255 Out << "(";
256 bool PrintComma = false;
Mike Stump1eb44332009-09-09 15:08:12 +0000257 for (FunctionDecl::param_const_iterator I = D->param_begin(),
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000258 E = D->param_end(); I != E; ++I) {
259 if (PrintComma)
260 Out << ", ";
261 else
262 PrintComma = true;
263 Out << (*I)->getNameAsString();
264 }
265 Out << ")";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000266
267 // Check the semantic DeclContext.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000268 const DeclContext* SemaDC = D->getDeclContext();
269 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000270 if (SemaDC != LexicalDC)
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000271 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000272
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000273 break;
274 }
275 case Decl::CXXConstructor: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000276 const CXXConstructorDecl* D = cast<CXXConstructorDecl>(DC);
Argyrios Kyrtzidisf5cecfb2009-06-17 22:49:50 +0000277 if (D->isOutOfLine())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000278 Out << "[c++ ctor] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000279 else if (D->isImplicit())
280 Out << "(c++ ctor) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000281 else
282 Out << "<c++ ctor> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000283 Out << D->getNameAsString();
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000284 // Print the parameters.
285 Out << "(";
286 bool PrintComma = false;
Mike Stump1eb44332009-09-09 15:08:12 +0000287 for (FunctionDecl::param_const_iterator I = D->param_begin(),
Zhongxing Xuca04ce42009-01-13 06:25:33 +0000288 E = D->param_end(); I != E; ++I) {
289 if (PrintComma)
290 Out << ", ";
291 else
292 PrintComma = true;
293 Out << (*I)->getNameAsString();
294 }
295 Out << ")";
296
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000297 // Check the semantic DC.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000298 const DeclContext* SemaDC = D->getDeclContext();
299 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000300 if (SemaDC != LexicalDC)
301 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000302 break;
303 }
304 case Decl::CXXDestructor: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000305 const CXXDestructorDecl* D = cast<CXXDestructorDecl>(DC);
Argyrios Kyrtzidisf5cecfb2009-06-17 22:49:50 +0000306 if (D->isOutOfLine())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000307 Out << "[c++ dtor] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000308 else if (D->isImplicit())
309 Out << "(c++ dtor) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000310 else
311 Out << "<c++ dtor> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000312 Out << D->getNameAsString();
313 // Check the semantic DC.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000314 const DeclContext* SemaDC = D->getDeclContext();
315 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000316 if (SemaDC != LexicalDC)
317 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000318 break;
319 }
320 case Decl::CXXConversion: {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000321 const CXXConversionDecl* D = cast<CXXConversionDecl>(DC);
Argyrios Kyrtzidisf5cecfb2009-06-17 22:49:50 +0000322 if (D->isOutOfLine())
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000323 Out << "[c++ conversion] ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000324 else if (D->isImplicit())
325 Out << "(c++ conversion) ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000326 else
327 Out << "<c++ conversion> ";
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000328 Out << D->getNameAsString();
329 // Check the semantic DC.
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000330 const DeclContext* SemaDC = D->getDeclContext();
331 const DeclContext* LexicalDC = D->getLexicalDeclContext();
Zhongxing Xu2a3eb0e2009-01-13 03:26:38 +0000332 if (SemaDC != LexicalDC)
333 Out << " [[" << SemaDC << "]]";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000334 break;
335 }
336
337 default:
338 assert(0 && "a decl that inherits DeclContext isn't handled");
339 }
340
341 Out << "\n";
342
343 // Print decls in the DeclContext.
Argyrios Kyrtzidis17945a02009-06-30 02:36:12 +0000344 for (DeclContext::decl_iterator I = DC->decls_begin(), E = DC->decls_end();
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000345 I != E; ++I) {
346 for (unsigned i = 0; i < Indentation; ++i)
Mike Stump071e4da2009-02-10 20:16:46 +0000347 Out << " ";
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000348
349 Decl::Kind DK = I->getKind();
350 switch (DK) {
351 case Decl::Namespace:
352 case Decl::Enum:
353 case Decl::Record:
354 case Decl::CXXRecord:
355 case Decl::ObjCMethod:
356 case Decl::ObjCInterface:
Mike Stump1eb44332009-09-09 15:08:12 +0000357 case Decl::ObjCCategory:
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000358 case Decl::ObjCProtocol:
359 case Decl::ObjCImplementation:
360 case Decl::ObjCCategoryImpl:
361 case Decl::LinkageSpec:
362 case Decl::Block:
363 case Decl::Function:
364 case Decl::CXXMethod:
365 case Decl::CXXConstructor:
366 case Decl::CXXDestructor:
367 case Decl::CXXConversion:
368 {
Argyrios Kyrtzidis7ad5bf32009-02-16 14:29:59 +0000369 DeclContext* DC = cast<DeclContext>(*I);
Mike Stump071e4da2009-02-10 20:16:46 +0000370 PrintDeclContext(DC, Indentation+2);
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000371 break;
372 }
373 case Decl::Field: {
374 FieldDecl* FD = cast<FieldDecl>(*I);
375 Out << "<field> " << FD->getNameAsString() << "\n";
376 break;
377 }
378 case Decl::Typedef: {
379 TypedefDecl* TD = cast<TypedefDecl>(*I);
380 Out << "<typedef> " << TD->getNameAsString() << "\n";
381 break;
382 }
383 case Decl::EnumConstant: {
384 EnumConstantDecl* ECD = cast<EnumConstantDecl>(*I);
385 Out << "<enum constant> " << ECD->getNameAsString() << "\n";
386 break;
387 }
388 case Decl::Var: {
389 VarDecl* VD = cast<VarDecl>(*I);
390 Out << "<var> " << VD->getNameAsString() << "\n";
391 break;
392 }
393 case Decl::ImplicitParam: {
394 ImplicitParamDecl* IPD = cast<ImplicitParamDecl>(*I);
395 Out << "<implicit parameter> " << IPD->getNameAsString() << "\n";
396 break;
397 }
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000398 case Decl::ParmVar: {
399 ParmVarDecl* PVD = cast<ParmVarDecl>(*I);
400 Out << "<parameter> " << PVD->getNameAsString() << "\n";
401 break;
402 }
403 case Decl::ObjCProperty: {
404 ObjCPropertyDecl* OPD = cast<ObjCPropertyDecl>(*I);
405 Out << "<objc property> " << OPD->getNameAsString() << "\n";
406 break;
407 }
408 default:
Zhongxing Xuba16be92009-04-05 02:04:38 +0000409 fprintf(stderr, "DeclKind: %d \"%s\"\n", DK, I->getDeclKindName());
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000410 assert(0 && "decl unhandled");
411 }
412 }
413}
Mike Stump1eb44332009-09-09 15:08:12 +0000414ASTConsumer *clang::CreateDeclContextPrinter() {
415 return new DeclContextPrinter();
Zhongxing Xu2d75d6f2009-01-13 01:29:24 +0000416}
417
418//===----------------------------------------------------------------------===//
Anders Carlsson78762eb2009-09-24 18:54:49 +0000419/// RecordLayoutDumper - C++ Record Layout Dumping.
420namespace {
421class RecordLayoutDumper : public ASTConsumer {
422 llvm::raw_ostream& Out;
423
Anders Carlsson8fdccd92009-09-24 23:50:42 +0000424 void PrintOffset(uint64_t Offset, unsigned IndentLevel) {
425 Out << llvm::format("%4d | ", Offset);
426 for (unsigned I = 0; I < IndentLevel * 2; ++I) Out << ' ';
427 }
428
429 void DumpRecordLayoutOffsets(const CXXRecordDecl *RD, ASTContext &C,
430 uint64_t Offset,
431 unsigned IndentLevel, const char* Description,
432 bool IncludeVirtualBases) {
433 const ASTRecordLayout &Info = C.getASTRecordLayout(RD);
434
435 PrintOffset(Offset, IndentLevel);
436 Out << C.getTypeDeclType((CXXRecordDecl *)RD).getAsString();
437 if (Description)
438 Out << ' ' << Description;
439 if (RD->isEmpty())
440 Out << " (empty)";
441 Out << '\n';
442
443 IndentLevel++;
444
445 const CXXRecordDecl *PrimaryBase = Info.getPrimaryBase();
446
447 // Vtable pointer.
448 if (RD->isDynamicClass() && !PrimaryBase) {
449 PrintOffset(Offset, IndentLevel);
450 Out << '(' << RD->getNameAsString() << " vtable pointer)\n";
451 }
452 // Dump (non-virtual) bases
453 for (CXXRecordDecl::base_class_const_iterator I = RD->bases_begin(),
454 E = RD->bases_end(); I != E; ++I) {
Sebastian Redl9994a342009-10-25 17:03:50 +0000455 assert(!I->getType()->isDependentType() &&
456 "Cannot layout class with dependent bases.");
Anders Carlsson8fdccd92009-09-24 23:50:42 +0000457 if (I->isVirtual())
458 continue;
459
460 const CXXRecordDecl *Base =
461 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
462
463 uint64_t BaseOffset = Offset + Info.getBaseClassOffset(Base) / 8;
464
465 DumpRecordLayoutOffsets(Base, C, BaseOffset, IndentLevel,
466 Base == PrimaryBase ? "(primary base)" : "(base)",
467 /*IncludeVirtualBases=*/false);
468 }
469
470 // Dump fields.
471 uint64_t FieldNo = 0;
472 for (CXXRecordDecl::field_iterator I = RD->field_begin(),
473 E = RD->field_end(); I != E; ++I, ++FieldNo) {
474 const FieldDecl *Field = *I;
475 uint64_t FieldOffset = Offset + Info.getFieldOffset(FieldNo) / 8;
476
477 if (const RecordType *RT = Field->getType()->getAs<RecordType>()) {
478 if (const CXXRecordDecl *D = dyn_cast<CXXRecordDecl>(RT->getDecl())) {
479 DumpRecordLayoutOffsets(D, C, FieldOffset, IndentLevel,
480 Field->getNameAsCString(),
481 /*IncludeVirtualBases=*/true);
482 continue;
483 }
484 }
485
486 PrintOffset(FieldOffset, IndentLevel);
487 Out << Field->getType().getAsString() << ' ';
488 Out << Field->getNameAsString() << '\n';
489 }
490
491 if (!IncludeVirtualBases)
492 return;
493
494 // Dump virtual bases.
495 for (CXXRecordDecl::base_class_const_iterator I = RD->vbases_begin(),
496 E = RD->vbases_end(); I != E; ++I) {
497 assert(I->isVirtual() && "Found non-virtual class!");
498 const CXXRecordDecl *VBase =
499 cast<CXXRecordDecl>(I->getType()->getAs<RecordType>()->getDecl());
500
501 uint64_t VBaseOffset = Offset + Info.getVBaseClassOffset(VBase) / 8;
502 DumpRecordLayoutOffsets(VBase, C, VBaseOffset, IndentLevel,
503 VBase == PrimaryBase ?
504 "(primary virtual base)" : "(virtual base)",
505 /*IncludeVirtualBases=*/false);
506 }
507 }
508
509 // FIXME: Maybe this could be useful in ASTContext.cpp.
Anders Carlsson78762eb2009-09-24 18:54:49 +0000510 void DumpRecordLayout(const CXXRecordDecl *RD, ASTContext &C) {
511 const ASTRecordLayout &Info = C.getASTRecordLayout(RD);
512
Anders Carlsson8fdccd92009-09-24 23:50:42 +0000513 DumpRecordLayoutOffsets(RD, C, 0, 0, 0,
514 /*IncludeVirtualBases=*/true);
Anders Carlsson78762eb2009-09-24 18:54:49 +0000515 Out << " sizeof=" << Info.getSize() / 8;
516 Out << ", dsize=" << Info.getDataSize() / 8;
517 Out << ", align=" << Info.getAlignment() / 8 << '\n';
518 Out << " nvsize=" << Info.getNonVirtualSize() / 8;
519 Out << ", nvalign=" << Info.getNonVirtualAlign() / 8 << '\n';
520 Out << '\n';
521 }
522
523public:
524 RecordLayoutDumper() : Out(llvm::errs()) {}
525
526 void HandleTranslationUnit(ASTContext &C) {
527 for (ASTContext::type_iterator I = C.types_begin(), E = C.types_end();
528 I != E; ++I) {
529 const RecordType *RT = dyn_cast<RecordType>(*I);
530 if (!RT)
531 continue;
532
533 const CXXRecordDecl *RD = dyn_cast<CXXRecordDecl>(RT->getDecl());
534 if (!RD)
535 continue;
536
537 if (RD->isImplicit())
538 continue;
539
Anders Carlssona4c60812009-09-25 01:54:38 +0000540 if (RD->isDependentType())
541 continue;
542
Anders Carlsson4f5bf3b2009-09-26 01:02:04 +0000543 if (RD->isInvalidDecl())
544 continue;
545
546 if (!RD->getDefinition(C))
547 continue;
548
Anders Carlsson78762eb2009-09-24 18:54:49 +0000549 // FIXME: Do we really need to hard code this?
550 if (RD->getQualifiedNameAsString() == "__va_list_tag")
551 continue;
552
553 DumpRecordLayout(RD, C);
554 }
555 }
556};
557} // end anonymous namespace
558ASTConsumer *clang::CreateRecordLayoutDumper() {
559 return new RecordLayoutDumper();
560}
561
562//===----------------------------------------------------------------------===//
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000563/// InheritanceViewer - C++ Inheritance Visualization
564
565namespace {
566class InheritanceViewer : public ASTConsumer {
567 const std::string clsname;
568public:
569 InheritanceViewer(const std::string& cname) : clsname(cname) {}
Mike Stump1eb44332009-09-09 15:08:12 +0000570
Chris Lattnerdacbc5d2009-03-28 04:11:33 +0000571 void HandleTranslationUnit(ASTContext &C) {
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000572 for (ASTContext::type_iterator I=C.types_begin(),E=C.types_end(); I!=E; ++I)
Douglas Gregorc1efaec2009-02-28 01:32:25 +0000573 if (RecordType *T = dyn_cast<RecordType>(*I)) {
574 if (CXXRecordDecl *D = dyn_cast<CXXRecordDecl>(T->getDecl())) {
575 // FIXME: This lookup needs to be generalized to handle namespaces and
576 // (when we support them) templates.
577 if (D->getNameAsString() == clsname) {
Mike Stump1eb44332009-09-09 15:08:12 +0000578 D->viewInheritance(C);
Douglas Gregorc1efaec2009-02-28 01:32:25 +0000579 }
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000580 }
581 }
582 }
Mike Stump1eb44332009-09-09 15:08:12 +0000583};
Ted Kremenek7cae2f62008-10-23 23:36:29 +0000584}
585
586ASTConsumer *clang::CreateInheritanceViewer(const std::string& clsname) {
587 return new InheritanceViewer(clsname);
588}