Chris Lattner | cbe4f77 | 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 | 5b12ab8 | 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 | cbe4f77 | 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 | 5c84c01 | 2007-10-17 18:36:42 +0000 | [diff] [blame] | 16 | #include "clang/AST/DeclObjC.h" |
Douglas Gregor | 889ceb7 | 2009-02-03 19:21:40 +0000 | [diff] [blame] | 17 | #include "clang/AST/DeclCXX.h" |
Douglas Gregor | 7de5966 | 2009-05-29 20:38:28 +0000 | [diff] [blame] | 18 | #include "clang/AST/PrettyPrinter.h" |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 19 | #include "clang/Basic/SourceManager.h" |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 20 | #include "llvm/Support/raw_ostream.h" |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 21 | using namespace clang; |
| 22 | |
| 23 | //===----------------------------------------------------------------------===// |
| 24 | // StmtDumper Visitor |
| 25 | //===----------------------------------------------------------------------===// |
| 26 | |
| 27 | namespace { |
Benjamin Kramer | 26222b6 | 2009-11-28 19:03:38 +0000 | [diff] [blame] | 28 | class StmtDumper : public StmtVisitor<StmtDumper> { |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 29 | SourceManager *SM; |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 30 | llvm::raw_ostream &OS; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 31 | unsigned IndentLevel; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 32 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 33 | /// MaxDepth - When doing a normal dump (not dumpAll) we only want to dump |
| 34 | /// the first few levels of an AST. This keeps track of how many ast levels |
| 35 | /// are left. |
| 36 | unsigned MaxDepth; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 37 | |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 38 | /// LastLocFilename/LastLocLine - Keep track of the last location we print |
| 39 | /// out so that we can print out deltas from then on out. |
| 40 | const char *LastLocFilename; |
| 41 | unsigned LastLocLine; |
Douglas Gregor | 7de5966 | 2009-05-29 20:38:28 +0000 | [diff] [blame] | 42 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 43 | public: |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 44 | StmtDumper(SourceManager *sm, llvm::raw_ostream &os, unsigned maxDepth) |
| 45 | : SM(sm), OS(os), IndentLevel(0-1), MaxDepth(maxDepth) { |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 46 | LastLocFilename = ""; |
| 47 | LastLocLine = ~0U; |
| 48 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 49 | |
Chris Lattner | 8f184b1 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 50 | void DumpSubTree(Stmt *S) { |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 51 | // Prune the recursion if not using dump all. |
| 52 | if (MaxDepth == 0) return; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 53 | |
Chris Lattner | 8f184b1 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 54 | ++IndentLevel; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 55 | if (S) { |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 56 | if (DeclStmt* DS = dyn_cast<DeclStmt>(S)) |
| 57 | VisitDeclStmt(DS); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 58 | else { |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 59 | Visit(S); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 60 | |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 61 | // Print out children. |
| 62 | Stmt::child_iterator CI = S->child_begin(), CE = S->child_end(); |
| 63 | if (CI != CE) { |
| 64 | while (CI != CE) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 65 | OS << '\n'; |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 66 | DumpSubTree(*CI++); |
| 67 | } |
Fariborz Jahanian | c6bf0bd | 2010-08-31 18:02:20 +0000 | [diff] [blame] | 68 | if (const ConditionalOperator *CO = |
| 69 | dyn_cast<ConditionalOperator>(S)) { |
| 70 | if (CO->getSAVE()) { |
| 71 | OS << '\n'; |
| 72 | DumpSubTree(CO->getSAVE()); |
| 73 | } |
| 74 | } |
Chris Lattner | cfb83dd | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 75 | } |
| 76 | } |
Chris Lattner | edde8a9 | 2010-05-25 17:56:43 +0000 | [diff] [blame] | 77 | OS << ')'; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 78 | } else { |
| 79 | Indent(); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 80 | OS << "<<<NULL>>>"; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 81 | } |
Chris Lattner | 8f184b1 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 82 | --IndentLevel; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 83 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 84 | |
Chris Lattner | 8f184b1 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 85 | void DumpDeclarator(Decl *D); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 86 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 87 | void Indent() const { |
| 88 | for (int i = 0, e = IndentLevel; i < e; ++i) |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 89 | OS << " "; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 90 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 91 | |
Steve Naroff | 42a350a | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 92 | void DumpType(QualType T) { |
John McCall | 717d9b0 | 2010-12-10 11:01:00 +0000 | [diff] [blame] | 93 | SplitQualType T_split = T.split(); |
| 94 | OS << "'" << QualType::getAsString(T_split) << "'"; |
Chris Lattner | 9bcd915 | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 95 | |
Douglas Gregor | 5835403 | 2008-12-24 00:01:03 +0000 | [diff] [blame] | 96 | if (!T.isNull()) { |
John McCall | 8ccfcb5 | 2009-09-24 19:53:00 +0000 | [diff] [blame] | 97 | // If the type is sugared, also dump a (shallow) desugared type. |
John McCall | 717d9b0 | 2010-12-10 11:01:00 +0000 | [diff] [blame] | 98 | SplitQualType D_split = T.getSplitDesugaredType(); |
| 99 | if (T_split != D_split) |
| 100 | OS << ":'" << QualType::getAsString(D_split) << "'"; |
Chris Lattner | 091718d | 2008-04-02 05:06:23 +0000 | [diff] [blame] | 101 | } |
Chris Lattner | 9bcd915 | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 102 | } |
John McCall | 351762c | 2011-02-07 10:33:21 +0000 | [diff] [blame^] | 103 | void DumpDeclRef(Decl *node); |
Steve Naroff | 42a350a | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 104 | void DumpStmt(const Stmt *Node) { |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 105 | Indent(); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 106 | OS << "(" << Node->getStmtClassName() |
| 107 | << " " << (void*)Node; |
Steve Naroff | 42a350a | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 108 | DumpSourceRange(Node); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 109 | } |
John McCall | 7decc9e | 2010-11-18 06:31:45 +0000 | [diff] [blame] | 110 | void DumpValueKind(ExprValueKind K) { |
| 111 | switch (K) { |
| 112 | case VK_RValue: break; |
| 113 | case VK_LValue: OS << " lvalue"; break; |
| 114 | case VK_XValue: OS << " xvalue"; break; |
| 115 | } |
| 116 | } |
| 117 | void DumpObjectKind(ExprObjectKind K) { |
| 118 | switch (K) { |
| 119 | case OK_Ordinary: break; |
| 120 | case OK_BitField: OS << " bitfield"; break; |
| 121 | case OK_ObjCProperty: OS << " objcproperty"; break; |
| 122 | case OK_VectorComponent: OS << " vectorcomponent"; break; |
| 123 | } |
| 124 | } |
Steve Naroff | 42a350a | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 125 | void DumpExpr(const Expr *Node) { |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 126 | DumpStmt(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 127 | OS << ' '; |
Chris Lattner | 9bcd915 | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 128 | DumpType(Node->getType()); |
John McCall | 7decc9e | 2010-11-18 06:31:45 +0000 | [diff] [blame] | 129 | DumpValueKind(Node->getValueKind()); |
| 130 | DumpObjectKind(Node->getObjectKind()); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 131 | } |
Steve Naroff | 42a350a | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 132 | void DumpSourceRange(const Stmt *Node); |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 133 | void DumpLocation(SourceLocation Loc); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 134 | |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 135 | // Stmts. |
Chris Lattner | 62249a6 | 2007-08-21 04:04:25 +0000 | [diff] [blame] | 136 | void VisitStmt(Stmt *Node); |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 137 | void VisitDeclStmt(DeclStmt *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 138 | void VisitLabelStmt(LabelStmt *Node); |
| 139 | void VisitGotoStmt(GotoStmt *Node); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 140 | |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 141 | // Exprs |
| 142 | void VisitExpr(Expr *Node); |
Anders Carlsson | d7923c6 | 2009-08-22 23:33:40 +0000 | [diff] [blame] | 143 | void VisitCastExpr(CastExpr *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 144 | void VisitDeclRefExpr(DeclRefExpr *Node); |
Chris Lattner | 6307f19 | 2008-08-10 01:53:14 +0000 | [diff] [blame] | 145 | void VisitPredefinedExpr(PredefinedExpr *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 146 | void VisitCharacterLiteral(CharacterLiteral *Node); |
| 147 | void VisitIntegerLiteral(IntegerLiteral *Node); |
| 148 | void VisitFloatingLiteral(FloatingLiteral *Node); |
| 149 | void VisitStringLiteral(StringLiteral *Str); |
| 150 | void VisitUnaryOperator(UnaryOperator *Node); |
Sebastian Redl | 6f28289 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 151 | void VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 152 | void VisitMemberExpr(MemberExpr *Node); |
Nate Begeman | ce4d7fc | 2008-04-18 23:10:10 +0000 | [diff] [blame] | 153 | void VisitExtVectorElementExpr(ExtVectorElementExpr *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 154 | void VisitBinaryOperator(BinaryOperator *Node); |
| 155 | void VisitCompoundAssignOperator(CompoundAssignOperator *Node); |
| 156 | void VisitAddrLabelExpr(AddrLabelExpr *Node); |
John McCall | 351762c | 2011-02-07 10:33:21 +0000 | [diff] [blame^] | 157 | void VisitBlockExpr(BlockExpr *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 158 | |
| 159 | // C++ |
Douglas Gregor | e200adc | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 160 | void VisitCXXNamedCastExpr(CXXNamedCastExpr *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 161 | void VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *Node); |
Douglas Gregor | 8ea1f53 | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 162 | void VisitCXXThisExpr(CXXThisExpr *Node); |
Douglas Gregor | e200adc | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 163 | void VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *Node); |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 164 | void VisitCXXConstructExpr(CXXConstructExpr *Node); |
| 165 | void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *Node); |
John McCall | 5d41378 | 2010-12-06 08:20:24 +0000 | [diff] [blame] | 166 | void VisitExprWithCleanups(ExprWithCleanups *Node); |
John McCall | 76d0994 | 2009-12-11 21:50:11 +0000 | [diff] [blame] | 167 | void VisitUnresolvedLookupExpr(UnresolvedLookupExpr *Node); |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 168 | void DumpCXXTemporary(CXXTemporary *Temporary); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 169 | |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 170 | // ObjC |
Douglas Gregor | 96c7949 | 2010-04-23 22:50:49 +0000 | [diff] [blame] | 171 | void VisitObjCAtCatchStmt(ObjCAtCatchStmt *Node); |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 172 | void VisitObjCEncodeExpr(ObjCEncodeExpr *Node); |
Ted Kremenek | 36748da | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 173 | void VisitObjCMessageExpr(ObjCMessageExpr* Node); |
Fariborz Jahanian | 4bef462 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 174 | void VisitObjCSelectorExpr(ObjCSelectorExpr *Node); |
Fariborz Jahanian | a32aaef | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 175 | void VisitObjCProtocolExpr(ObjCProtocolExpr *Node); |
Daniel Dunbar | 4b8c6db | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 176 | void VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *Node); |
Steve Naroff | 5d5efca | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 177 | void VisitObjCIvarRefExpr(ObjCIvarRefExpr *Node); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 178 | }; |
| 179 | } |
| 180 | |
| 181 | //===----------------------------------------------------------------------===// |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 182 | // Utilities |
| 183 | //===----------------------------------------------------------------------===// |
| 184 | |
| 185 | void StmtDumper::DumpLocation(SourceLocation Loc) { |
Chris Lattner | 53e384f | 2009-01-16 07:00:02 +0000 | [diff] [blame] | 186 | SourceLocation SpellingLoc = SM->getSpellingLoc(Loc); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 187 | |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 188 | // The general format we print out is filename:line:col, but we drop pieces |
| 189 | // that haven't changed since the last loc printed. |
Chris Lattner | f1ca7d3 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 190 | PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc); |
| 191 | |
Douglas Gregor | 453b012 | 2010-11-12 07:15:47 +0000 | [diff] [blame] | 192 | if (PLoc.isInvalid()) { |
| 193 | OS << "<invalid sloc>"; |
| 194 | return; |
| 195 | } |
| 196 | |
Chris Lattner | f1ca7d3 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 197 | if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 198 | OS << PLoc.getFilename() << ':' << PLoc.getLine() |
| 199 | << ':' << PLoc.getColumn(); |
Chris Lattner | f1ca7d3 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 200 | LastLocFilename = PLoc.getFilename(); |
| 201 | LastLocLine = PLoc.getLine(); |
| 202 | } else if (PLoc.getLine() != LastLocLine) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 203 | OS << "line" << ':' << PLoc.getLine() |
| 204 | << ':' << PLoc.getColumn(); |
Chris Lattner | f1ca7d3 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 205 | LastLocLine = PLoc.getLine(); |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 206 | } else { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 207 | OS << "col" << ':' << PLoc.getColumn(); |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 208 | } |
| 209 | } |
| 210 | |
Steve Naroff | 42a350a | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 211 | void StmtDumper::DumpSourceRange(const Stmt *Node) { |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 212 | // Can't translate locations if a SourceManager isn't available. |
| 213 | if (SM == 0) return; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 214 | |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 215 | // TODO: If the parent expression is available, we can print a delta vs its |
| 216 | // location. |
| 217 | SourceRange R = Node->getSourceRange(); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 218 | |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 219 | OS << " <"; |
Chris Lattner | a7c19fe | 2007-10-16 22:36:42 +0000 | [diff] [blame] | 220 | DumpLocation(R.getBegin()); |
| 221 | if (R.getBegin() != R.getEnd()) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 222 | OS << ", "; |
Chris Lattner | a7c19fe | 2007-10-16 22:36:42 +0000 | [diff] [blame] | 223 | DumpLocation(R.getEnd()); |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 224 | } |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 225 | OS << ">"; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 226 | |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 227 | // <t2.c:123:421[blah], t2.c:412:321> |
| 228 | |
| 229 | } |
| 230 | |
| 231 | |
| 232 | //===----------------------------------------------------------------------===// |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 233 | // Stmt printing methods. |
| 234 | //===----------------------------------------------------------------------===// |
| 235 | |
| 236 | void StmtDumper::VisitStmt(Stmt *Node) { |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 237 | DumpStmt(Node); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 238 | } |
| 239 | |
Chris Lattner | 8f184b1 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 240 | void StmtDumper::DumpDeclarator(Decl *D) { |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 241 | // FIXME: Need to complete/beautify this... this code simply shows the |
| 242 | // nodes are where they need to be. |
| 243 | if (TypedefDecl *localType = dyn_cast<TypedefDecl>(D)) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 244 | OS << "\"typedef " << localType->getUnderlyingType().getAsString() |
Benjamin Kramer | b11416d | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 245 | << ' ' << localType << '"'; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 246 | } else if (ValueDecl *VD = dyn_cast<ValueDecl>(D)) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 247 | OS << "\""; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 248 | // Emit storage class for vardecls. |
| 249 | if (VarDecl *V = dyn_cast<VarDecl>(VD)) { |
John McCall | 8e7d656 | 2010-08-26 03:08:43 +0000 | [diff] [blame] | 250 | if (V->getStorageClass() != SC_None) |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 251 | OS << VarDecl::getStorageClassSpecifierString(V->getStorageClass()) |
| 252 | << " "; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 253 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 254 | |
Chris Lattner | 1cbaacc | 2008-11-24 04:00:27 +0000 | [diff] [blame] | 255 | std::string Name = VD->getNameAsString(); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 256 | VD->getType().getAsStringInternal(Name, |
Chris Lattner | c61089a | 2009-06-30 01:26:17 +0000 | [diff] [blame] | 257 | PrintingPolicy(VD->getASTContext().getLangOptions())); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 258 | OS << Name; |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 259 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 260 | // If this is a vardecl with an initializer, emit it. |
| 261 | if (VarDecl *V = dyn_cast<VarDecl>(VD)) { |
| 262 | if (V->getInit()) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 263 | OS << " =\n"; |
Chris Lattner | 8f184b1 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 264 | DumpSubTree(V->getInit()); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 265 | } |
| 266 | } |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 267 | OS << '"'; |
Steve Naroff | 14f5f79 | 2007-11-17 21:37:36 +0000 | [diff] [blame] | 268 | } else if (TagDecl *TD = dyn_cast<TagDecl>(D)) { |
| 269 | // print a free standing tag decl (e.g. "struct x;"). |
| 270 | const char *tagname; |
| 271 | if (const IdentifierInfo *II = TD->getIdentifier()) |
Daniel Dunbar | 2c422dc9 | 2009-10-18 20:26:12 +0000 | [diff] [blame] | 272 | tagname = II->getNameStart(); |
Steve Naroff | 14f5f79 | 2007-11-17 21:37:36 +0000 | [diff] [blame] | 273 | else |
| 274 | tagname = "<anonymous>"; |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 275 | OS << '"' << TD->getKindName() << ' ' << tagname << ";\""; |
Steve Naroff | 14f5f79 | 2007-11-17 21:37:36 +0000 | [diff] [blame] | 276 | // FIXME: print tag bodies. |
Douglas Gregor | 889ceb7 | 2009-02-03 19:21:40 +0000 | [diff] [blame] | 277 | } else if (UsingDirectiveDecl *UD = dyn_cast<UsingDirectiveDecl>(D)) { |
| 278 | // print using-directive decl (e.g. "using namespace x;") |
| 279 | const char *ns; |
| 280 | if (const IdentifierInfo *II = UD->getNominatedNamespace()->getIdentifier()) |
Daniel Dunbar | 2c422dc9 | 2009-10-18 20:26:12 +0000 | [diff] [blame] | 281 | ns = II->getNameStart(); |
Douglas Gregor | 889ceb7 | 2009-02-03 19:21:40 +0000 | [diff] [blame] | 282 | else |
| 283 | ns = "<anonymous>"; |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 284 | OS << '"' << UD->getDeclKindName() << ns << ";\""; |
Sebastian Redl | 80fecff | 2010-05-04 10:20:17 +0000 | [diff] [blame] | 285 | } else if (UsingDecl *UD = dyn_cast<UsingDecl>(D)) { |
| 286 | // print using decl (e.g. "using std::string;") |
| 287 | const char *tn = UD->isTypeName() ? "typename " : ""; |
| 288 | OS << '"' << UD->getDeclKindName() << tn; |
| 289 | UD->getTargetNestedNameDecl()->print(OS, |
| 290 | PrintingPolicy(UD->getASTContext().getLangOptions())); |
| 291 | OS << ";\""; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 292 | } else { |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 293 | assert(0 && "Unexpected decl"); |
| 294 | } |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 295 | } |
| 296 | |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 297 | void StmtDumper::VisitDeclStmt(DeclStmt *Node) { |
| 298 | DumpStmt(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 299 | OS << "\n"; |
Ted Kremenek | 6240848 | 2008-10-06 18:38:35 +0000 | [diff] [blame] | 300 | for (DeclStmt::decl_iterator DI = Node->decl_begin(), DE = Node->decl_end(); |
| 301 | DI != DE; ++DI) { |
Douglas Gregor | 6e6ad60 | 2009-01-20 01:17:11 +0000 | [diff] [blame] | 302 | Decl* D = *DI; |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 303 | ++IndentLevel; |
| 304 | Indent(); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 305 | OS << (void*) D << " "; |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 306 | DumpDeclarator(D); |
Chris Lattner | 3d954d5 | 2009-03-29 16:04:50 +0000 | [diff] [blame] | 307 | if (DI+1 != DE) |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 308 | OS << "\n"; |
Ted Kremenek | 433a492 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 309 | --IndentLevel; |
| 310 | } |
| 311 | } |
| 312 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 313 | void StmtDumper::VisitLabelStmt(LabelStmt *Node) { |
| 314 | DumpStmt(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 315 | OS << " '" << Node->getName() << "'"; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 316 | } |
| 317 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 318 | void StmtDumper::VisitGotoStmt(GotoStmt *Node) { |
| 319 | DumpStmt(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 320 | OS << " '" << Node->getLabel()->getName() |
| 321 | << "':" << (void*)Node->getLabel(); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 322 | } |
| 323 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 324 | //===----------------------------------------------------------------------===// |
| 325 | // Expr printing methods. |
| 326 | //===----------------------------------------------------------------------===// |
| 327 | |
| 328 | void StmtDumper::VisitExpr(Expr *Node) { |
| 329 | DumpExpr(Node); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 330 | } |
| 331 | |
Anders Carlsson | a70cff6 | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 332 | static void DumpBasePath(llvm::raw_ostream &OS, CastExpr *Node) { |
John McCall | cf14216 | 2010-08-07 06:22:56 +0000 | [diff] [blame] | 333 | if (Node->path_empty()) |
Anders Carlsson | a70cff6 | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 334 | return; |
| 335 | |
| 336 | OS << " ("; |
| 337 | bool First = true; |
John McCall | cf14216 | 2010-08-07 06:22:56 +0000 | [diff] [blame] | 338 | for (CastExpr::path_iterator |
| 339 | I = Node->path_begin(), E = Node->path_end(); I != E; ++I) { |
Anders Carlsson | a70cff6 | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 340 | const CXXBaseSpecifier *Base = *I; |
| 341 | if (!First) |
| 342 | OS << " -> "; |
| 343 | |
| 344 | const CXXRecordDecl *RD = |
| 345 | cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl()); |
| 346 | |
| 347 | if (Base->isVirtual()) |
| 348 | OS << "virtual "; |
| 349 | OS << RD->getName(); |
| 350 | First = false; |
| 351 | } |
| 352 | |
| 353 | OS << ')'; |
| 354 | } |
| 355 | |
Anders Carlsson | d7923c6 | 2009-08-22 23:33:40 +0000 | [diff] [blame] | 356 | void StmtDumper::VisitCastExpr(CastExpr *Node) { |
| 357 | DumpExpr(Node); |
Anders Carlsson | a70cff6 | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 358 | OS << " <" << Node->getCastKindName(); |
| 359 | DumpBasePath(OS, Node); |
| 360 | OS << ">"; |
Anders Carlsson | d7923c6 | 2009-08-22 23:33:40 +0000 | [diff] [blame] | 361 | } |
| 362 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 363 | void StmtDumper::VisitDeclRefExpr(DeclRefExpr *Node) { |
| 364 | DumpExpr(Node); |
Ted Kremenek | 5f64ca8 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 365 | |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 366 | OS << " "; |
John McCall | 351762c | 2011-02-07 10:33:21 +0000 | [diff] [blame^] | 367 | DumpDeclRef(Node->getDecl()); |
| 368 | } |
| 369 | |
| 370 | void StmtDumper::DumpDeclRef(Decl *d) { |
| 371 | OS << d->getDeclKindName() << ' ' << (void*) d; |
| 372 | |
| 373 | if (NamedDecl *nd = dyn_cast<NamedDecl>(d)) { |
| 374 | OS << " '"; |
| 375 | nd->getDeclName().printName(OS); |
| 376 | OS << "'"; |
Ted Kremenek | 5f64ca8 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 377 | } |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 378 | |
John McCall | 351762c | 2011-02-07 10:33:21 +0000 | [diff] [blame^] | 379 | if (ValueDecl *vd = dyn_cast<ValueDecl>(d)) { |
| 380 | OS << ' '; DumpType(vd->getType()); |
| 381 | } |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 382 | } |
| 383 | |
John McCall | 76d0994 | 2009-12-11 21:50:11 +0000 | [diff] [blame] | 384 | void StmtDumper::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *Node) { |
| 385 | DumpExpr(Node); |
| 386 | OS << " ("; |
| 387 | if (!Node->requiresADL()) OS << "no "; |
Benjamin Kramer | b11416d | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 388 | OS << "ADL) = '" << Node->getName() << '\''; |
John McCall | 76d0994 | 2009-12-11 21:50:11 +0000 | [diff] [blame] | 389 | |
| 390 | UnresolvedLookupExpr::decls_iterator |
| 391 | I = Node->decls_begin(), E = Node->decls_end(); |
| 392 | if (I == E) OS << " empty"; |
| 393 | for (; I != E; ++I) |
| 394 | OS << " " << (void*) *I; |
| 395 | } |
| 396 | |
Steve Naroff | 5d5efca | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 397 | void StmtDumper::VisitObjCIvarRefExpr(ObjCIvarRefExpr *Node) { |
Steve Naroff | e3fa713 | 2008-05-23 00:59:14 +0000 | [diff] [blame] | 398 | DumpExpr(Node); |
Steve Naroff | 5d5efca | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 399 | |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 400 | OS << " " << Node->getDecl()->getDeclKindName() |
Benjamin Kramer | b11416d | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 401 | << "Decl='" << Node->getDecl() |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 402 | << "' " << (void*)Node->getDecl(); |
Steve Naroff | b3424a9 | 2008-05-23 22:01:24 +0000 | [diff] [blame] | 403 | if (Node->isFreeIvar()) |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 404 | OS << " isFreeIvar"; |
Steve Naroff | 5d5efca | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 405 | } |
| 406 | |
Chris Lattner | 6307f19 | 2008-08-10 01:53:14 +0000 | [diff] [blame] | 407 | void StmtDumper::VisitPredefinedExpr(PredefinedExpr *Node) { |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 408 | DumpExpr(Node); |
| 409 | switch (Node->getIdentType()) { |
Chris Lattner | a9b3cae | 2008-06-21 18:04:54 +0000 | [diff] [blame] | 410 | default: assert(0 && "unknown case"); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 411 | case PredefinedExpr::Func: OS << " __func__"; break; |
| 412 | case PredefinedExpr::Function: OS << " __FUNCTION__"; break; |
| 413 | case PredefinedExpr::PrettyFunction: OS << " __PRETTY_FUNCTION__";break; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 414 | } |
| 415 | } |
| 416 | |
| 417 | void StmtDumper::VisitCharacterLiteral(CharacterLiteral *Node) { |
Chris Lattner | 273a1ea | 2007-08-09 01:04:32 +0000 | [diff] [blame] | 418 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 419 | OS << Node->getValue(); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 420 | } |
| 421 | |
| 422 | void StmtDumper::VisitIntegerLiteral(IntegerLiteral *Node) { |
| 423 | DumpExpr(Node); |
| 424 | |
| 425 | bool isSigned = Node->getType()->isSignedIntegerType(); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 426 | OS << " " << Node->getValue().toString(10, isSigned); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 427 | } |
| 428 | void StmtDumper::VisitFloatingLiteral(FloatingLiteral *Node) { |
| 429 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 430 | OS << " " << Node->getValueAsApproximateDouble(); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 431 | } |
Chris Lattner | 1c20a17 | 2007-08-26 03:42:43 +0000 | [diff] [blame] | 432 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 433 | void StmtDumper::VisitStringLiteral(StringLiteral *Str) { |
Chris Lattner | 273a1ea | 2007-08-09 01:04:32 +0000 | [diff] [blame] | 434 | DumpExpr(Str); |
| 435 | // FIXME: this doesn't print wstrings right. |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 436 | OS << " "; |
| 437 | if (Str->isWide()) |
| 438 | OS << "L"; |
| 439 | OS << '"'; |
Benjamin Kramer | 35b077e | 2010-08-17 12:54:38 +0000 | [diff] [blame] | 440 | OS.write_escaped(Str->getString()); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 441 | OS << '"'; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 442 | } |
Chris Lattner | 84ca376 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 443 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 444 | void StmtDumper::VisitUnaryOperator(UnaryOperator *Node) { |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 445 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 446 | OS << " " << (Node->isPostfix() ? "postfix" : "prefix") |
| 447 | << " '" << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 448 | } |
Sebastian Redl | 6f28289 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 449 | void StmtDumper::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *Node) { |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 450 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 451 | OS << " " << (Node->isSizeOf() ? "sizeof" : "alignof") << " "; |
Sebastian Redl | 6f28289 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 452 | if (Node->isArgumentType()) |
| 453 | DumpType(Node->getArgumentType()); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 454 | } |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 455 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 456 | void StmtDumper::VisitMemberExpr(MemberExpr *Node) { |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 457 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 458 | OS << " " << (Node->isArrow() ? "->" : ".") |
Benjamin Kramer | b11416d | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 459 | << Node->getMemberDecl() << ' ' |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 460 | << (void*)Node->getMemberDecl(); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 461 | } |
Nate Begeman | ce4d7fc | 2008-04-18 23:10:10 +0000 | [diff] [blame] | 462 | void StmtDumper::VisitExtVectorElementExpr(ExtVectorElementExpr *Node) { |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 463 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 464 | OS << " " << Node->getAccessor().getNameStart(); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 465 | } |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 466 | void StmtDumper::VisitBinaryOperator(BinaryOperator *Node) { |
| 467 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 468 | OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; |
Chris Lattner | 8692811 | 2007-08-25 02:00:02 +0000 | [diff] [blame] | 469 | } |
| 470 | void StmtDumper::VisitCompoundAssignOperator(CompoundAssignOperator *Node) { |
| 471 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 472 | OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) |
| 473 | << "' ComputeLHSTy="; |
Eli Friedman | 8b7b1b1 | 2009-03-28 01:22:36 +0000 | [diff] [blame] | 474 | DumpType(Node->getComputationLHSType()); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 475 | OS << " ComputeResultTy="; |
Eli Friedman | 8b7b1b1 | 2009-03-28 01:22:36 +0000 | [diff] [blame] | 476 | DumpType(Node->getComputationResultType()); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 477 | } |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 478 | |
John McCall | 351762c | 2011-02-07 10:33:21 +0000 | [diff] [blame^] | 479 | void StmtDumper::VisitBlockExpr(BlockExpr *Node) { |
| 480 | DumpExpr(Node); |
| 481 | |
| 482 | IndentLevel++; |
| 483 | BlockDecl *block = Node->getBlockDecl(); |
| 484 | if (block->capturesCXXThis()) { |
| 485 | OS << '\n'; Indent(); OS << "(capture this)"; |
| 486 | } |
| 487 | for (BlockDecl::capture_iterator |
| 488 | i = block->capture_begin(), e = block->capture_end(); i != e; ++i) { |
| 489 | OS << '\n'; |
| 490 | Indent(); |
| 491 | OS << "(capture "; |
| 492 | if (i->isByRef()) OS << "byref "; |
| 493 | if (i->isNested()) OS << "nested "; |
| 494 | DumpDeclRef(i->getVariable()); |
| 495 | if (i->hasCopyExpr()) DumpSubTree(i->getCopyExpr()); |
| 496 | OS << ")"; |
| 497 | } |
| 498 | IndentLevel--; |
| 499 | |
| 500 | DumpSubTree(block->getBody()); |
| 501 | } |
| 502 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 503 | // GNU extensions. |
| 504 | |
| 505 | void StmtDumper::VisitAddrLabelExpr(AddrLabelExpr *Node) { |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 506 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 507 | OS << " " << Node->getLabel()->getName() |
| 508 | << " " << (void*)Node->getLabel(); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 509 | } |
| 510 | |
Chris Lattner | 8f184b1 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 511 | //===----------------------------------------------------------------------===// |
| 512 | // C++ Expressions |
| 513 | //===----------------------------------------------------------------------===// |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 514 | |
Douglas Gregor | e200adc | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 515 | void StmtDumper::VisitCXXNamedCastExpr(CXXNamedCastExpr *Node) { |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 516 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 517 | OS << " " << Node->getCastName() |
| 518 | << "<" << Node->getTypeAsWritten().getAsString() << ">" |
Anders Carlsson | a70cff6 | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 519 | << " <" << Node->getCastKindName(); |
| 520 | DumpBasePath(OS, Node); |
| 521 | OS << ">"; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 522 | } |
| 523 | |
| 524 | void StmtDumper::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *Node) { |
Chris Lattner | db3b3ff | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 525 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 526 | OS << " " << (Node->getValue() ? "true" : "false"); |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 527 | } |
| 528 | |
Douglas Gregor | 8ea1f53 | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 529 | void StmtDumper::VisitCXXThisExpr(CXXThisExpr *Node) { |
| 530 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 531 | OS << " this"; |
Douglas Gregor | 8ea1f53 | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 532 | } |
| 533 | |
Douglas Gregor | e200adc | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 534 | void StmtDumper::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *Node) { |
| 535 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 536 | OS << " functional cast to " << Node->getTypeAsWritten().getAsString(); |
Douglas Gregor | e200adc | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 537 | } |
| 538 | |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 539 | void StmtDumper::VisitCXXConstructExpr(CXXConstructExpr *Node) { |
| 540 | DumpExpr(Node); |
John McCall | eba90cd | 2010-02-02 19:03:45 +0000 | [diff] [blame] | 541 | CXXConstructorDecl *Ctor = Node->getConstructor(); |
| 542 | DumpType(Ctor->getType()); |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 543 | if (Node->isElidable()) |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 544 | OS << " elidable"; |
John McCall | 8537004 | 2010-08-07 06:38:55 +0000 | [diff] [blame] | 545 | if (Node->requiresZeroInitialization()) |
| 546 | OS << " zeroing"; |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 547 | } |
| 548 | |
| 549 | void StmtDumper::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *Node) { |
| 550 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 551 | OS << " "; |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 552 | DumpCXXTemporary(Node->getTemporary()); |
| 553 | } |
| 554 | |
John McCall | 5d41378 | 2010-12-06 08:20:24 +0000 | [diff] [blame] | 555 | void StmtDumper::VisitExprWithCleanups(ExprWithCleanups *Node) { |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 556 | DumpExpr(Node); |
| 557 | ++IndentLevel; |
| 558 | for (unsigned i = 0, e = Node->getNumTemporaries(); i != e; ++i) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 559 | OS << "\n"; |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 560 | Indent(); |
| 561 | DumpCXXTemporary(Node->getTemporary(i)); |
| 562 | } |
| 563 | --IndentLevel; |
| 564 | } |
| 565 | |
| 566 | void StmtDumper::DumpCXXTemporary(CXXTemporary *Temporary) { |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 567 | OS << "(CXXTemporary " << (void *)Temporary << ")"; |
Anders Carlsson | 07384683 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 568 | } |
| 569 | |
Anders Carlsson | 76f4a90 | 2007-08-21 17:43:55 +0000 | [diff] [blame] | 570 | //===----------------------------------------------------------------------===// |
| 571 | // Obj-C Expressions |
| 572 | //===----------------------------------------------------------------------===// |
| 573 | |
Ted Kremenek | 36748da | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 574 | void StmtDumper::VisitObjCMessageExpr(ObjCMessageExpr* Node) { |
| 575 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 576 | OS << " selector=" << Node->getSelector().getAsString(); |
Douglas Gregor | 9a12919 | 2010-04-21 00:45:42 +0000 | [diff] [blame] | 577 | switch (Node->getReceiverKind()) { |
| 578 | case ObjCMessageExpr::Instance: |
| 579 | break; |
| 580 | |
| 581 | case ObjCMessageExpr::Class: |
| 582 | OS << " class="; |
| 583 | DumpType(Node->getClassReceiver()); |
| 584 | break; |
| 585 | |
| 586 | case ObjCMessageExpr::SuperInstance: |
| 587 | OS << " super (instance)"; |
| 588 | break; |
| 589 | |
| 590 | case ObjCMessageExpr::SuperClass: |
| 591 | OS << " super (class)"; |
| 592 | break; |
| 593 | } |
Ted Kremenek | 36748da | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 594 | } |
| 595 | |
Douglas Gregor | 96c7949 | 2010-04-23 22:50:49 +0000 | [diff] [blame] | 596 | void StmtDumper::VisitObjCAtCatchStmt(ObjCAtCatchStmt *Node) { |
| 597 | DumpStmt(Node); |
Douglas Gregor | 46a572b | 2010-04-26 16:46:50 +0000 | [diff] [blame] | 598 | if (VarDecl *CatchParam = Node->getCatchParamDecl()) { |
Douglas Gregor | 96c7949 | 2010-04-23 22:50:49 +0000 | [diff] [blame] | 599 | OS << " catch parm = "; |
| 600 | DumpDeclarator(CatchParam); |
| 601 | } else { |
| 602 | OS << " catch all"; |
| 603 | } |
| 604 | } |
| 605 | |
Anders Carlsson | c5a81eb | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 606 | void StmtDumper::VisitObjCEncodeExpr(ObjCEncodeExpr *Node) { |
| 607 | DumpExpr(Node); |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 608 | OS << " "; |
Anders Carlsson | c5a81eb | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 609 | DumpType(Node->getEncodedType()); |
Anders Carlsson | c5a81eb | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 610 | } |
| 611 | |
Fariborz Jahanian | 4bef462 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 612 | void StmtDumper::VisitObjCSelectorExpr(ObjCSelectorExpr *Node) { |
| 613 | DumpExpr(Node); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 614 | |
Daniel Dunbar | 34a96c8 | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 615 | OS << " " << Node->getSelector().getAsString(); |
Fariborz Jahanian | 4bef462 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 616 | } |
| 617 | |
Fariborz Jahanian | a32aaef | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 618 | void StmtDumper::VisitObjCProtocolExpr(ObjCProtocolExpr *Node) { |
| 619 | DumpExpr(Node); |
Mike Stump | 11289f4 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 620 | |
Benjamin Kramer | b11416d | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 621 | OS << ' ' << Node->getProtocol(); |
Fariborz Jahanian | a32aaef | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 622 | } |
Daniel Dunbar | 4b8c6db | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 623 | |
| 624 | void StmtDumper::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *Node) { |
| 625 | DumpExpr(Node); |
John McCall | b7bd14f | 2010-12-02 01:19:52 +0000 | [diff] [blame] | 626 | if (Node->isImplicitProperty()) { |
Fariborz Jahanian | 0f0b302 | 2010-12-22 19:46:35 +0000 | [diff] [blame] | 627 | OS << " Kind=MethodRef Getter=\""; |
| 628 | if (Node->getImplicitPropertyGetter()) |
| 629 | OS << Node->getImplicitPropertyGetter()->getSelector().getAsString(); |
| 630 | else |
| 631 | OS << "(null)"; |
| 632 | |
| 633 | OS << "\" Setter=\""; |
John McCall | b7bd14f | 2010-12-02 01:19:52 +0000 | [diff] [blame] | 634 | if (ObjCMethodDecl *Setter = Node->getImplicitPropertySetter()) |
| 635 | OS << Setter->getSelector().getAsString(); |
| 636 | else |
| 637 | OS << "(null)"; |
| 638 | OS << "\""; |
| 639 | } else { |
| 640 | OS << " Kind=PropertyRef Property=\"" << Node->getExplicitProperty() << '"'; |
| 641 | } |
Fariborz Jahanian | 8a1810f | 2008-11-22 18:39:36 +0000 | [diff] [blame] | 642 | |
Fariborz Jahanian | 681c075 | 2010-10-14 16:04:05 +0000 | [diff] [blame] | 643 | if (Node->isSuperReceiver()) |
| 644 | OS << " super"; |
Douglas Gregor | 8ea1f53 | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 645 | } |
| 646 | |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 647 | //===----------------------------------------------------------------------===// |
| 648 | // Stmt method implementations |
| 649 | //===----------------------------------------------------------------------===// |
| 650 | |
| 651 | /// dump - This does a local dump of the specified AST fragment. It dumps the |
| 652 | /// specified node and a few nodes underneath it, but not the whole subtree. |
| 653 | /// This is useful in a debugger. |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 654 | void Stmt::dump(SourceManager &SM) const { |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 655 | dump(llvm::errs(), SM); |
| 656 | } |
| 657 | |
| 658 | void Stmt::dump(llvm::raw_ostream &OS, SourceManager &SM) const { |
| 659 | StmtDumper P(&SM, OS, 4); |
Chris Lattner | cfb83dd | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 660 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 661 | OS << "\n"; |
Chris Lattner | 779d5d9 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 662 | } |
| 663 | |
| 664 | /// dump - This does a local dump of the specified AST fragment. It dumps the |
| 665 | /// specified node and a few nodes underneath it, but not the whole subtree. |
| 666 | /// This is useful in a debugger. |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 667 | void Stmt::dump() const { |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 668 | StmtDumper P(0, llvm::errs(), 4); |
Chris Lattner | cfb83dd | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 669 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 670 | llvm::errs() << "\n"; |
Chris Lattner | 779d5d9 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 671 | } |
| 672 | |
| 673 | /// dumpAll - This does a dump of the specified AST fragment and all subtrees. |
Chris Lattner | 11e30d3 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 674 | void Stmt::dumpAll(SourceManager &SM) const { |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 675 | StmtDumper P(&SM, llvm::errs(), ~0U); |
Chris Lattner | cfb83dd | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 676 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 677 | llvm::errs() << "\n"; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 678 | } |
| 679 | |
| 680 | /// dumpAll - This does a dump of the specified AST fragment and all subtrees. |
| 681 | void Stmt::dumpAll() const { |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 682 | StmtDumper P(0, llvm::errs(), ~0U); |
Chris Lattner | cfb83dd | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 683 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Argyrios Kyrtzidis | c049f75 | 2010-08-09 10:54:31 +0000 | [diff] [blame] | 684 | llvm::errs() << "\n"; |
Chris Lattner | cbe4f77 | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 685 | } |