2006-11-04 07:16:25 +00:00
|
|
|
//===--- StmtPrinter.cpp - Printing implementation for Stmt ASTs ----------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by Chris Lattner and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the Stmt::dump/Stmt::print methods.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "clang/AST/StmtVisitor.h"
|
|
|
|
#include "clang/AST/Expr.h"
|
|
|
|
#include "llvm/Support/Compiler.h"
|
|
|
|
#include <iostream>
|
|
|
|
using namespace llvm;
|
|
|
|
using namespace clang;
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
namespace {
|
|
|
|
struct VISIBILITY_HIDDEN IsExprStmtVisitor : public StmtVisitor {
|
|
|
|
bool &Result;
|
|
|
|
IsExprStmtVisitor(bool &R) : Result(R) { Result = false; }
|
|
|
|
|
|
|
|
virtual void VisitExpr(Expr *Node) {
|
|
|
|
Result = true;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool isExpr(Stmt *S) {
|
|
|
|
bool Val = false;
|
|
|
|
IsExprStmtVisitor V(Val);
|
|
|
|
S->visit(V);
|
|
|
|
return Val;
|
|
|
|
}
|
|
|
|
|
2006-11-04 07:16:25 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// StmtPrinter Visitor
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
class VISIBILITY_HIDDEN StmtPrinter : public StmtVisitor {
|
|
|
|
std::ostream &OS;
|
|
|
|
unsigned IndentLevel;
|
|
|
|
public:
|
|
|
|
StmtPrinter(std::ostream &os) : OS(os), IndentLevel(0) {}
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
void PrintStmt(Stmt *S) {
|
|
|
|
++IndentLevel;
|
|
|
|
if (S && isExpr(S)) {
|
|
|
|
// If this is an expr used in a stmt context, indent and newline it.
|
|
|
|
Indent();
|
|
|
|
S->visit(*this);
|
|
|
|
OS << "\n";
|
|
|
|
} else if (S) {
|
2006-11-04 07:16:25 +00:00
|
|
|
S->visit(*this);
|
2006-11-04 18:52:07 +00:00
|
|
|
} else {
|
2006-11-04 20:40:44 +00:00
|
|
|
Indent() << ";\n";
|
2006-11-04 18:52:07 +00:00
|
|
|
}
|
|
|
|
--IndentLevel;
|
|
|
|
}
|
|
|
|
|
|
|
|
void PrintExpr(Expr *E) {
|
|
|
|
if (E)
|
|
|
|
E->visit(*this);
|
2006-11-04 07:16:25 +00:00
|
|
|
else
|
2006-11-04 18:52:07 +00:00
|
|
|
OS << "<null expr>";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
std::ostream &Indent() const {
|
|
|
|
for (unsigned i = 0, e = IndentLevel; i != e; ++i)
|
|
|
|
OS << " ";
|
|
|
|
return OS;
|
|
|
|
}
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
virtual void VisitStmt(Stmt *Node);
|
|
|
|
virtual void VisitCompoundStmt(CompoundStmt *Node);
|
|
|
|
virtual void VisitIfStmt(IfStmt *Node);
|
2006-11-04 20:40:44 +00:00
|
|
|
virtual void VisitWhileStmt(WhileStmt *Node);
|
|
|
|
virtual void VisitDoStmt(DoStmt *Node);
|
2006-11-04 20:18:38 +00:00
|
|
|
virtual void VisitForStmt(ForStmt *Node);
|
2006-11-04 18:52:07 +00:00
|
|
|
virtual void VisitReturnStmt(ReturnStmt *Node);
|
|
|
|
|
|
|
|
virtual void VisitExpr(Expr *Node);
|
|
|
|
virtual void VisitDeclRefExpr(DeclRefExpr *Node);
|
|
|
|
virtual void VisitIntegerConstant(IntegerConstant *Node);
|
|
|
|
virtual void VisitFloatingConstant(FloatingConstant *Node);
|
|
|
|
virtual void VisitStringExpr(StringExpr *Node);
|
|
|
|
virtual void VisitParenExpr(ParenExpr *Node);
|
|
|
|
virtual void VisitUnaryOperator(UnaryOperator *Node);
|
|
|
|
virtual void VisitSizeOfAlignOfTypeExpr(SizeOfAlignOfTypeExpr *Node);
|
|
|
|
virtual void VisitArraySubscriptExpr(ArraySubscriptExpr *Node);
|
|
|
|
virtual void VisitCallExpr(CallExpr *Node);
|
|
|
|
virtual void VisitMemberExpr(MemberExpr *Node);
|
|
|
|
virtual void VisitCastExpr(CastExpr *Node);
|
|
|
|
virtual void VisitBinaryOperator(BinaryOperator *Node);
|
|
|
|
virtual void VisitConditionalOperator(ConditionalOperator *Node);
|
2006-11-04 20:18:38 +00:00
|
|
|
};
|
2006-11-04 18:52:07 +00:00
|
|
|
}
|
|
|
|
|
2006-11-04 20:18:38 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Stmt printing methods.
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitStmt(Stmt *Node) {
|
|
|
|
Indent() << "<<unknown stmt type>>\n";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void StmtPrinter::VisitCompoundStmt(CompoundStmt *Node) {
|
|
|
|
Indent() << "{\n";
|
|
|
|
|
|
|
|
for (CompoundStmt::body_iterator I = Node->body_begin(), E = Node->body_end();
|
2006-11-04 18:52:07 +00:00
|
|
|
I != E; ++I)
|
|
|
|
PrintStmt(*I);
|
2006-11-04 07:16:25 +00:00
|
|
|
|
|
|
|
Indent() << "}\n";
|
|
|
|
}
|
|
|
|
|
|
|
|
void StmtPrinter::VisitIfStmt(IfStmt *If) {
|
2006-11-04 20:40:44 +00:00
|
|
|
Indent() << "if (";
|
2006-11-04 18:52:07 +00:00
|
|
|
PrintExpr(If->getCond());
|
2006-11-04 07:16:25 +00:00
|
|
|
|
2006-11-04 20:40:44 +00:00
|
|
|
OS << ")\n";
|
2006-11-04 18:52:07 +00:00
|
|
|
PrintStmt(If->getThen());
|
|
|
|
if (If->getElse()) {
|
|
|
|
Indent() << "else\n";
|
|
|
|
PrintStmt(If->getElse());
|
|
|
|
}
|
2006-11-04 20:40:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void StmtPrinter::VisitWhileStmt(WhileStmt *Node) {
|
|
|
|
Indent() << "while (";
|
|
|
|
PrintExpr(Node->getCond());
|
|
|
|
OS << ")\n";
|
|
|
|
PrintStmt(Node->getBody());
|
|
|
|
}
|
|
|
|
|
|
|
|
void StmtPrinter::VisitDoStmt(DoStmt *Node) {
|
|
|
|
Indent() << "do\n";
|
|
|
|
PrintStmt(Node->getBody());
|
|
|
|
Indent() << "while (";
|
|
|
|
PrintExpr(Node->getCond());
|
|
|
|
OS << ")\n";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
|
|
|
|
2006-11-04 20:18:38 +00:00
|
|
|
void StmtPrinter::VisitForStmt(ForStmt *Node) {
|
|
|
|
Indent() << "for (";
|
|
|
|
if (Node->getFirst())
|
|
|
|
PrintExpr((Expr*)Node->getFirst());
|
|
|
|
OS << "; ";
|
|
|
|
if (Node->getSecond())
|
|
|
|
PrintExpr(Node->getSecond());
|
|
|
|
OS << "; ";
|
|
|
|
if (Node->getThird())
|
|
|
|
PrintExpr(Node->getThird());
|
|
|
|
OS << ")\n";
|
2006-11-04 20:40:44 +00:00
|
|
|
PrintStmt(Node->getBody());
|
2006-11-04 20:18:38 +00:00
|
|
|
}
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitReturnStmt(ReturnStmt *Node) {
|
|
|
|
Indent() << "return";
|
|
|
|
if (Node->getRetValue()) {
|
|
|
|
OS << " ";
|
|
|
|
PrintExpr(Node->getRetValue());
|
|
|
|
}
|
|
|
|
OS << "\n";
|
|
|
|
}
|
2006-11-04 07:16:25 +00:00
|
|
|
|
2006-11-04 20:18:38 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Expr printing methods.
|
|
|
|
//===----------------------------------------------------------------------===//
|
2006-11-04 07:16:25 +00:00
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitExpr(Expr *Node) {
|
|
|
|
OS << "<<unknown expr type>>";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitDeclRefExpr(DeclRefExpr *Node) {
|
|
|
|
// FIXME: print name.
|
|
|
|
OS << "x";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitIntegerConstant(IntegerConstant *Node) {
|
|
|
|
// FIXME: print value.
|
|
|
|
OS << "1";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitFloatingConstant(FloatingConstant *Node) {
|
|
|
|
// FIXME: print value.
|
|
|
|
OS << "1.0";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitStringExpr(StringExpr *Str) {
|
|
|
|
if (Str->isWide()) OS << 'L';
|
2006-11-04 20:29:31 +00:00
|
|
|
OS << '"';
|
|
|
|
|
|
|
|
// FIXME: this doesn't print wstrings right.
|
|
|
|
for (unsigned i = 0, e = Str->getByteLength(); i != e; ++i) {
|
|
|
|
switch (Str->getStrData()[i]) {
|
|
|
|
default: OS << Str->getStrData()[i]; break;
|
|
|
|
// Handle some common ones to make dumps prettier.
|
|
|
|
case '\\': OS << "\\\\"; break;
|
|
|
|
case '"': OS << "\\\""; break;
|
|
|
|
case '\n': OS << "\\n"; break;
|
|
|
|
case '\t': OS << "\\t"; break;
|
|
|
|
case '\a': OS << "\\a"; break;
|
|
|
|
case '\b': OS << "\\b"; break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
OS << '"';
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitParenExpr(ParenExpr *Node) {
|
|
|
|
OS << "(";
|
|
|
|
PrintExpr(Node->getSubExpr());
|
|
|
|
OS << ")'";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitUnaryOperator(UnaryOperator *Node) {
|
|
|
|
OS << UnaryOperator::getOpcodeStr(Node->getOpcode());
|
|
|
|
PrintExpr(Node->getSubExpr());
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitSizeOfAlignOfTypeExpr(SizeOfAlignOfTypeExpr *Node) {
|
|
|
|
OS << (Node->isSizeOf() ? "sizeof(" : "alignof(");
|
2006-11-04 07:16:25 +00:00
|
|
|
// FIXME: print type.
|
2006-11-04 18:52:07 +00:00
|
|
|
OS << "ty)";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitArraySubscriptExpr(ArraySubscriptExpr *Node) {
|
|
|
|
PrintExpr(Node->getBase());
|
|
|
|
OS << "[";
|
|
|
|
PrintExpr(Node->getIdx());
|
|
|
|
OS << "]";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitCallExpr(CallExpr *Call) {
|
|
|
|
PrintExpr(Call->getCallee());
|
|
|
|
OS << "(";
|
|
|
|
for (unsigned i = 0, e = Call->getNumArgs(); i != e; ++i) {
|
|
|
|
if (i) OS << ", ";
|
|
|
|
PrintExpr(Call->getArg(i));
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
OS << ")";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitMemberExpr(MemberExpr *Node) {
|
|
|
|
PrintExpr(Node->getBase());
|
|
|
|
OS << (Node->isArrow() ? "->" : ".");
|
2006-11-04 07:16:25 +00:00
|
|
|
|
2006-11-04 18:52:07 +00:00
|
|
|
if (Node->getMemberDecl())
|
|
|
|
assert(0 && "TODO: should print member decl!");
|
|
|
|
OS << "member";
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
2006-11-04 18:52:07 +00:00
|
|
|
void StmtPrinter::VisitCastExpr(CastExpr *Node) {
|
|
|
|
OS << "(";
|
2006-11-04 07:16:25 +00:00
|
|
|
// TODO PRINT TYPE
|
2006-11-04 18:52:07 +00:00
|
|
|
OS << "<type>";
|
|
|
|
OS << ")";
|
|
|
|
PrintExpr(Node->getSubExpr());
|
|
|
|
}
|
|
|
|
void StmtPrinter::VisitBinaryOperator(BinaryOperator *Node) {
|
|
|
|
PrintExpr(Node->getLHS());
|
|
|
|
OS << " " << BinaryOperator::getOpcodeStr(Node->getOpcode()) << " ";
|
|
|
|
PrintExpr(Node->getRHS());
|
|
|
|
}
|
|
|
|
void StmtPrinter::VisitConditionalOperator(ConditionalOperator *Node) {
|
|
|
|
PrintExpr(Node->getCond());
|
|
|
|
OS << " ? ";
|
|
|
|
PrintExpr(Node->getLHS());
|
2006-11-04 07:16:25 +00:00
|
|
|
std::cerr << " : ";
|
2006-11-04 18:52:07 +00:00
|
|
|
PrintExpr(Node->getRHS());
|
2006-11-04 07:16:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Stmt method implementations
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
void Stmt::dump() const {
|
|
|
|
print(std::cerr);
|
|
|
|
}
|
|
|
|
|
|
|
|
void Stmt::print(std::ostream &OS) const {
|
2006-11-04 18:52:07 +00:00
|
|
|
if (this == 0) {
|
|
|
|
OS << "<NULL>";
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2006-11-04 07:16:25 +00:00
|
|
|
StmtPrinter P(OS);
|
|
|
|
const_cast<Stmt*>(this)->visit(P);
|
|
|
|
}
|