Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 1 | //===--- StmtDumper.cpp - Dumping implementation for Stmt ASTs ------------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 0bc735f | 2007-12-29 19:59:25 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file implements the Stmt::dump/Stmt::print methods, which dump out the |
| 11 | // AST in a form that exposes type details and other fields. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "clang/AST/StmtVisitor.h" |
Ted Kremenek | 91d1d7a | 2007-10-17 18:36:42 +0000 | [diff] [blame] | 16 | #include "clang/AST/DeclObjC.h" |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 17 | #include "clang/Basic/SourceManager.h" |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 18 | #include "llvm/Support/Compiler.h" |
| 19 | #include <cstdio> |
| 20 | using namespace clang; |
| 21 | |
| 22 | //===----------------------------------------------------------------------===// |
| 23 | // StmtDumper Visitor |
| 24 | //===----------------------------------------------------------------------===// |
| 25 | |
| 26 | namespace { |
Chris Lattner | c5598cb | 2007-08-21 04:04:25 +0000 | [diff] [blame] | 27 | class VISIBILITY_HIDDEN StmtDumper : public StmtVisitor<StmtDumper> { |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 28 | SourceManager *SM; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 29 | FILE *F; |
| 30 | unsigned IndentLevel; |
| 31 | |
| 32 | /// MaxDepth - When doing a normal dump (not dumpAll) we only want to dump |
| 33 | /// the first few levels of an AST. This keeps track of how many ast levels |
| 34 | /// are left. |
| 35 | unsigned MaxDepth; |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 36 | |
| 37 | /// LastLocFilename/LastLocLine - Keep track of the last location we print |
| 38 | /// out so that we can print out deltas from then on out. |
| 39 | const char *LastLocFilename; |
| 40 | unsigned LastLocLine; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 41 | public: |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 42 | StmtDumper(SourceManager *sm, FILE *f, unsigned maxDepth) |
| 43 | : SM(sm), F(f), IndentLevel(0-1), MaxDepth(maxDepth) { |
| 44 | LastLocFilename = ""; |
| 45 | LastLocLine = ~0U; |
| 46 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 47 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 48 | void DumpSubTree(Stmt *S) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 49 | // Prune the recursion if not using dump all. |
| 50 | if (MaxDepth == 0) return; |
| 51 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 52 | ++IndentLevel; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 53 | if (S) { |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 54 | if (DeclStmt* DS = dyn_cast<DeclStmt>(S)) |
| 55 | VisitDeclStmt(DS); |
| 56 | else { |
| 57 | Visit(S); |
| 58 | |
| 59 | // Print out children. |
| 60 | Stmt::child_iterator CI = S->child_begin(), CE = S->child_end(); |
| 61 | if (CI != CE) { |
| 62 | while (CI != CE) { |
| 63 | fprintf(F, "\n"); |
| 64 | DumpSubTree(*CI++); |
| 65 | } |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 66 | } |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 67 | fprintf(F, ")"); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 68 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 69 | } else { |
| 70 | Indent(); |
Chris Lattner | 4a70adb | 2007-08-26 03:53:29 +0000 | [diff] [blame] | 71 | fprintf(F, "<<<NULL>>>"); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 72 | } |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 73 | --IndentLevel; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 74 | } |
| 75 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 76 | void DumpDeclarator(Decl *D); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 77 | |
| 78 | void Indent() const { |
| 79 | for (int i = 0, e = IndentLevel; i < e; ++i) |
| 80 | fprintf(F, " "); |
| 81 | } |
| 82 | |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 83 | void DumpType(QualType T) { |
Chris Lattner | fd8f7da | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 84 | fprintf(F, "'%s'", T.getAsString().c_str()); |
| 85 | |
| 86 | // If the type is directly a typedef, strip off typedefness to give at |
| 87 | // least one level of concreteness. |
Chris Lattner | bad3785 | 2008-04-02 05:06:23 +0000 | [diff] [blame] | 88 | if (TypedefType *TDT = dyn_cast<TypedefType>(T)) { |
| 89 | QualType Simplified = |
| 90 | TDT->LookThroughTypedefs().getQualifiedType(T.getCVRQualifiers()); |
| 91 | fprintf(F, ":'%s'", Simplified.getAsString().c_str()); |
| 92 | } |
Chris Lattner | fd8f7da | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 93 | } |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 94 | void DumpStmt(const Stmt *Node) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 95 | Indent(); |
| 96 | fprintf(F, "(%s %p", Node->getStmtClassName(), (void*)Node); |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 97 | DumpSourceRange(Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 98 | } |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 99 | void DumpExpr(const Expr *Node) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 100 | DumpStmt(Node); |
Chris Lattner | fd8f7da | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 101 | fprintf(F, " "); |
| 102 | DumpType(Node->getType()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 103 | } |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 104 | void DumpSourceRange(const Stmt *Node); |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 105 | void DumpLocation(SourceLocation Loc); |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 106 | |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 107 | // Stmts. |
Chris Lattner | c5598cb | 2007-08-21 04:04:25 +0000 | [diff] [blame] | 108 | void VisitStmt(Stmt *Node); |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 109 | void VisitDeclStmt(DeclStmt *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 110 | void VisitLabelStmt(LabelStmt *Node); |
| 111 | void VisitGotoStmt(GotoStmt *Node); |
| 112 | |
| 113 | // Exprs |
| 114 | void VisitExpr(Expr *Node); |
| 115 | void VisitDeclRefExpr(DeclRefExpr *Node); |
Chris Lattner | d9f6910 | 2008-08-10 01:53:14 +0000 | [diff] [blame] | 116 | void VisitPredefinedExpr(PredefinedExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 117 | void VisitCharacterLiteral(CharacterLiteral *Node); |
| 118 | void VisitIntegerLiteral(IntegerLiteral *Node); |
| 119 | void VisitFloatingLiteral(FloatingLiteral *Node); |
| 120 | void VisitStringLiteral(StringLiteral *Str); |
| 121 | void VisitUnaryOperator(UnaryOperator *Node); |
Sebastian Redl | 0518999 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 122 | void VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 123 | void VisitMemberExpr(MemberExpr *Node); |
Nate Begeman | 213541a | 2008-04-18 23:10:10 +0000 | [diff] [blame] | 124 | void VisitExtVectorElementExpr(ExtVectorElementExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 125 | void VisitBinaryOperator(BinaryOperator *Node); |
| 126 | void VisitCompoundAssignOperator(CompoundAssignOperator *Node); |
| 127 | void VisitAddrLabelExpr(AddrLabelExpr *Node); |
| 128 | void VisitTypesCompatibleExpr(TypesCompatibleExpr *Node); |
| 129 | |
| 130 | // C++ |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 131 | void VisitCXXNamedCastExpr(CXXNamedCastExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 132 | void VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *Node); |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 133 | void VisitCXXThisExpr(CXXThisExpr *Node); |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 134 | void VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *Node); |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 135 | |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 136 | // ObjC |
| 137 | void VisitObjCEncodeExpr(ObjCEncodeExpr *Node); |
Ted Kremenek | b3d914b | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 138 | void VisitObjCMessageExpr(ObjCMessageExpr* Node); |
Fariborz Jahanian | b62f681 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 139 | void VisitObjCSelectorExpr(ObjCSelectorExpr *Node); |
Fariborz Jahanian | 390d50a | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 140 | void VisitObjCProtocolExpr(ObjCProtocolExpr *Node); |
Daniel Dunbar | 7f8ea5c | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 141 | void VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *Node); |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 142 | void VisitObjCIvarRefExpr(ObjCIvarRefExpr *Node); |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 143 | void VisitObjCSuperExpr(ObjCSuperExpr *Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 144 | }; |
| 145 | } |
| 146 | |
| 147 | //===----------------------------------------------------------------------===// |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 148 | // Utilities |
| 149 | //===----------------------------------------------------------------------===// |
| 150 | |
| 151 | void StmtDumper::DumpLocation(SourceLocation Loc) { |
| 152 | SourceLocation PhysLoc = SM->getPhysicalLoc(Loc); |
| 153 | |
| 154 | // The general format we print out is filename:line:col, but we drop pieces |
| 155 | // that haven't changed since the last loc printed. |
| 156 | const char *Filename = SM->getSourceName(PhysLoc); |
| 157 | unsigned LineNo = SM->getLineNumber(PhysLoc); |
| 158 | if (strcmp(Filename, LastLocFilename) != 0) { |
| 159 | fprintf(stderr, "%s:%u:%u", Filename, LineNo, SM->getColumnNumber(PhysLoc)); |
| 160 | LastLocFilename = Filename; |
| 161 | LastLocLine = LineNo; |
| 162 | } else if (LineNo != LastLocLine) { |
| 163 | fprintf(stderr, "line:%u:%u", LineNo, SM->getColumnNumber(PhysLoc)); |
| 164 | LastLocLine = LineNo; |
| 165 | } else { |
| 166 | fprintf(stderr, "col:%u", SM->getColumnNumber(PhysLoc)); |
| 167 | } |
| 168 | } |
| 169 | |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 170 | void StmtDumper::DumpSourceRange(const Stmt *Node) { |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 171 | // Can't translate locations if a SourceManager isn't available. |
| 172 | if (SM == 0) return; |
| 173 | |
| 174 | // TODO: If the parent expression is available, we can print a delta vs its |
| 175 | // location. |
| 176 | SourceRange R = Node->getSourceRange(); |
| 177 | |
| 178 | fprintf(stderr, " <"); |
Chris Lattner | 311ff02 | 2007-10-16 22:36:42 +0000 | [diff] [blame] | 179 | DumpLocation(R.getBegin()); |
| 180 | if (R.getBegin() != R.getEnd()) { |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 181 | fprintf(stderr, ", "); |
Chris Lattner | 311ff02 | 2007-10-16 22:36:42 +0000 | [diff] [blame] | 182 | DumpLocation(R.getEnd()); |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 183 | } |
| 184 | fprintf(stderr, ">"); |
| 185 | |
| 186 | // <t2.c:123:421[blah], t2.c:412:321> |
| 187 | |
| 188 | } |
| 189 | |
| 190 | |
| 191 | //===----------------------------------------------------------------------===// |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 192 | // Stmt printing methods. |
| 193 | //===----------------------------------------------------------------------===// |
| 194 | |
| 195 | void StmtDumper::VisitStmt(Stmt *Node) { |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 196 | DumpStmt(Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 197 | } |
| 198 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 199 | void StmtDumper::DumpDeclarator(Decl *D) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 200 | // FIXME: Need to complete/beautify this... this code simply shows the |
| 201 | // nodes are where they need to be. |
| 202 | if (TypedefDecl *localType = dyn_cast<TypedefDecl>(D)) { |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 203 | fprintf(F, "\"typedef %s %s\"", |
| 204 | localType->getUnderlyingType().getAsString().c_str(), |
| 205 | localType->getName()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 206 | } else if (ValueDecl *VD = dyn_cast<ValueDecl>(D)) { |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 207 | fprintf(F, "\""); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 208 | // Emit storage class for vardecls. |
| 209 | if (VarDecl *V = dyn_cast<VarDecl>(VD)) { |
| 210 | switch (V->getStorageClass()) { |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 211 | default: assert(0 && "Unknown storage class!"); |
| 212 | case VarDecl::None: break; |
| 213 | case VarDecl::Extern: fprintf(F, "extern "); break; |
| 214 | case VarDecl::Static: fprintf(F, "static "); break; |
| 215 | case VarDecl::Auto: fprintf(F, "auto "); break; |
| 216 | case VarDecl::Register: fprintf(F, "register "); break; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 217 | } |
| 218 | } |
| 219 | |
| 220 | std::string Name = VD->getName(); |
| 221 | VD->getType().getAsStringInternal(Name); |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 222 | fprintf(F, "%s", Name.c_str()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 223 | |
| 224 | // If this is a vardecl with an initializer, emit it. |
| 225 | if (VarDecl *V = dyn_cast<VarDecl>(VD)) { |
| 226 | if (V->getInit()) { |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 227 | fprintf(F, " =\n"); |
| 228 | DumpSubTree(V->getInit()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 229 | } |
| 230 | } |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 231 | fprintf(F, "\""); |
Steve Naroff | 9219928 | 2007-11-17 21:37:36 +0000 | [diff] [blame] | 232 | } else if (TagDecl *TD = dyn_cast<TagDecl>(D)) { |
| 233 | // print a free standing tag decl (e.g. "struct x;"). |
| 234 | const char *tagname; |
| 235 | if (const IdentifierInfo *II = TD->getIdentifier()) |
| 236 | tagname = II->getName(); |
| 237 | else |
| 238 | tagname = "<anonymous>"; |
| 239 | fprintf(F, "\"%s %s;\"", TD->getKindName(), tagname); |
| 240 | // FIXME: print tag bodies. |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 241 | } else { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 242 | assert(0 && "Unexpected decl"); |
| 243 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 244 | } |
| 245 | |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 246 | void StmtDumper::VisitDeclStmt(DeclStmt *Node) { |
| 247 | DumpStmt(Node); |
| 248 | fprintf(F,"\n"); |
Ted Kremenek | 04a72b7 | 2008-10-06 18:38:35 +0000 | [diff] [blame] | 249 | for (DeclStmt::decl_iterator DI = Node->decl_begin(), DE = Node->decl_end(); |
| 250 | DI != DE; ++DI) { |
| 251 | ScopedDecl* D = *DI; |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 252 | ++IndentLevel; |
| 253 | Indent(); |
| 254 | fprintf(F, "%p ", (void*) D); |
| 255 | DumpDeclarator(D); |
| 256 | if (D->getNextDeclarator()) |
| 257 | fprintf(F,"\n"); |
| 258 | --IndentLevel; |
| 259 | } |
| 260 | } |
| 261 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 262 | void StmtDumper::VisitLabelStmt(LabelStmt *Node) { |
| 263 | DumpStmt(Node); |
Chris Lattner | 3cb640b | 2008-07-26 19:24:43 +0000 | [diff] [blame] | 264 | fprintf(F, " '%s'", Node->getName()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 265 | } |
| 266 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 267 | void StmtDumper::VisitGotoStmt(GotoStmt *Node) { |
| 268 | DumpStmt(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 269 | fprintf(F, " '%s':%p", Node->getLabel()->getName(), (void*)Node->getLabel()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 270 | } |
| 271 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 272 | //===----------------------------------------------------------------------===// |
| 273 | // Expr printing methods. |
| 274 | //===----------------------------------------------------------------------===// |
| 275 | |
| 276 | void StmtDumper::VisitExpr(Expr *Node) { |
| 277 | DumpExpr(Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 278 | } |
| 279 | |
| 280 | void StmtDumper::VisitDeclRefExpr(DeclRefExpr *Node) { |
| 281 | DumpExpr(Node); |
Ted Kremenek | eb641f9 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 282 | |
| 283 | fprintf(F, " "); |
| 284 | switch (Node->getDecl()->getKind()) { |
| 285 | case Decl::Function: fprintf(F,"FunctionDecl"); break; |
Steve Naroff | 248a753 | 2008-04-15 22:42:06 +0000 | [diff] [blame] | 286 | case Decl::Var: fprintf(F,"Var"); break; |
Chris Lattner | aa9fc46 | 2007-10-08 21:37:32 +0000 | [diff] [blame] | 287 | case Decl::ParmVar: fprintf(F,"ParmVar"); break; |
Ted Kremenek | eb641f9 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 288 | case Decl::EnumConstant: fprintf(F,"EnumConstant"); break; |
| 289 | case Decl::Typedef: fprintf(F,"Typedef"); break; |
Argyrios Kyrtzidis | 35bc082 | 2008-10-15 00:42:39 +0000 | [diff] [blame] | 290 | case Decl::Record: fprintf(F,"Record"); break; |
Ted Kremenek | eb641f9 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 291 | case Decl::Enum: fprintf(F,"Enum"); break; |
Argyrios Kyrtzidis | 35bc082 | 2008-10-15 00:42:39 +0000 | [diff] [blame] | 292 | case Decl::CXXRecord: fprintf(F,"CXXRecord"); break; |
Ted Kremenek | a526c5c | 2008-01-07 19:49:32 +0000 | [diff] [blame] | 293 | case Decl::ObjCInterface: fprintf(F,"ObjCInterface"); break; |
| 294 | case Decl::ObjCClass: fprintf(F,"ObjCClass"); break; |
Ted Kremenek | eb641f9 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 295 | default: fprintf(F,"Decl"); break; |
| 296 | } |
| 297 | |
| 298 | fprintf(F, "='%s' %p", Node->getDecl()->getName(), (void*)Node->getDecl()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 299 | } |
| 300 | |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 301 | void StmtDumper::VisitObjCIvarRefExpr(ObjCIvarRefExpr *Node) { |
Steve Naroff | 466c2e3 | 2008-05-23 00:59:14 +0000 | [diff] [blame] | 302 | DumpExpr(Node); |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 303 | |
Steve Naroff | 466c2e3 | 2008-05-23 00:59:14 +0000 | [diff] [blame] | 304 | fprintf(F, " %sDecl='%s' %p", Node->getDecl()->getDeclKindName(), |
| 305 | Node->getDecl()->getName(), (void*)Node->getDecl()); |
Steve Naroff | 218543b | 2008-05-23 22:01:24 +0000 | [diff] [blame] | 306 | if (Node->isFreeIvar()) |
| 307 | fprintf(F, " isFreeIvar"); |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 308 | } |
| 309 | |
Chris Lattner | d9f6910 | 2008-08-10 01:53:14 +0000 | [diff] [blame] | 310 | void StmtDumper::VisitPredefinedExpr(PredefinedExpr *Node) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 311 | DumpExpr(Node); |
| 312 | switch (Node->getIdentType()) { |
Chris Lattner | 0d17f6f | 2008-06-21 18:04:54 +0000 | [diff] [blame] | 313 | default: assert(0 && "unknown case"); |
Chris Lattner | d9f6910 | 2008-08-10 01:53:14 +0000 | [diff] [blame] | 314 | case PredefinedExpr::Func: fprintf(F, " __func__"); break; |
| 315 | case PredefinedExpr::Function: fprintf(F, " __FUNCTION__"); break; |
| 316 | case PredefinedExpr::PrettyFunction: fprintf(F, " __PRETTY_FUNCTION__");break; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 317 | } |
| 318 | } |
| 319 | |
| 320 | void StmtDumper::VisitCharacterLiteral(CharacterLiteral *Node) { |
Chris Lattner | a0df31a | 2007-08-09 01:04:32 +0000 | [diff] [blame] | 321 | DumpExpr(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 322 | fprintf(F, " %d", Node->getValue()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 323 | } |
| 324 | |
| 325 | void StmtDumper::VisitIntegerLiteral(IntegerLiteral *Node) { |
| 326 | DumpExpr(Node); |
| 327 | |
| 328 | bool isSigned = Node->getType()->isSignedIntegerType(); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 329 | fprintf(F, " %s", Node->getValue().toString(10, isSigned).c_str()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 330 | } |
| 331 | void StmtDumper::VisitFloatingLiteral(FloatingLiteral *Node) { |
| 332 | DumpExpr(Node); |
Chris Lattner | da8249e | 2008-06-07 22:13:43 +0000 | [diff] [blame] | 333 | fprintf(F, " %f", Node->getValueAsApproximateDouble()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 334 | } |
Chris Lattner | 5d66145 | 2007-08-26 03:42:43 +0000 | [diff] [blame] | 335 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 336 | void StmtDumper::VisitStringLiteral(StringLiteral *Str) { |
Chris Lattner | a0df31a | 2007-08-09 01:04:32 +0000 | [diff] [blame] | 337 | DumpExpr(Str); |
| 338 | // FIXME: this doesn't print wstrings right. |
Chris Lattner | 5fc6107 | 2007-08-09 17:14:24 +0000 | [diff] [blame] | 339 | fprintf(F, " %s\"", Str->isWide() ? "L" : ""); |
Chris Lattner | a0df31a | 2007-08-09 01:04:32 +0000 | [diff] [blame] | 340 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 341 | for (unsigned i = 0, e = Str->getByteLength(); i != e; ++i) { |
Chris Lattner | 5fc6107 | 2007-08-09 17:14:24 +0000 | [diff] [blame] | 342 | switch (char C = Str->getStrData()[i]) { |
| 343 | default: |
| 344 | if (isprint(C)) |
| 345 | fputc(C, F); |
| 346 | else |
| 347 | fprintf(F, "\\%03o", C); |
| 348 | break; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 349 | // Handle some common ones to make dumps prettier. |
Chris Lattner | 5fc6107 | 2007-08-09 17:14:24 +0000 | [diff] [blame] | 350 | case '\\': fprintf(F, "\\\\"); break; |
| 351 | case '"': fprintf(F, "\\\""); break; |
| 352 | case '\n': fprintf(F, "\\n"); break; |
| 353 | case '\t': fprintf(F, "\\t"); break; |
| 354 | case '\a': fprintf(F, "\\a"); break; |
| 355 | case '\b': fprintf(F, "\\b"); break; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 356 | } |
| 357 | } |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 358 | fprintf(F, "\""); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 359 | } |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 360 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 361 | void StmtDumper::VisitUnaryOperator(UnaryOperator *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 362 | DumpExpr(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 363 | fprintf(F, " %s '%s'", Node->isPostfix() ? "postfix" : "prefix", |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 364 | UnaryOperator::getOpcodeStr(Node->getOpcode())); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 365 | } |
Sebastian Redl | 0518999 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 366 | void StmtDumper::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 367 | DumpExpr(Node); |
| 368 | fprintf(F, " %s ", Node->isSizeOf() ? "sizeof" : "alignof"); |
Sebastian Redl | 0518999 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 369 | if (Node->isArgumentType()) |
| 370 | DumpType(Node->getArgumentType()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 371 | } |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 372 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 373 | void StmtDumper::VisitMemberExpr(MemberExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 374 | DumpExpr(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 375 | fprintf(F, " %s%s %p", Node->isArrow() ? "->" : ".", |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 376 | Node->getMemberDecl()->getName(), (void*)Node->getMemberDecl()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 377 | } |
Nate Begeman | 213541a | 2008-04-18 23:10:10 +0000 | [diff] [blame] | 378 | void StmtDumper::VisitExtVectorElementExpr(ExtVectorElementExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 379 | DumpExpr(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 380 | fprintf(F, " %s", Node->getAccessor().getName()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 381 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 382 | void StmtDumper::VisitBinaryOperator(BinaryOperator *Node) { |
| 383 | DumpExpr(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 384 | fprintf(F, " '%s'", BinaryOperator::getOpcodeStr(Node->getOpcode())); |
Chris Lattner | eb14fe8 | 2007-08-25 02:00:02 +0000 | [diff] [blame] | 385 | } |
| 386 | void StmtDumper::VisitCompoundAssignOperator(CompoundAssignOperator *Node) { |
| 387 | DumpExpr(Node); |
| 388 | fprintf(F, " '%s' ComputeTy=", |
| 389 | BinaryOperator::getOpcodeStr(Node->getOpcode())); |
| 390 | DumpType(Node->getComputationType()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 391 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 392 | |
| 393 | // GNU extensions. |
| 394 | |
| 395 | void StmtDumper::VisitAddrLabelExpr(AddrLabelExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 396 | DumpExpr(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 397 | fprintf(F, " %s %p", Node->getLabel()->getName(), (void*)Node->getLabel()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 398 | } |
| 399 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 400 | void StmtDumper::VisitTypesCompatibleExpr(TypesCompatibleExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 401 | DumpExpr(Node); |
| 402 | fprintf(F, " "); |
| 403 | DumpType(Node->getArgType1()); |
| 404 | fprintf(F, " "); |
| 405 | DumpType(Node->getArgType2()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 406 | } |
| 407 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 408 | //===----------------------------------------------------------------------===// |
| 409 | // C++ Expressions |
| 410 | //===----------------------------------------------------------------------===// |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 411 | |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 412 | void StmtDumper::VisitCXXNamedCastExpr(CXXNamedCastExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 413 | DumpExpr(Node); |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 414 | fprintf(F, " %s<%s>", Node->getCastName(), |
| 415 | Node->getTypeAsWritten().getAsString().c_str()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 416 | } |
| 417 | |
| 418 | void StmtDumper::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 419 | DumpExpr(Node); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 420 | fprintf(F, " %s", Node->getValue() ? "true" : "false"); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 421 | } |
| 422 | |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 423 | void StmtDumper::VisitCXXThisExpr(CXXThisExpr *Node) { |
| 424 | DumpExpr(Node); |
| 425 | fprintf(F, " this"); |
| 426 | } |
| 427 | |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 428 | void StmtDumper::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *Node) { |
| 429 | DumpExpr(Node); |
| 430 | fprintf(F, " functional cast to %s", |
| 431 | Node->getTypeAsWritten().getAsString().c_str()); |
| 432 | } |
| 433 | |
Anders Carlsson | 5508518 | 2007-08-21 17:43:55 +0000 | [diff] [blame] | 434 | //===----------------------------------------------------------------------===// |
| 435 | // Obj-C Expressions |
| 436 | //===----------------------------------------------------------------------===// |
| 437 | |
Ted Kremenek | b3d914b | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 438 | void StmtDumper::VisitObjCMessageExpr(ObjCMessageExpr* Node) { |
| 439 | DumpExpr(Node); |
| 440 | fprintf(F, " selector=%s", Node->getSelector().getName().c_str()); |
Ted Kremenek | ea958e57 | 2008-05-01 17:26:20 +0000 | [diff] [blame] | 441 | IdentifierInfo* clsName = Node->getClassName(); |
| 442 | if (clsName) fprintf(F, " class=%s", clsName->getName()); |
Ted Kremenek | b3d914b | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 443 | } |
| 444 | |
Anders Carlsson | f9bcf01 | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 445 | void StmtDumper::VisitObjCEncodeExpr(ObjCEncodeExpr *Node) { |
| 446 | DumpExpr(Node); |
| 447 | |
| 448 | fprintf(F, " "); |
| 449 | DumpType(Node->getEncodedType()); |
Anders Carlsson | f9bcf01 | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 450 | } |
| 451 | |
Fariborz Jahanian | b62f681 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 452 | void StmtDumper::VisitObjCSelectorExpr(ObjCSelectorExpr *Node) { |
| 453 | DumpExpr(Node); |
| 454 | |
| 455 | fprintf(F, " "); |
Ted Kremenek | 97b7f26 | 2008-04-16 04:30:16 +0000 | [diff] [blame] | 456 | Selector selector = Node->getSelector(); |
Fariborz Jahanian | c5c42f5 | 2007-10-16 21:07:53 +0000 | [diff] [blame] | 457 | fprintf(F, "%s", selector.getName().c_str()); |
Fariborz Jahanian | b62f681 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 458 | } |
| 459 | |
Fariborz Jahanian | 390d50a | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 460 | void StmtDumper::VisitObjCProtocolExpr(ObjCProtocolExpr *Node) { |
| 461 | DumpExpr(Node); |
| 462 | |
| 463 | fprintf(F, " "); |
| 464 | fprintf(F, "%s", Node->getProtocol()->getName()); |
| 465 | } |
Daniel Dunbar | 7f8ea5c | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 466 | |
| 467 | void StmtDumper::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *Node) { |
| 468 | DumpExpr(Node); |
Daniel Dunbar | e66f4e3 | 2008-09-03 00:27:26 +0000 | [diff] [blame] | 469 | |
| 470 | if (Node->getKind() == ObjCPropertyRefExpr::MethodRef) { |
| 471 | ObjCMethodDecl *Getter = Node->getGetterMethod(); |
| 472 | ObjCMethodDecl *Setter = Node->getSetterMethod(); |
| 473 | fprintf(F, " Kind=MethodRef Getter=\"%s\" Setter=\"%s\"", |
| 474 | Getter->getSelector().getName().c_str(), |
| 475 | Setter ? Setter->getSelector().getName().c_str() : "(null)"); |
Daniel Dunbar | 7f8ea5c | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 476 | } else { |
Daniel Dunbar | e66f4e3 | 2008-09-03 00:27:26 +0000 | [diff] [blame] | 477 | fprintf(F, " Kind=PropertyRef Property=\"%s\"", Node->getProperty()->getName()); |
Daniel Dunbar | 7f8ea5c | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 478 | } |
| 479 | } |
| 480 | |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 481 | void StmtDumper::VisitObjCSuperExpr(ObjCSuperExpr *Node) { |
| 482 | DumpExpr(Node); |
| 483 | fprintf(F, " super"); |
| 484 | } |
| 485 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 486 | //===----------------------------------------------------------------------===// |
| 487 | // Stmt method implementations |
| 488 | //===----------------------------------------------------------------------===// |
| 489 | |
| 490 | /// dump - This does a local dump of the specified AST fragment. It dumps the |
| 491 | /// specified node and a few nodes underneath it, but not the whole subtree. |
| 492 | /// This is useful in a debugger. |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 493 | void Stmt::dump(SourceManager &SM) const { |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 494 | StmtDumper P(&SM, stderr, 4); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 495 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 496 | fprintf(stderr, "\n"); |
| 497 | } |
| 498 | |
| 499 | /// dump - This does a local dump of the specified AST fragment. It dumps the |
| 500 | /// specified node and a few nodes underneath it, but not the whole subtree. |
| 501 | /// This is useful in a debugger. |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 502 | void Stmt::dump() const { |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 503 | StmtDumper P(0, stderr, 4); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 504 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 505 | fprintf(stderr, "\n"); |
| 506 | } |
| 507 | |
| 508 | /// dumpAll - This does a dump of the specified AST fragment and all subtrees. |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 509 | void Stmt::dumpAll(SourceManager &SM) const { |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 510 | StmtDumper P(&SM, stderr, ~0U); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 511 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Chris Lattner | ee41ce5 | 2007-08-10 21:51:12 +0000 | [diff] [blame] | 512 | fprintf(stderr, "\n"); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 513 | } |
| 514 | |
| 515 | /// dumpAll - This does a dump of the specified AST fragment and all subtrees. |
| 516 | void Stmt::dumpAll() const { |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 517 | StmtDumper P(0, stderr, ~0U); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 518 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Chris Lattner | ee41ce5 | 2007-08-10 21:51:12 +0000 | [diff] [blame] | 519 | fprintf(stderr, "\n"); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 520 | } |