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)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:417

Parameters

bool V = false

bool C = true

bool CS = true

¶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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:748

Parameters

const clang::threadSafety::til::Load* E

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:537

Parameters

const clang::threadSafety::til::Wildcard* E

StreamType& SS

¶Self* self()

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTraverse.h:426