clang
3.9.0
|
#include <ThreadSafetyTraverse.h>
Public Member Functions | |
PrettyPrinter (bool V=false, bool C=true, bool CS=true) | |
Static Public Member Functions | |
static void | print (const SExpr *E, StreamType &SS) |
Protected Member Functions | |
Self * | self () |
void | newline (StreamType &SS) |
unsigned | precedence (const SExpr *E) |
void | printBlockLabel (StreamType &SS, const BasicBlock *BB, int index) |
void | printSExpr (const SExpr *E, StreamType &SS, unsigned P, bool Sub=true) |
void | printNull (StreamType &SS) |
void | printFuture (const Future *E, StreamType &SS) |
void | printUndefined (const Undefined *E, StreamType &SS) |
void | printWildcard (const Wildcard *E, StreamType &SS) |
template<class T > | |
void | printLiteralT (const LiteralT< T > *E, StreamType &SS) |
void | printLiteralT (const LiteralT< uint8_t > *E, StreamType &SS) |
void | printLiteral (const Literal *E, StreamType &SS) |
void | printLiteralPtr (const LiteralPtr *E, StreamType &SS) |
void | printVariable (const Variable *V, StreamType &SS, bool IsVarDecl=false) |
void | printFunction (const Function *E, StreamType &SS, unsigned sugared=0) |
void | printSFunction (const SFunction *E, StreamType &SS) |
void | printCode (const Code *E, StreamType &SS) |
void | printField (const Field *E, StreamType &SS) |
void | printApply (const Apply *E, StreamType &SS, bool sugared=false) |
void | printSApply (const SApply *E, StreamType &SS) |
void | printProject (const Project *E, StreamType &SS) |
void | printCall (const Call *E, StreamType &SS) |
void | printAlloc (const Alloc *E, StreamType &SS) |
void | printLoad (const Load *E, StreamType &SS) |
void | printStore (const Store *E, StreamType &SS) |
void | printArrayIndex (const ArrayIndex *E, StreamType &SS) |
void | printArrayAdd (const ArrayAdd *E, StreamType &SS) |
void | printUnaryOp (const UnaryOp *E, StreamType &SS) |
void | printBinaryOp (const BinaryOp *E, StreamType &SS) |
void | printCast (const Cast *E, StreamType &SS) |
void | printSCFG (const SCFG *E, StreamType &SS) |
void | printBBInstr (const SExpr *E, StreamType &SS) |
void | printBasicBlock (const BasicBlock *E, StreamType &SS) |
void | printPhi (const Phi *E, StreamType &SS) |
void | printGoto (const Goto *E, StreamType &SS) |
void | printBranch (const Branch *E, StreamType &SS) |
void | printReturn (const Return *E, StreamType &SS) |
void | printIdentifier (const Identifier *E, StreamType &SS) |
void | printIfThenElse (const IfThenElse *E, StreamType &SS) |
void | printLet (const Let *E, StreamType &SS) |
Static Protected Attributes | |
static const unsigned | Prec_Atom = 0 |
static const unsigned | Prec_Postfix = 1 |
static const unsigned | Prec_Unary = 2 |
static const unsigned | Prec_Binary = 3 |
static const unsigned | Prec_Other = 4 |
static const unsigned | Prec_Decl = 5 |
static const unsigned | Prec_MAX = 6 |
Definition at line 384 of file ThreadSafetyTraverse.h.
|
inline |
Definition at line 391 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 403 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBasicBlock(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBBInstr(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSCFG().
|
inlineprotected |
Definition at line 417 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSExpr().
|
inlinestatic |
Definition at line 395 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 728 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 665 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printApply(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCall().
|
inlineprotected |
Definition at line 752 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 745 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 807 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSCFG().
|
inlineprotected |
Definition at line 791 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBasicBlock().
|
inlineprotected |
Definition at line 763 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 460 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBranch(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printGoto().
|
inlineprotected |
Definition at line 848 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 716 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 769 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 651 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 658 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 619 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 505 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 843 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 862 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 866 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 883 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 526 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 608 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 518 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLiteral().
|
inlineprotected |
Definition at line 522 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 733 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 501 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSExpr().
|
inlineprotected |
Definition at line 828 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 688 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 857 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 679 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 781 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 474 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printAlloc(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printApply(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printArrayAdd(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printArrayIndex(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBasicBlock(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBBInstr(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBinaryOp(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBranch(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCall(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCast(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCode(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printField(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFunction(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFuture(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printIfThenElse(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLet(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLoad(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printPhi(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printProject(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printReturn(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSApply(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSExpr(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSFunction(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printStore(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printUnaryOp().
|
inlineprotected |
Definition at line 644 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 739 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 758 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 509 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 612 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFunction(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLet(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSFunction().
|
inlineprotected |
Definition at line 513 of file ThreadSafetyTraverse.h.
|
inlineprotected |
Definition at line 401 of file ThreadSafetyTraverse.h.
|
staticprotected |
Definition at line 408 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printArrayAdd(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFuture().
|
staticprotected |
Definition at line 411 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBinaryOp().
|
staticprotected |
Definition at line 413 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCode(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printField(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFunction(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLet(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSFunction().
|
staticprotected |
Definition at line 414 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::print(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printApply(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printArrayIndex(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBasicBlock(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBBInstr(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBranch(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFunction(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printIfThenElse(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printPhi(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSApply(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSExpr().
|
staticprotected |
Definition at line 412 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printAlloc(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printIfThenElse(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printReturn(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printStore().
|
staticprotected |
Definition at line 409 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printApply(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printArrayAdd(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printArrayIndex(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCall(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLoad(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printProject(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSApply().
|
staticprotected |
Definition at line 410 of file ThreadSafetyTraverse.h.
Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCast(), clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printIfThenElse(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printUnaryOp().