class PrettyPrinter
Declaration
template <typename Self, typename StreamType>
class PrettyPrinter { /* full declaration omitted */ };
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:405
Templates
- Self
- StreamType
Member Variables
- private bool Verbose
- private bool Cleanup
- private bool CStyle
- protected static const unsigned int Prec_Atom = 0
- protected static const unsigned int Prec_Postfix = 1
- protected static const unsigned int Prec_Unary = 2
- protected static const unsigned int Prec_Binary = 3
- protected static const unsigned int Prec_Other = 4
- protected static const unsigned int Prec_Decl = 5
- protected static const unsigned int Prec_MAX = 6
Method Overview
- public PrettyPrinter<Self, StreamType>(bool V = false, bool C = true, bool CS = true)
- protected void newline(StreamType & SS)
- protected unsigned int precedence(const clang::threadSafety::til::SExpr * E)
- public static void print(const clang::threadSafety::til::SExpr * E, StreamType & SS)
- protected void printAlloc(const clang::threadSafety::til::Alloc * E, StreamType & SS)
- protected void printApply(const clang::threadSafety::til::Apply * E, StreamType & SS, bool sugared = false)
- protected void printArrayAdd(const clang::threadSafety::til::ArrayAdd * E, StreamType & SS)
- protected void printArrayIndex(const clang::threadSafety::til::ArrayIndex * E, StreamType & SS)
- protected void printBBInstr(const clang::threadSafety::til::SExpr * E, StreamType & SS)
- protected void printBasicBlock(const clang::threadSafety::til::BasicBlock * E, StreamType & SS)
- protected void printBinaryOp(const clang::threadSafety::til::BinaryOp * E, StreamType & SS)
- protected void printBlockLabel(StreamType & SS, const clang::threadSafety::til::BasicBlock * BB, int index)
- protected void printBranch(const clang::threadSafety::til::Branch * E, StreamType & SS)
- protected void printCall(const clang::threadSafety::til::Call * E, StreamType & SS)
- protected void printCast(const clang::threadSafety::til::Cast * E, StreamType & SS)
- protected void printCode(const clang::threadSafety::til::Code * E, StreamType & SS)
- protected void printField(const clang::threadSafety::til::Field * E, StreamType & SS)
- protected void printFunction(const clang::threadSafety::til::Function * E, StreamType & SS, unsigned int sugared = 0)
- protected void printFuture(const clang::threadSafety::til::Future * E, StreamType & SS)
- protected void printGoto(const clang::threadSafety::til::Goto * E, StreamType & SS)
- protected void printIdentifier(const clang::threadSafety::til::Identifier * E, StreamType & SS)
- protected void printIfThenElse(const clang::threadSafety::til::IfThenElse * E, StreamType & SS)
- protected void printLet(const clang::threadSafety::til::Let * E, StreamType & SS)
- protected void printLiteral(const clang::threadSafety::til::Literal * E, StreamType & SS)
- protected void printLiteralPtr(const clang::threadSafety::til::LiteralPtr * E, StreamType & SS)
- protected template <class T>void printLiteralT(const LiteralT<T> * E, StreamType & SS)
- protected void printLiteralT(const LiteralT<uint8_t> * E, StreamType & SS)
- protected void printLoad(const clang::threadSafety::til::Load * E, StreamType & SS)
- protected void printNull(StreamType & SS)
- protected void printPhi(const clang::threadSafety::til::Phi * E, StreamType & SS)
- protected void printProject(const clang::threadSafety::til::Project * E, StreamType & SS)
- protected void printReturn(const clang::threadSafety::til::Return * E, StreamType & SS)
- protected void printSApply(const clang::threadSafety::til::SApply * E, StreamType & SS)
- protected void printSCFG(const clang::threadSafety::til::SCFG * E, StreamType & SS)
- protected void printSExpr(const clang::threadSafety::til::SExpr * E, StreamType & SS, unsigned int P, bool Sub = true)
- protected void printSFunction(const clang::threadSafety::til::SFunction * E, StreamType & SS)
- protected void printStore(const clang::threadSafety::til::Store * E, StreamType & SS)
- protected void printUnaryOp(const clang::threadSafety::til::UnaryOp * E, StreamType & SS)
- protected void printUndefined(const clang::threadSafety::til::Undefined * E, StreamType & SS)
- protected void printVariable(const clang::threadSafety::til::Variable * V, StreamType & SS, bool IsVarDecl = false)
- protected void printWildcard(const clang::threadSafety::til::Wildcard * E, StreamType & SS)
- protected Self * self()
Methods
¶PrettyPrinter<Self, StreamType>(bool V = false,
bool C = true,
bool CS = true)
PrettyPrinter<Self, StreamType>(bool V = false,
bool C = true,
bool CS = true)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:417
Parameters
- bool V = false
- bool C = true
- bool CS = true
¶void newline(StreamType& SS)
void newline(StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:428
Parameters
- StreamType& SS
¶unsigned int precedence(
const clang::threadSafety::til::SExpr* E)
unsigned int precedence(
const clang::threadSafety::til::SExpr* E)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:442
Parameters
- const clang::threadSafety::til::SExpr* E
¶static void print(
const clang::threadSafety::til::SExpr* E,
StreamType& SS)
static void print(
const clang::threadSafety::til::SExpr* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:420
Parameters
- const clang::threadSafety::til::SExpr* E
- StreamType& SS
¶void printAlloc(
const clang::threadSafety::til::Alloc* E,
StreamType& SS)
void printAlloc(
const clang::threadSafety::til::Alloc* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:743
Parameters
- const clang::threadSafety::til::Alloc* E
- StreamType& SS
¶void printApply(
const clang::threadSafety::til::Apply* E,
StreamType& SS,
bool sugared = false)
void printApply(
const clang::threadSafety::til::Apply* E,
StreamType& SS,
bool sugared = false)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:682
Parameters
- const clang::threadSafety::til::Apply* E
- StreamType& SS
- bool sugared = false
¶void printArrayAdd(
const clang::threadSafety::til::ArrayAdd* E,
StreamType& SS)
void printArrayAdd(
const clang::threadSafety::til::ArrayAdd* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:767
Parameters
- const clang::threadSafety::til::ArrayAdd* E
- StreamType& SS
¶void printArrayIndex(
const clang::threadSafety::til::ArrayIndex* E,
StreamType& SS)
void printArrayIndex(
const clang::threadSafety::til::ArrayIndex* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:760
Parameters
- const clang::threadSafety::til::ArrayIndex* E
- StreamType& SS
¶void printBBInstr(
const clang::threadSafety::til::SExpr* E,
StreamType& SS)
void printBBInstr(
const clang::threadSafety::til::SExpr* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:823
Parameters
- const clang::threadSafety::til::SExpr* E
- StreamType& SS
¶void printBasicBlock(
const clang::threadSafety::til::BasicBlock* E,
StreamType& SS)
void printBasicBlock(
const clang::threadSafety::til::BasicBlock* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:839
Parameters
- const clang::threadSafety::til::BasicBlock* E
- StreamType& SS
¶void printBinaryOp(
const clang::threadSafety::til::BinaryOp* E,
StreamType& SS)
void printBinaryOp(
const clang::threadSafety::til::BinaryOp* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:778
Parameters
- const clang::threadSafety::til::BinaryOp* E
- StreamType& SS
¶void printBlockLabel(
StreamType& SS,
const clang::threadSafety::til::BasicBlock*
BB,
int index)
void printBlockLabel(
StreamType& SS,
const clang::threadSafety::til::BasicBlock*
BB,
int index)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:485
Parameters
- StreamType& SS
- const clang::threadSafety::til::BasicBlock* BB
- int index
¶void printBranch(
const clang::threadSafety::til::Branch* E,
StreamType& SS)
void printBranch(
const clang::threadSafety::til::Branch* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:880
Parameters
- const clang::threadSafety::til::Branch* E
- StreamType& SS
¶void printCall(
const clang::threadSafety::til::Call* E,
StreamType& SS)
void printCall(
const clang::threadSafety::til::Call* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:731
Parameters
- const clang::threadSafety::til::Call* E
- StreamType& SS
¶void printCast(
const clang::threadSafety::til::Cast* E,
StreamType& SS)
void printCast(
const clang::threadSafety::til::Cast* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:784
Parameters
- const clang::threadSafety::til::Cast* E
- StreamType& SS
¶void printCode(
const clang::threadSafety::til::Code* E,
StreamType& SS)
void printCode(
const clang::threadSafety::til::Code* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:668
Parameters
- const clang::threadSafety::til::Code* E
- StreamType& SS
¶void printField(
const clang::threadSafety::til::Field* E,
StreamType& SS)
void printField(
const clang::threadSafety::til::Field* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:675
Parameters
- const clang::threadSafety::til::Field* E
- StreamType& SS
¶void printFunction(
const clang::threadSafety::til::Function* E,
StreamType& SS,
unsigned int sugared = 0)
void printFunction(
const clang::threadSafety::til::Function* E,
StreamType& SS,
unsigned int sugared = 0)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:636
Parameters
- const clang::threadSafety::til::Function* E
- StreamType& SS
- unsigned int sugared = 0
¶void printFuture(
const clang::threadSafety::til::Future* E,
StreamType& SS)
void printFuture(
const clang::threadSafety::til::Future* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:529
Parameters
- const clang::threadSafety::til::Future* E
- StreamType& SS
¶void printGoto(
const clang::threadSafety::til::Goto* E,
StreamType& SS)
void printGoto(
const clang::threadSafety::til::Goto* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:875
Parameters
- const clang::threadSafety::til::Goto* E
- StreamType& SS
¶void printIdentifier(
const clang::threadSafety::til::Identifier* E,
StreamType& SS)
void printIdentifier(
const clang::threadSafety::til::Identifier* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:894
Parameters
- const clang::threadSafety::til::Identifier* E
- StreamType& SS
¶void printIfThenElse(
const clang::threadSafety::til::IfThenElse* E,
StreamType& SS)
void printIfThenElse(
const clang::threadSafety::til::IfThenElse* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:898
Parameters
- const clang::threadSafety::til::IfThenElse* E
- StreamType& SS
¶void printLet(
const clang::threadSafety::til::Let* E,
StreamType& SS)
void printLet(
const clang::threadSafety::til::Let* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:915
Parameters
- const clang::threadSafety::til::Let* E
- StreamType& SS
¶void printLiteral(
const clang::threadSafety::til::Literal* E,
StreamType& SS)
void printLiteral(
const clang::threadSafety::til::Literal* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:550
Parameters
- const clang::threadSafety::til::Literal* E
- StreamType& SS
¶void printLiteralPtr(
const clang::threadSafety::til::LiteralPtr* E,
StreamType& SS)
void printLiteralPtr(
const clang::threadSafety::til::LiteralPtr* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:625
Parameters
- const clang::threadSafety::til::LiteralPtr* E
- StreamType& SS
¶template <class T>
void printLiteralT(const LiteralT<T>* E,
StreamType& SS)
template <class T>
void printLiteralT(const LiteralT<T>* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:542
Templates
- T
Parameters
- const LiteralT<T>* E
- StreamType& SS
¶void printLiteralT(const LiteralT<uint8_t>* E,
StreamType& SS)
void printLiteralT(const LiteralT<uint8_t>* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:546
Parameters
- const LiteralT<uint8_t>* E
- StreamType& SS
¶void printLoad(
const clang::threadSafety::til::Load* E,
StreamType& SS)
void printLoad(
const clang::threadSafety::til::Load* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:748
Parameters
- const clang::threadSafety::til::Load* E
- StreamType& SS
¶void printNull(StreamType& SS)
void printNull(StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:525
Parameters
- StreamType& SS
¶void printPhi(
const clang::threadSafety::til::Phi* E,
StreamType& SS)
void printPhi(
const clang::threadSafety::til::Phi* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:860
Parameters
- const clang::threadSafety::til::Phi* E
- StreamType& SS
¶void printProject(
const clang::threadSafety::til::Project* E,
StreamType& SS)
void printProject(
const clang::threadSafety::til::Project* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:705
Parameters
- const clang::threadSafety::til::Project* E
- StreamType& SS
¶void printReturn(
const clang::threadSafety::til::Return* E,
StreamType& SS)
void printReturn(
const clang::threadSafety::til::Return* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:889
Parameters
- const clang::threadSafety::til::Return* E
- StreamType& SS
¶void printSApply(
const clang::threadSafety::til::SApply* E,
StreamType& SS)
void printSApply(
const clang::threadSafety::til::SApply* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:696
Parameters
- const clang::threadSafety::til::SApply* E
- StreamType& SS
¶void printSCFG(
const clang::threadSafety::til::SCFG* E,
StreamType& SS)
void printSCFG(
const clang::threadSafety::til::SCFG* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:815
Parameters
- const clang::threadSafety::til::SCFG* E
- StreamType& SS
¶void printSExpr(
const clang::threadSafety::til::SExpr* E,
StreamType& SS,
unsigned int P,
bool Sub = true)
void printSExpr(
const clang::threadSafety::til::SExpr* E,
StreamType& SS,
unsigned int P,
bool Sub = true)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:498
Parameters
- const clang::threadSafety::til::SExpr* E
- StreamType& SS
- unsigned int P
- bool Sub = true
¶void printSFunction(
const clang::threadSafety::til::SFunction* E,
StreamType& SS)
void printSFunction(
const clang::threadSafety::til::SFunction* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:661
Parameters
- const clang::threadSafety::til::SFunction* E
- StreamType& SS
¶void printStore(
const clang::threadSafety::til::Store* E,
StreamType& SS)
void printStore(
const clang::threadSafety::til::Store* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:754
Parameters
- const clang::threadSafety::til::Store* E
- StreamType& SS
¶void printUnaryOp(
const clang::threadSafety::til::UnaryOp* E,
StreamType& SS)
void printUnaryOp(
const clang::threadSafety::til::UnaryOp* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:773
Parameters
- const clang::threadSafety::til::UnaryOp* E
- StreamType& SS
¶void printUndefined(
const clang::threadSafety::til::Undefined* E,
StreamType& SS)
void printUndefined(
const clang::threadSafety::til::Undefined* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:533
Parameters
- const clang::threadSafety::til::Undefined* E
- StreamType& SS
¶void printVariable(
const clang::threadSafety::til::Variable* V,
StreamType& SS,
bool IsVarDecl = false)
void printVariable(
const clang::threadSafety::til::Variable* V,
StreamType& SS,
bool IsVarDecl = false)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:629
Parameters
- const clang::threadSafety::til::Variable* V
- StreamType& SS
- bool IsVarDecl = false
¶void printWildcard(
const clang::threadSafety::til::Wildcard* E,
StreamType& SS)
void printWildcard(
const clang::threadSafety::til::Wildcard* E,
StreamType& SS)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:537
Parameters
- const clang::threadSafety::til::Wildcard* E
- StreamType& SS
¶Self* self()
Self* self()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:426