klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::ExprPPrinter Class Referenceabstract

#include <ExprPPrinter.h>

Inheritance diagram for klee::ExprPPrinter:

Public Member Functions

virtual ~ExprPPrinter ()
 
virtual void setNewline (const std::string &newline)=0
 
virtual void setForceNoLineBreaks (bool forceNoLineBreaks)=0
 
virtual void reset ()=0
 
virtual void scan (const ref< Expr > &e)=0
 
virtual void print (const ref< Expr > &e, unsigned indent=0)=0
 
template<class Container >
void scan (Container c)
 
template<class InputIterator >
void scan (InputIterator it, InputIterator end)
 

Static Public Member Functions

static ExprPPrintercreate (llvm::raw_ostream &os)
 
static void printOne (llvm::raw_ostream &os, const char *message, const ref< Expr > &e)
 
static void printSingleExpr (llvm::raw_ostream &os, const ref< Expr > &e)
 
static void printConstraints (llvm::raw_ostream &os, const ConstraintManager &constraints)
 
static void printQuery (llvm::raw_ostream &os, const ConstraintManager &constraints, const ref< Expr > &q, const ref< Expr > *evalExprsBegin=0, const ref< Expr > *evalExprsEnd=0, const Array *const *evalArraysBegin=0, const Array *const *evalArraysEnd=0, bool printArrayDecls=true)
 

Protected Member Functions

 ExprPPrinter ()
 

Detailed Description

Definition at line 21 of file ExprPPrinter.h.

Constructor & Destructor Documentation

klee::ExprPPrinter::ExprPPrinter ( )
inlineprotected

Definition at line 23 of file ExprPPrinter.h.

virtual klee::ExprPPrinter::~ExprPPrinter ( )
inlinevirtual

Definition at line 28 of file ExprPPrinter.h.

Member Function Documentation

ExprPPrinter * klee::ExprPPrinter::create ( llvm::raw_ostream &  os)
static

Definition at line 427 of file ExprPPrinter.cpp.

Referenced by klee::PTree::dump().

Here is the caller graph for this function:

virtual void klee::ExprPPrinter::print ( const ref< Expr > &  e,
unsigned  indent = 0 
)
pure virtual

Implemented in PPrinter.

Referenced by klee::PTree::dump().

Here is the caller graph for this function:

void ExprPPrinter::printConstraints ( llvm::raw_ostream &  os,
const ConstraintManager constraints 
)
static

Definition at line 455 of file ExprPPrinter.cpp.

References klee::ConstantExpr::alloc(), klee::Expr::Bool, and printQuery().

Referenced by klee::Executor::getConstraintLog().

Here is the call graph for this function:

Here is the caller graph for this function:

void ExprPPrinter::printOne ( llvm::raw_ostream &  os,
const char *  message,
const ref< Expr > &  e 
)
static

printOne - Pretty print a single expression prefixed by a message and followed by a line break.

Definition at line 431 of file ExprPPrinter.cpp.

References PrintContext::breakLine(), PPrinter::print(), and PPrinter::scan().

Referenced by klee::Executor::executeAlloc().

Here is the call graph for this function:

Here is the caller graph for this function:

void ExprPPrinter::printQuery ( llvm::raw_ostream &  os,
const ConstraintManager constraints,
const ref< Expr > &  q,
const ref< Expr > *  evalExprsBegin = 0,
const ref< Expr > *  evalExprsEnd = 0,
const Array *const *  evalArraysBegin = 0,
const Array *const *  evalArraysEnd = 0,
bool  printArrayDecls = true 
)
static
void ExprPPrinter::printSingleExpr ( llvm::raw_ostream &  os,
const ref< Expr > &  e 
)
static

printSingleExpr - Pretty print a single expression.

The expression will not be followed by a line break.

Note that if the output stream is not positioned at the beginning of a line then printing will not resume at the correct position following any output line breaks.

Definition at line 445 of file ExprPPrinter.cpp.

References PPrinter::print(), and PPrinter::scan().

Referenced by klee::Expr::print().

Here is the call graph for this function:

Here is the caller graph for this function:

virtual void klee::ExprPPrinter::reset ( )
pure virtual

Implemented in PPrinter.

virtual void klee::ExprPPrinter::scan ( const ref< Expr > &  e)
pure virtual

Implemented in PPrinter.

Referenced by scan().

Here is the caller graph for this function:

template<class Container >
void klee::ExprPPrinter::scan ( Container  c)
inline

Definition at line 39 of file ExprPPrinter.h.

References scan().

Here is the call graph for this function:

template<class InputIterator >
void klee::ExprPPrinter::scan ( InputIterator  it,
InputIterator  end 
)
inline

Definition at line 44 of file ExprPPrinter.h.

References scan().

Here is the call graph for this function:

virtual void klee::ExprPPrinter::setForceNoLineBreaks ( bool  forceNoLineBreaks)
pure virtual

Implemented in PPrinter.

virtual void klee::ExprPPrinter::setNewline ( const std::string &  newline)
pure virtual

Implemented in PPrinter.

Referenced by klee::PTree::dump().

Here is the caller graph for this function:


The documentation for this class was generated from the following files: