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" |
Douglas Gregor | 2a3009a | 2009-02-03 19:21:40 +0000 | [diff] [blame] | 17 | #include "clang/AST/DeclCXX.h" |
Douglas Gregor | d249e1d1f | 2009-05-29 20:38:28 +0000 | [diff] [blame] | 18 | #include "clang/AST/PrettyPrinter.h" |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 19 | #include "clang/Basic/SourceManager.h" |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 20 | #include "llvm/Support/raw_ostream.h" |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 21 | using namespace clang; |
| 22 | |
| 23 | //===----------------------------------------------------------------------===// |
| 24 | // StmtDumper Visitor |
| 25 | //===----------------------------------------------------------------------===// |
| 26 | |
| 27 | namespace { |
Benjamin Kramer | 770b4a8 | 2009-11-28 19:03:38 +0000 | [diff] [blame] | 28 | class StmtDumper : public StmtVisitor<StmtDumper> { |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 29 | SourceManager *SM; |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 30 | llvm::raw_ostream &OS; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 31 | unsigned IndentLevel; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 32 | |
Chris Lattner | 6000dac | 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 | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 37 | |
Chris Lattner | e300c87 | 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 | d249e1d1f | 2009-05-29 20:38:28 +0000 | [diff] [blame] | 42 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 43 | public: |
Daniel Dunbar | 806c12e | 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 | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 46 | LastLocFilename = ""; |
| 47 | LastLocLine = ~0U; |
| 48 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 49 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 50 | void DumpSubTree(Stmt *S) { |
Chris Lattner | 6000dac | 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 | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 53 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 54 | ++IndentLevel; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 55 | if (S) { |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 56 | if (DeclStmt* DS = dyn_cast<DeclStmt>(S)) |
| 57 | VisitDeclStmt(DS); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 58 | else { |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 59 | Visit(S); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 60 | |
Ted Kremenek | 5399ce2 | 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 | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 65 | OS << '\n'; |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 66 | DumpSubTree(*CI++); |
| 67 | } |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 68 | } |
| 69 | } |
Chris Lattner | a46325e | 2010-05-25 17:56:43 +0000 | [diff] [blame] | 70 | OS << ')'; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 71 | } else { |
| 72 | Indent(); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 73 | OS << "<<<NULL>>>"; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 74 | } |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 75 | --IndentLevel; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 76 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 77 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 78 | void DumpDeclarator(Decl *D); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 79 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 80 | void Indent() const { |
| 81 | for (int i = 0, e = IndentLevel; i < e; ++i) |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 82 | OS << " "; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 83 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 84 | |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 85 | void DumpType(QualType T) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 86 | OS << "'" << T.getAsString() << "'"; |
Chris Lattner | fd8f7da | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 87 | |
Douglas Gregor | 61366e9 | 2008-12-24 00:01:03 +0000 | [diff] [blame] | 88 | if (!T.isNull()) { |
John McCall | 0953e76 | 2009-09-24 19:53:00 +0000 | [diff] [blame] | 89 | // If the type is sugared, also dump a (shallow) desugared type. |
| 90 | QualType Simplified = T.getDesugaredType(); |
| 91 | if (Simplified != T) |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 92 | OS << ":'" << Simplified.getAsString() << "'"; |
Chris Lattner | bad3785 | 2008-04-02 05:06:23 +0000 | [diff] [blame] | 93 | } |
Chris Lattner | fd8f7da | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 94 | } |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 95 | void DumpStmt(const Stmt *Node) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 96 | Indent(); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 97 | OS << "(" << Node->getStmtClassName() |
| 98 | << " " << (void*)Node; |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 99 | DumpSourceRange(Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 100 | } |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 101 | void DumpExpr(const Expr *Node) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 102 | DumpStmt(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 103 | OS << ' '; |
Chris Lattner | fd8f7da | 2007-08-09 00:36:22 +0000 | [diff] [blame] | 104 | DumpType(Node->getType()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 105 | } |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 106 | void DumpSourceRange(const Stmt *Node); |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 107 | void DumpLocation(SourceLocation Loc); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 108 | |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 109 | // Stmts. |
Chris Lattner | c5598cb | 2007-08-21 04:04:25 +0000 | [diff] [blame] | 110 | void VisitStmt(Stmt *Node); |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 111 | void VisitDeclStmt(DeclStmt *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 112 | void VisitLabelStmt(LabelStmt *Node); |
| 113 | void VisitGotoStmt(GotoStmt *Node); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 114 | |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 115 | // Exprs |
| 116 | void VisitExpr(Expr *Node); |
Anders Carlsson | 27a5b9b | 2009-08-22 23:33:40 +0000 | [diff] [blame] | 117 | void VisitCastExpr(CastExpr *Node); |
Anders Carlsson | 0e489ea | 2009-11-14 22:35:18 +0000 | [diff] [blame] | 118 | void VisitImplicitCastExpr(ImplicitCastExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 119 | void VisitDeclRefExpr(DeclRefExpr *Node); |
Chris Lattner | d9f6910 | 2008-08-10 01:53:14 +0000 | [diff] [blame] | 120 | void VisitPredefinedExpr(PredefinedExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 121 | void VisitCharacterLiteral(CharacterLiteral *Node); |
| 122 | void VisitIntegerLiteral(IntegerLiteral *Node); |
| 123 | void VisitFloatingLiteral(FloatingLiteral *Node); |
| 124 | void VisitStringLiteral(StringLiteral *Str); |
| 125 | void VisitUnaryOperator(UnaryOperator *Node); |
Sebastian Redl | 0518999 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 126 | void VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 127 | void VisitMemberExpr(MemberExpr *Node); |
Nate Begeman | 213541a | 2008-04-18 23:10:10 +0000 | [diff] [blame] | 128 | void VisitExtVectorElementExpr(ExtVectorElementExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 129 | void VisitBinaryOperator(BinaryOperator *Node); |
| 130 | void VisitCompoundAssignOperator(CompoundAssignOperator *Node); |
| 131 | void VisitAddrLabelExpr(AddrLabelExpr *Node); |
| 132 | void VisitTypesCompatibleExpr(TypesCompatibleExpr *Node); |
| 133 | |
| 134 | // C++ |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 135 | void VisitCXXNamedCastExpr(CXXNamedCastExpr *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 136 | void VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *Node); |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 137 | void VisitCXXThisExpr(CXXThisExpr *Node); |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 138 | void VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *Node); |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 139 | void VisitCXXConstructExpr(CXXConstructExpr *Node); |
| 140 | void VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *Node); |
| 141 | void VisitCXXExprWithTemporaries(CXXExprWithTemporaries *Node); |
John McCall | 9d5f35e | 2009-12-11 21:50:11 +0000 | [diff] [blame] | 142 | void VisitUnresolvedLookupExpr(UnresolvedLookupExpr *Node); |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 143 | void DumpCXXTemporary(CXXTemporary *Temporary); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 144 | |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 145 | // ObjC |
Douglas Gregor | 8f5e3dd | 2010-04-23 22:50:49 +0000 | [diff] [blame] | 146 | void VisitObjCAtCatchStmt(ObjCAtCatchStmt *Node); |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 147 | void VisitObjCEncodeExpr(ObjCEncodeExpr *Node); |
Ted Kremenek | b3d914b | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 148 | void VisitObjCMessageExpr(ObjCMessageExpr* Node); |
Fariborz Jahanian | b62f681 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 149 | void VisitObjCSelectorExpr(ObjCSelectorExpr *Node); |
Fariborz Jahanian | 390d50a | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 150 | void VisitObjCProtocolExpr(ObjCProtocolExpr *Node); |
Daniel Dunbar | 7f8ea5c | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 151 | void VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *Node); |
Fariborz Jahanian | 09105f5 | 2009-08-20 17:02:02 +0000 | [diff] [blame] | 152 | void VisitObjCImplicitSetterGetterRefExpr( |
| 153 | ObjCImplicitSetterGetterRefExpr *Node); |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 154 | void VisitObjCIvarRefExpr(ObjCIvarRefExpr *Node); |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 155 | void VisitObjCSuperExpr(ObjCSuperExpr *Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 156 | }; |
| 157 | } |
| 158 | |
| 159 | //===----------------------------------------------------------------------===// |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 160 | // Utilities |
| 161 | //===----------------------------------------------------------------------===// |
| 162 | |
| 163 | void StmtDumper::DumpLocation(SourceLocation Loc) { |
Chris Lattner | df7c17a | 2009-01-16 07:00:02 +0000 | [diff] [blame] | 164 | SourceLocation SpellingLoc = SM->getSpellingLoc(Loc); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 165 | |
Chris Lattner | b9c3f96 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 166 | if (SpellingLoc.isInvalid()) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 167 | OS << "<invalid sloc>"; |
Chris Lattner | b9c3f96 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 168 | return; |
| 169 | } |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 170 | |
| 171 | // The general format we print out is filename:line:col, but we drop pieces |
| 172 | // that haven't changed since the last loc printed. |
Chris Lattner | b9c3f96 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 173 | PresumedLoc PLoc = SM->getPresumedLoc(SpellingLoc); |
| 174 | |
| 175 | if (strcmp(PLoc.getFilename(), LastLocFilename) != 0) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 176 | OS << PLoc.getFilename() << ':' << PLoc.getLine() |
| 177 | << ':' << PLoc.getColumn(); |
Chris Lattner | b9c3f96 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 178 | LastLocFilename = PLoc.getFilename(); |
| 179 | LastLocLine = PLoc.getLine(); |
| 180 | } else if (PLoc.getLine() != LastLocLine) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 181 | OS << "line" << ':' << PLoc.getLine() |
| 182 | << ':' << PLoc.getColumn(); |
Chris Lattner | b9c3f96 | 2009-01-27 07:57:44 +0000 | [diff] [blame] | 183 | LastLocLine = PLoc.getLine(); |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 184 | } else { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 185 | OS << "col" << ':' << PLoc.getColumn(); |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 186 | } |
| 187 | } |
| 188 | |
Steve Naroff | 9dcbfa4 | 2007-09-01 21:08:38 +0000 | [diff] [blame] | 189 | void StmtDumper::DumpSourceRange(const Stmt *Node) { |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 190 | // Can't translate locations if a SourceManager isn't available. |
| 191 | if (SM == 0) return; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 192 | |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 193 | // TODO: If the parent expression is available, we can print a delta vs its |
| 194 | // location. |
| 195 | SourceRange R = Node->getSourceRange(); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 196 | |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 197 | OS << " <"; |
Chris Lattner | 311ff02 | 2007-10-16 22:36:42 +0000 | [diff] [blame] | 198 | DumpLocation(R.getBegin()); |
| 199 | if (R.getBegin() != R.getEnd()) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 200 | OS << ", "; |
Chris Lattner | 311ff02 | 2007-10-16 22:36:42 +0000 | [diff] [blame] | 201 | DumpLocation(R.getEnd()); |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 202 | } |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 203 | OS << ">"; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 204 | |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 205 | // <t2.c:123:421[blah], t2.c:412:321> |
| 206 | |
| 207 | } |
| 208 | |
| 209 | |
| 210 | //===----------------------------------------------------------------------===// |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 211 | // Stmt printing methods. |
| 212 | //===----------------------------------------------------------------------===// |
| 213 | |
| 214 | void StmtDumper::VisitStmt(Stmt *Node) { |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 215 | DumpStmt(Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 216 | } |
| 217 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 218 | void StmtDumper::DumpDeclarator(Decl *D) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 219 | // FIXME: Need to complete/beautify this... this code simply shows the |
| 220 | // nodes are where they need to be. |
| 221 | if (TypedefDecl *localType = dyn_cast<TypedefDecl>(D)) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 222 | OS << "\"typedef " << localType->getUnderlyingType().getAsString() |
Benjamin Kramer | 900fc63 | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 223 | << ' ' << localType << '"'; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 224 | } else if (ValueDecl *VD = dyn_cast<ValueDecl>(D)) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 225 | OS << "\""; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 226 | // Emit storage class for vardecls. |
| 227 | if (VarDecl *V = dyn_cast<VarDecl>(VD)) { |
Daniel Dunbar | 5466c7b | 2009-04-14 02:25:56 +0000 | [diff] [blame] | 228 | if (V->getStorageClass() != VarDecl::None) |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 229 | OS << VarDecl::getStorageClassSpecifierString(V->getStorageClass()) |
| 230 | << " "; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 231 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 232 | |
Chris Lattner | 39f34e9 | 2008-11-24 04:00:27 +0000 | [diff] [blame] | 233 | std::string Name = VD->getNameAsString(); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 234 | VD->getType().getAsStringInternal(Name, |
Chris Lattner | e4f2142 | 2009-06-30 01:26:17 +0000 | [diff] [blame] | 235 | PrintingPolicy(VD->getASTContext().getLangOptions())); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 236 | OS << Name; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 237 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 238 | // If this is a vardecl with an initializer, emit it. |
| 239 | if (VarDecl *V = dyn_cast<VarDecl>(VD)) { |
| 240 | if (V->getInit()) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 241 | OS << " =\n"; |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 242 | DumpSubTree(V->getInit()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 243 | } |
| 244 | } |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 245 | OS << '"'; |
Steve Naroff | 9219928 | 2007-11-17 21:37:36 +0000 | [diff] [blame] | 246 | } else if (TagDecl *TD = dyn_cast<TagDecl>(D)) { |
| 247 | // print a free standing tag decl (e.g. "struct x;"). |
| 248 | const char *tagname; |
| 249 | if (const IdentifierInfo *II = TD->getIdentifier()) |
Daniel Dunbar | e013d68 | 2009-10-18 20:26:12 +0000 | [diff] [blame] | 250 | tagname = II->getNameStart(); |
Steve Naroff | 9219928 | 2007-11-17 21:37:36 +0000 | [diff] [blame] | 251 | else |
| 252 | tagname = "<anonymous>"; |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 253 | OS << '"' << TD->getKindName() << ' ' << tagname << ";\""; |
Steve Naroff | 9219928 | 2007-11-17 21:37:36 +0000 | [diff] [blame] | 254 | // FIXME: print tag bodies. |
Douglas Gregor | 2a3009a | 2009-02-03 19:21:40 +0000 | [diff] [blame] | 255 | } else if (UsingDirectiveDecl *UD = dyn_cast<UsingDirectiveDecl>(D)) { |
| 256 | // print using-directive decl (e.g. "using namespace x;") |
| 257 | const char *ns; |
| 258 | if (const IdentifierInfo *II = UD->getNominatedNamespace()->getIdentifier()) |
Daniel Dunbar | e013d68 | 2009-10-18 20:26:12 +0000 | [diff] [blame] | 259 | ns = II->getNameStart(); |
Douglas Gregor | 2a3009a | 2009-02-03 19:21:40 +0000 | [diff] [blame] | 260 | else |
| 261 | ns = "<anonymous>"; |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 262 | OS << '"' << UD->getDeclKindName() << ns << ";\""; |
Sebastian Redl | 0ca4359 | 2010-05-04 10:20:17 +0000 | [diff] [blame] | 263 | } else if (UsingDecl *UD = dyn_cast<UsingDecl>(D)) { |
| 264 | // print using decl (e.g. "using std::string;") |
| 265 | const char *tn = UD->isTypeName() ? "typename " : ""; |
| 266 | OS << '"' << UD->getDeclKindName() << tn; |
| 267 | UD->getTargetNestedNameDecl()->print(OS, |
| 268 | PrintingPolicy(UD->getASTContext().getLangOptions())); |
| 269 | OS << ";\""; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 270 | } else { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 271 | assert(0 && "Unexpected decl"); |
| 272 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 273 | } |
| 274 | |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 275 | void StmtDumper::VisitDeclStmt(DeclStmt *Node) { |
| 276 | DumpStmt(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 277 | OS << "\n"; |
Ted Kremenek | 04a72b7 | 2008-10-06 18:38:35 +0000 | [diff] [blame] | 278 | for (DeclStmt::decl_iterator DI = Node->decl_begin(), DE = Node->decl_end(); |
| 279 | DI != DE; ++DI) { |
Douglas Gregor | 4afa39d | 2009-01-20 01:17:11 +0000 | [diff] [blame] | 280 | Decl* D = *DI; |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 281 | ++IndentLevel; |
| 282 | Indent(); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 283 | OS << (void*) D << " "; |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 284 | DumpDeclarator(D); |
Chris Lattner | f279725 | 2009-03-29 16:04:50 +0000 | [diff] [blame] | 285 | if (DI+1 != DE) |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 286 | OS << "\n"; |
Ted Kremenek | 5399ce2 | 2007-12-12 06:59:42 +0000 | [diff] [blame] | 287 | --IndentLevel; |
| 288 | } |
| 289 | } |
| 290 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 291 | void StmtDumper::VisitLabelStmt(LabelStmt *Node) { |
| 292 | DumpStmt(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 293 | OS << " '" << Node->getName() << "'"; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 294 | } |
| 295 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 296 | void StmtDumper::VisitGotoStmt(GotoStmt *Node) { |
| 297 | DumpStmt(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 298 | OS << " '" << Node->getLabel()->getName() |
| 299 | << "':" << (void*)Node->getLabel(); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 300 | } |
| 301 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 302 | //===----------------------------------------------------------------------===// |
| 303 | // Expr printing methods. |
| 304 | //===----------------------------------------------------------------------===// |
| 305 | |
| 306 | void StmtDumper::VisitExpr(Expr *Node) { |
| 307 | DumpExpr(Node); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 308 | } |
| 309 | |
Anders Carlsson | 5cf86ba | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 310 | static void DumpBasePath(llvm::raw_ostream &OS, CastExpr *Node) { |
| 311 | if (Node->getBasePath().empty()) |
| 312 | return; |
| 313 | |
| 314 | OS << " ("; |
| 315 | bool First = true; |
| 316 | for (CXXBaseSpecifierArray::iterator I = Node->getBasePath().begin(), |
| 317 | E = Node->getBasePath().end(); I != E; ++I) { |
| 318 | const CXXBaseSpecifier *Base = *I; |
| 319 | if (!First) |
| 320 | OS << " -> "; |
| 321 | |
| 322 | const CXXRecordDecl *RD = |
| 323 | cast<CXXRecordDecl>(Base->getType()->getAs<RecordType>()->getDecl()); |
| 324 | |
| 325 | if (Base->isVirtual()) |
| 326 | OS << "virtual "; |
| 327 | OS << RD->getName(); |
| 328 | First = false; |
| 329 | } |
| 330 | |
| 331 | OS << ')'; |
| 332 | } |
| 333 | |
Anders Carlsson | 27a5b9b | 2009-08-22 23:33:40 +0000 | [diff] [blame] | 334 | void StmtDumper::VisitCastExpr(CastExpr *Node) { |
| 335 | DumpExpr(Node); |
Anders Carlsson | 5cf86ba | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 336 | OS << " <" << Node->getCastKindName(); |
| 337 | DumpBasePath(OS, Node); |
| 338 | OS << ">"; |
Anders Carlsson | 27a5b9b | 2009-08-22 23:33:40 +0000 | [diff] [blame] | 339 | } |
| 340 | |
Anders Carlsson | 0e489ea | 2009-11-14 22:35:18 +0000 | [diff] [blame] | 341 | void StmtDumper::VisitImplicitCastExpr(ImplicitCastExpr *Node) { |
| 342 | VisitCastExpr(Node); |
| 343 | if (Node->isLvalueCast()) |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 344 | OS << " lvalue"; |
Anders Carlsson | 0e489ea | 2009-11-14 22:35:18 +0000 | [diff] [blame] | 345 | } |
| 346 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 347 | void StmtDumper::VisitDeclRefExpr(DeclRefExpr *Node) { |
| 348 | DumpExpr(Node); |
Ted Kremenek | eb641f9 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 349 | |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 350 | OS << " "; |
Ted Kremenek | eb641f9 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 351 | switch (Node->getDecl()->getKind()) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 352 | default: OS << "Decl"; break; |
| 353 | case Decl::Function: OS << "FunctionDecl"; break; |
| 354 | case Decl::Var: OS << "Var"; break; |
| 355 | case Decl::ParmVar: OS << "ParmVar"; break; |
| 356 | case Decl::EnumConstant: OS << "EnumConstant"; break; |
| 357 | case Decl::Typedef: OS << "Typedef"; break; |
| 358 | case Decl::Record: OS << "Record"; break; |
| 359 | case Decl::Enum: OS << "Enum"; break; |
| 360 | case Decl::CXXRecord: OS << "CXXRecord"; break; |
| 361 | case Decl::ObjCInterface: OS << "ObjCInterface"; break; |
| 362 | case Decl::ObjCClass: OS << "ObjCClass"; break; |
Ted Kremenek | eb641f9 | 2007-09-10 17:32:55 +0000 | [diff] [blame] | 363 | } |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 364 | |
Benjamin Kramer | 900fc63 | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 365 | OS << "='" << Node->getDecl() << "' " << (void*)Node->getDecl(); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 366 | } |
| 367 | |
John McCall | 9d5f35e | 2009-12-11 21:50:11 +0000 | [diff] [blame] | 368 | void StmtDumper::VisitUnresolvedLookupExpr(UnresolvedLookupExpr *Node) { |
| 369 | DumpExpr(Node); |
| 370 | OS << " ("; |
| 371 | if (!Node->requiresADL()) OS << "no "; |
Benjamin Kramer | 900fc63 | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 372 | OS << "ADL) = '" << Node->getName() << '\''; |
John McCall | 9d5f35e | 2009-12-11 21:50:11 +0000 | [diff] [blame] | 373 | |
| 374 | UnresolvedLookupExpr::decls_iterator |
| 375 | I = Node->decls_begin(), E = Node->decls_end(); |
| 376 | if (I == E) OS << " empty"; |
| 377 | for (; I != E; ++I) |
| 378 | OS << " " << (void*) *I; |
| 379 | } |
| 380 | |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 381 | void StmtDumper::VisitObjCIvarRefExpr(ObjCIvarRefExpr *Node) { |
Steve Naroff | 466c2e3 | 2008-05-23 00:59:14 +0000 | [diff] [blame] | 382 | DumpExpr(Node); |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 383 | |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 384 | OS << " " << Node->getDecl()->getDeclKindName() |
Benjamin Kramer | 900fc63 | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 385 | << "Decl='" << Node->getDecl() |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 386 | << "' " << (void*)Node->getDecl(); |
Steve Naroff | 218543b | 2008-05-23 22:01:24 +0000 | [diff] [blame] | 387 | if (Node->isFreeIvar()) |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 388 | OS << " isFreeIvar"; |
Steve Naroff | 3c64d9e | 2008-03-12 13:19:12 +0000 | [diff] [blame] | 389 | } |
| 390 | |
Chris Lattner | d9f6910 | 2008-08-10 01:53:14 +0000 | [diff] [blame] | 391 | void StmtDumper::VisitPredefinedExpr(PredefinedExpr *Node) { |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 392 | DumpExpr(Node); |
| 393 | switch (Node->getIdentType()) { |
Chris Lattner | 0d17f6f | 2008-06-21 18:04:54 +0000 | [diff] [blame] | 394 | default: assert(0 && "unknown case"); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 395 | case PredefinedExpr::Func: OS << " __func__"; break; |
| 396 | case PredefinedExpr::Function: OS << " __FUNCTION__"; break; |
| 397 | case PredefinedExpr::PrettyFunction: OS << " __PRETTY_FUNCTION__";break; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 398 | } |
| 399 | } |
| 400 | |
| 401 | void StmtDumper::VisitCharacterLiteral(CharacterLiteral *Node) { |
Chris Lattner | a0df31a | 2007-08-09 01:04:32 +0000 | [diff] [blame] | 402 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 403 | OS << Node->getValue(); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 404 | } |
| 405 | |
| 406 | void StmtDumper::VisitIntegerLiteral(IntegerLiteral *Node) { |
| 407 | DumpExpr(Node); |
| 408 | |
| 409 | bool isSigned = Node->getType()->isSignedIntegerType(); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 410 | OS << " " << Node->getValue().toString(10, isSigned); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 411 | } |
| 412 | void StmtDumper::VisitFloatingLiteral(FloatingLiteral *Node) { |
| 413 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 414 | OS << " " << Node->getValueAsApproximateDouble(); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 415 | } |
Chris Lattner | 5d66145 | 2007-08-26 03:42:43 +0000 | [diff] [blame] | 416 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 417 | void StmtDumper::VisitStringLiteral(StringLiteral *Str) { |
Chris Lattner | a0df31a | 2007-08-09 01:04:32 +0000 | [diff] [blame] | 418 | DumpExpr(Str); |
| 419 | // FIXME: this doesn't print wstrings right. |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 420 | OS << " "; |
| 421 | if (Str->isWide()) |
| 422 | OS << "L"; |
| 423 | OS << '"'; |
| 424 | OS.write_escaped(llvm::StringRef(Str->getStrData(), |
| 425 | Str->getByteLength())); |
| 426 | OS << '"'; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 427 | } |
Chris Lattner | 17a1a72 | 2007-08-30 01:00:35 +0000 | [diff] [blame] | 428 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 429 | void StmtDumper::VisitUnaryOperator(UnaryOperator *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 430 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 431 | OS << " " << (Node->isPostfix() ? "postfix" : "prefix") |
| 432 | << " '" << UnaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 433 | } |
Sebastian Redl | 0518999 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 434 | void StmtDumper::VisitSizeOfAlignOfExpr(SizeOfAlignOfExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 435 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 436 | OS << " " << (Node->isSizeOf() ? "sizeof" : "alignof") << " "; |
Sebastian Redl | 0518999 | 2008-11-11 17:56:53 +0000 | [diff] [blame] | 437 | if (Node->isArgumentType()) |
| 438 | DumpType(Node->getArgumentType()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 439 | } |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 440 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 441 | void StmtDumper::VisitMemberExpr(MemberExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 442 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 443 | OS << " " << (Node->isArrow() ? "->" : ".") |
Benjamin Kramer | 900fc63 | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 444 | << Node->getMemberDecl() << ' ' |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 445 | << (void*)Node->getMemberDecl(); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 446 | } |
Nate Begeman | 213541a | 2008-04-18 23:10:10 +0000 | [diff] [blame] | 447 | void StmtDumper::VisitExtVectorElementExpr(ExtVectorElementExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 448 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 449 | OS << " " << Node->getAccessor().getNameStart(); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 450 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 451 | void StmtDumper::VisitBinaryOperator(BinaryOperator *Node) { |
| 452 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 453 | OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) << "'"; |
Chris Lattner | eb14fe8 | 2007-08-25 02:00:02 +0000 | [diff] [blame] | 454 | } |
| 455 | void StmtDumper::VisitCompoundAssignOperator(CompoundAssignOperator *Node) { |
| 456 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 457 | OS << " '" << BinaryOperator::getOpcodeStr(Node->getOpcode()) |
| 458 | << "' ComputeLHSTy="; |
Eli Friedman | ab3a852 | 2009-03-28 01:22:36 +0000 | [diff] [blame] | 459 | DumpType(Node->getComputationLHSType()); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 460 | OS << " ComputeResultTy="; |
Eli Friedman | ab3a852 | 2009-03-28 01:22:36 +0000 | [diff] [blame] | 461 | DumpType(Node->getComputationResultType()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 462 | } |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 463 | |
| 464 | // GNU extensions. |
| 465 | |
| 466 | void StmtDumper::VisitAddrLabelExpr(AddrLabelExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 467 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 468 | OS << " " << Node->getLabel()->getName() |
| 469 | << " " << (void*)Node->getLabel(); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 470 | } |
| 471 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 472 | void StmtDumper::VisitTypesCompatibleExpr(TypesCompatibleExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 473 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 474 | OS << " "; |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 475 | DumpType(Node->getArgType1()); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 476 | OS << " "; |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 477 | DumpType(Node->getArgType2()); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 478 | } |
| 479 | |
Chris Lattner | f9e0581 | 2007-08-09 18:03:18 +0000 | [diff] [blame] | 480 | //===----------------------------------------------------------------------===// |
| 481 | // C++ Expressions |
| 482 | //===----------------------------------------------------------------------===// |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 483 | |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 484 | void StmtDumper::VisitCXXNamedCastExpr(CXXNamedCastExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 485 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 486 | OS << " " << Node->getCastName() |
| 487 | << "<" << Node->getTypeAsWritten().getAsString() << ">" |
Anders Carlsson | 5cf86ba | 2010-04-24 19:06:50 +0000 | [diff] [blame] | 488 | << " <" << Node->getCastKindName(); |
| 489 | DumpBasePath(OS, Node); |
| 490 | OS << ">"; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 491 | } |
| 492 | |
| 493 | void StmtDumper::VisitCXXBoolLiteralExpr(CXXBoolLiteralExpr *Node) { |
Chris Lattner | 13cb21f | 2007-08-09 17:35:30 +0000 | [diff] [blame] | 494 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 495 | OS << " " << (Node->getValue() ? "true" : "false"); |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 496 | } |
| 497 | |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 498 | void StmtDumper::VisitCXXThisExpr(CXXThisExpr *Node) { |
| 499 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 500 | OS << " this"; |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 501 | } |
| 502 | |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 503 | void StmtDumper::VisitCXXFunctionalCastExpr(CXXFunctionalCastExpr *Node) { |
| 504 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 505 | OS << " functional cast to " << Node->getTypeAsWritten().getAsString(); |
Douglas Gregor | 49badde | 2008-10-27 19:41:14 +0000 | [diff] [blame] | 506 | } |
| 507 | |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 508 | void StmtDumper::VisitCXXConstructExpr(CXXConstructExpr *Node) { |
| 509 | DumpExpr(Node); |
John McCall | d4bbdfe | 2010-02-02 19:03:45 +0000 | [diff] [blame] | 510 | CXXConstructorDecl *Ctor = Node->getConstructor(); |
| 511 | DumpType(Ctor->getType()); |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 512 | if (Node->isElidable()) |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 513 | OS << " elidable"; |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 514 | } |
| 515 | |
| 516 | void StmtDumper::VisitCXXBindTemporaryExpr(CXXBindTemporaryExpr *Node) { |
| 517 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 518 | OS << " "; |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 519 | DumpCXXTemporary(Node->getTemporary()); |
| 520 | } |
| 521 | |
| 522 | void StmtDumper::VisitCXXExprWithTemporaries(CXXExprWithTemporaries *Node) { |
| 523 | DumpExpr(Node); |
| 524 | ++IndentLevel; |
| 525 | for (unsigned i = 0, e = Node->getNumTemporaries(); i != e; ++i) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 526 | OS << "\n"; |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 527 | Indent(); |
| 528 | DumpCXXTemporary(Node->getTemporary(i)); |
| 529 | } |
| 530 | --IndentLevel; |
| 531 | } |
| 532 | |
| 533 | void StmtDumper::DumpCXXTemporary(CXXTemporary *Temporary) { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 534 | OS << "(CXXTemporary " << (void *)Temporary << ")"; |
Anders Carlsson | 0eca1b6 | 2009-08-12 00:21:52 +0000 | [diff] [blame] | 535 | } |
| 536 | |
Anders Carlsson | 5508518 | 2007-08-21 17:43:55 +0000 | [diff] [blame] | 537 | //===----------------------------------------------------------------------===// |
| 538 | // Obj-C Expressions |
| 539 | //===----------------------------------------------------------------------===// |
| 540 | |
Ted Kremenek | b3d914b | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 541 | void StmtDumper::VisitObjCMessageExpr(ObjCMessageExpr* Node) { |
| 542 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 543 | OS << " selector=" << Node->getSelector().getAsString(); |
Douglas Gregor | 04badcf | 2010-04-21 00:45:42 +0000 | [diff] [blame] | 544 | switch (Node->getReceiverKind()) { |
| 545 | case ObjCMessageExpr::Instance: |
| 546 | break; |
| 547 | |
| 548 | case ObjCMessageExpr::Class: |
| 549 | OS << " class="; |
| 550 | DumpType(Node->getClassReceiver()); |
| 551 | break; |
| 552 | |
| 553 | case ObjCMessageExpr::SuperInstance: |
| 554 | OS << " super (instance)"; |
| 555 | break; |
| 556 | |
| 557 | case ObjCMessageExpr::SuperClass: |
| 558 | OS << " super (class)"; |
| 559 | break; |
| 560 | } |
Ted Kremenek | b3d914b | 2008-02-29 22:04:05 +0000 | [diff] [blame] | 561 | } |
| 562 | |
Douglas Gregor | 8f5e3dd | 2010-04-23 22:50:49 +0000 | [diff] [blame] | 563 | void StmtDumper::VisitObjCAtCatchStmt(ObjCAtCatchStmt *Node) { |
| 564 | DumpStmt(Node); |
Douglas Gregor | c00d8e1 | 2010-04-26 16:46:50 +0000 | [diff] [blame] | 565 | if (VarDecl *CatchParam = Node->getCatchParamDecl()) { |
Douglas Gregor | 8f5e3dd | 2010-04-23 22:50:49 +0000 | [diff] [blame] | 566 | OS << " catch parm = "; |
| 567 | DumpDeclarator(CatchParam); |
| 568 | } else { |
| 569 | OS << " catch all"; |
| 570 | } |
| 571 | } |
| 572 | |
Anders Carlsson | f9bcf01 | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 573 | void StmtDumper::VisitObjCEncodeExpr(ObjCEncodeExpr *Node) { |
| 574 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 575 | OS << " "; |
Anders Carlsson | f9bcf01 | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 576 | DumpType(Node->getEncodedType()); |
Anders Carlsson | f9bcf01 | 2007-08-22 15:14:15 +0000 | [diff] [blame] | 577 | } |
| 578 | |
Fariborz Jahanian | b62f681 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 579 | void StmtDumper::VisitObjCSelectorExpr(ObjCSelectorExpr *Node) { |
| 580 | DumpExpr(Node); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 581 | |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 582 | OS << " " << Node->getSelector().getAsString(); |
Fariborz Jahanian | b62f681 | 2007-10-16 20:40:23 +0000 | [diff] [blame] | 583 | } |
| 584 | |
Fariborz Jahanian | 390d50a | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 585 | void StmtDumper::VisitObjCProtocolExpr(ObjCProtocolExpr *Node) { |
| 586 | DumpExpr(Node); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 587 | |
Benjamin Kramer | 900fc63 | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 588 | OS << ' ' << Node->getProtocol(); |
Fariborz Jahanian | 390d50a | 2007-10-17 16:58:11 +0000 | [diff] [blame] | 589 | } |
Daniel Dunbar | 7f8ea5c | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 590 | |
| 591 | void StmtDumper::VisitObjCPropertyRefExpr(ObjCPropertyRefExpr *Node) { |
| 592 | DumpExpr(Node); |
Daniel Dunbar | e66f4e3 | 2008-09-03 00:27:26 +0000 | [diff] [blame] | 593 | |
Benjamin Kramer | 900fc63 | 2010-04-17 09:33:03 +0000 | [diff] [blame] | 594 | OS << " Kind=PropertyRef Property=\"" << Node->getProperty() << '"'; |
Fariborz Jahanian | 5daf570 | 2008-11-22 18:39:36 +0000 | [diff] [blame] | 595 | } |
| 596 | |
Fariborz Jahanian | 09105f5 | 2009-08-20 17:02:02 +0000 | [diff] [blame] | 597 | void StmtDumper::VisitObjCImplicitSetterGetterRefExpr( |
| 598 | ObjCImplicitSetterGetterRefExpr *Node) { |
Fariborz Jahanian | 5daf570 | 2008-11-22 18:39:36 +0000 | [diff] [blame] | 599 | DumpExpr(Node); |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 600 | |
Fariborz Jahanian | 5daf570 | 2008-11-22 18:39:36 +0000 | [diff] [blame] | 601 | ObjCMethodDecl *Getter = Node->getGetterMethod(); |
| 602 | ObjCMethodDecl *Setter = Node->getSetterMethod(); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 603 | OS << " Kind=MethodRef Getter=\"" |
| 604 | << Getter->getSelector().getAsString() |
| 605 | << "\" Setter=\""; |
| 606 | if (Setter) |
| 607 | OS << Setter->getSelector().getAsString(); |
| 608 | else |
| 609 | OS << "(null)"; |
| 610 | OS << "\""; |
Daniel Dunbar | 7f8ea5c | 2008-08-30 05:35:15 +0000 | [diff] [blame] | 611 | } |
| 612 | |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 613 | void StmtDumper::VisitObjCSuperExpr(ObjCSuperExpr *Node) { |
| 614 | DumpExpr(Node); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 615 | OS << " super"; |
Douglas Gregor | cd9b46e | 2008-11-04 14:56:14 +0000 | [diff] [blame] | 616 | } |
| 617 | |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 618 | //===----------------------------------------------------------------------===// |
| 619 | // Stmt method implementations |
| 620 | //===----------------------------------------------------------------------===// |
| 621 | |
| 622 | /// dump - This does a local dump of the specified AST fragment. It dumps the |
| 623 | /// specified node and a few nodes underneath it, but not the whole subtree. |
| 624 | /// This is useful in a debugger. |
Chris Lattner | e300c87 | 2007-08-30 06:17:34 +0000 | [diff] [blame] | 625 | void Stmt::dump(SourceManager &SM) const { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 626 | StmtDumper P(&SM, llvm::errs(), 4); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 627 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 628 | llvm::errs() << "\n"; |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 629 | } |
| 630 | |
| 631 | /// dump - This does a local dump of the specified AST fragment. It dumps the |
| 632 | /// specified node and a few nodes underneath it, but not the whole subtree. |
| 633 | /// This is useful in a debugger. |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 634 | void Stmt::dump() const { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 635 | StmtDumper P(0, llvm::errs(), 4); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 636 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 637 | llvm::errs() << "\n"; |
Chris Lattner | 0c727a3 | 2007-08-30 00:40:08 +0000 | [diff] [blame] | 638 | } |
| 639 | |
| 640 | /// 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] | 641 | void Stmt::dumpAll(SourceManager &SM) const { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 642 | StmtDumper P(&SM, llvm::errs(), ~0U); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 643 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 644 | llvm::errs() << "\n"; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 645 | } |
| 646 | |
| 647 | /// dumpAll - This does a dump of the specified AST fragment and all subtrees. |
| 648 | void Stmt::dumpAll() const { |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 649 | StmtDumper P(0, llvm::errs(), ~0U); |
Chris Lattner | b393879 | 2007-08-30 00:53:54 +0000 | [diff] [blame] | 650 | P.DumpSubTree(const_cast<Stmt*>(this)); |
Daniel Dunbar | 806c12e | 2009-12-03 09:13:13 +0000 | [diff] [blame] | 651 | llvm::errs() << "\n"; |
Chris Lattner | 6000dac | 2007-08-08 22:51:59 +0000 | [diff] [blame] | 652 | } |