clang  7.0.0svn
Public Member Functions | Static Public Member Functions | Protected Member Functions | Static Protected Attributes | List of all members
clang::threadSafety::til::PrettyPrinter< Self, StreamType > Class Template Reference

#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"

Inheritance diagram for clang::threadSafety::til::PrettyPrinter< Self, StreamType >:
Inheritance graph
[legend]
Collaboration diagram for clang::threadSafety::til::PrettyPrinter< Self, StreamType >:
Collaboration graph
[legend]

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
 

Detailed Description

template<typename Self, typename StreamType>
class clang::threadSafety::til::PrettyPrinter< Self, StreamType >

Definition at line 406 of file ThreadSafetyTraverse.h.

Constructor & Destructor Documentation

◆ PrettyPrinter()

template<typename Self, typename StreamType>
clang::threadSafety::til::PrettyPrinter< Self, StreamType >::PrettyPrinter ( bool  V = false,
bool  C = true,
bool  CS = true 
)
inline

Definition at line 418 of file ThreadSafetyTraverse.h.

Member Function Documentation

◆ newline()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::newline ( StreamType &  SS)
inlineprotected

Definition at line 429 of file ThreadSafetyTraverse.h.

◆ precedence()

template<typename Self, typename StreamType>
unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence ( const SExpr E)
inlineprotected

Definition at line 443 of file ThreadSafetyTraverse.h.

◆ print()

template<typename Self, typename StreamType>
static void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::print ( const SExpr E,
StreamType &  SS 
)
inlinestatic

Definition at line 421 of file ThreadSafetyTraverse.h.

◆ printAlloc()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printAlloc ( const Alloc E,
StreamType &  SS 
)
inlineprotected

Definition at line 744 of file ThreadSafetyTraverse.h.

◆ printApply()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printApply ( const Apply E,
StreamType &  SS,
bool  sugared = false 
)
inlineprotected

Definition at line 683 of file ThreadSafetyTraverse.h.

◆ printArrayAdd()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayAdd ( const ArrayAdd E,
StreamType &  SS 
)
inlineprotected

Definition at line 768 of file ThreadSafetyTraverse.h.

◆ printArrayIndex()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayIndex ( const ArrayIndex E,
StreamType &  SS 
)
inlineprotected

Definition at line 761 of file ThreadSafetyTraverse.h.

◆ printBasicBlock()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock ( const BasicBlock E,
StreamType &  SS 
)
inlineprotected

Definition at line 821 of file ThreadSafetyTraverse.h.

◆ printBBInstr()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBBInstr ( const SExpr E,
StreamType &  SS 
)
inlineprotected

Definition at line 805 of file ThreadSafetyTraverse.h.

◆ printBinaryOp()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBinaryOp ( const BinaryOp E,
StreamType &  SS 
)
inlineprotected

Definition at line 779 of file ThreadSafetyTraverse.h.

◆ printBlockLabel()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBlockLabel ( StreamType &  SS,
const BasicBlock BB,
int  index 
)
inlineprotected

Definition at line 486 of file ThreadSafetyTraverse.h.

◆ printBranch()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBranch ( const Branch E,
StreamType &  SS 
)
inlineprotected

Definition at line 862 of file ThreadSafetyTraverse.h.

◆ printCall()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCall ( const Call E,
StreamType &  SS 
)
inlineprotected

Definition at line 732 of file ThreadSafetyTraverse.h.

◆ printCast()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCast ( const Cast E,
StreamType &  SS 
)
inlineprotected

Definition at line 785 of file ThreadSafetyTraverse.h.

◆ printCode()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCode ( const Code E,
StreamType &  SS 
)
inlineprotected

Definition at line 669 of file ThreadSafetyTraverse.h.

◆ printField()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printField ( const Field E,
StreamType &  SS 
)
inlineprotected

Definition at line 676 of file ThreadSafetyTraverse.h.

◆ printFunction()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFunction ( const Function E,
StreamType &  SS,
unsigned  sugared = 0 
)
inlineprotected

Definition at line 637 of file ThreadSafetyTraverse.h.

◆ printFuture()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFuture ( const Future E,
StreamType &  SS 
)
inlineprotected

Definition at line 530 of file ThreadSafetyTraverse.h.

◆ printGoto()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printGoto ( const Goto E,
StreamType &  SS 
)
inlineprotected

Definition at line 857 of file ThreadSafetyTraverse.h.

◆ printIdentifier()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIdentifier ( const Identifier E,
StreamType &  SS 
)
inlineprotected

Definition at line 876 of file ThreadSafetyTraverse.h.

◆ printIfThenElse()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse ( const IfThenElse E,
StreamType &  SS 
)
inlineprotected

Definition at line 880 of file ThreadSafetyTraverse.h.

◆ printLet()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLet ( const Let E,
StreamType &  SS 
)
inlineprotected

Definition at line 897 of file ThreadSafetyTraverse.h.

◆ printLiteral()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteral ( const Literal E,
StreamType &  SS 
)
inlineprotected

Definition at line 551 of file ThreadSafetyTraverse.h.

◆ printLiteralPtr()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteralPtr ( const LiteralPtr E,
StreamType &  SS 
)
inlineprotected

Definition at line 626 of file ThreadSafetyTraverse.h.

◆ printLiteralT() [1/2]

template<typename Self, typename StreamType>
template<class T >
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteralT ( const LiteralT< T > *  E,
StreamType &  SS 
)
inlineprotected

Definition at line 543 of file ThreadSafetyTraverse.h.

◆ printLiteralT() [2/2]

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteralT ( const LiteralT< uint8_t > *  E,
StreamType &  SS 
)
inlineprotected

Definition at line 547 of file ThreadSafetyTraverse.h.

◆ printLoad()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLoad ( const Load E,
StreamType &  SS 
)
inlineprotected

Definition at line 749 of file ThreadSafetyTraverse.h.

◆ printNull()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printNull ( StreamType &  SS)
inlineprotected

Definition at line 526 of file ThreadSafetyTraverse.h.

◆ printPhi()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printPhi ( const Phi E,
StreamType &  SS 
)
inlineprotected

Definition at line 842 of file ThreadSafetyTraverse.h.

◆ printProject()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printProject ( const Project E,
StreamType &  SS 
)
inlineprotected

Definition at line 706 of file ThreadSafetyTraverse.h.

◆ printReturn()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printReturn ( const Return E,
StreamType &  SS 
)
inlineprotected

Definition at line 871 of file ThreadSafetyTraverse.h.

◆ printSApply()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSApply ( const SApply E,
StreamType &  SS 
)
inlineprotected

Definition at line 697 of file ThreadSafetyTraverse.h.

◆ printSCFG()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSCFG ( const SCFG E,
StreamType &  SS 
)
inlineprotected

Definition at line 797 of file ThreadSafetyTraverse.h.

◆ printSExpr()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSExpr ( const SExpr E,
StreamType &  SS,
unsigned  P,
bool  Sub = true 
)
inlineprotected

Definition at line 499 of file ThreadSafetyTraverse.h.

◆ printSFunction()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSFunction ( const SFunction E,
StreamType &  SS 
)
inlineprotected

Definition at line 662 of file ThreadSafetyTraverse.h.

◆ printStore()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printStore ( const Store E,
StreamType &  SS 
)
inlineprotected

Definition at line 755 of file ThreadSafetyTraverse.h.

◆ printUnaryOp()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printUnaryOp ( const UnaryOp E,
StreamType &  SS 
)
inlineprotected

Definition at line 774 of file ThreadSafetyTraverse.h.

◆ printUndefined()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printUndefined ( const Undefined E,
StreamType &  SS 
)
inlineprotected

Definition at line 534 of file ThreadSafetyTraverse.h.

◆ printVariable()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printVariable ( const Variable V,
StreamType &  SS,
bool  IsVarDecl = false 
)
inlineprotected

Definition at line 630 of file ThreadSafetyTraverse.h.

◆ printWildcard()

template<typename Self, typename StreamType>
void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printWildcard ( const Wildcard E,
StreamType &  SS 
)
inlineprotected

Definition at line 538 of file ThreadSafetyTraverse.h.

◆ self()

template<typename Self, typename StreamType>
Self* clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self ( )
inlineprotected

Definition at line 427 of file ThreadSafetyTraverse.h.

Member Data Documentation

◆ Prec_Atom

template<typename Self, typename StreamType>
const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Atom = 0
staticprotected

Definition at line 434 of file ThreadSafetyTraverse.h.

◆ Prec_Binary

template<typename Self, typename StreamType>
const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Binary = 3
staticprotected

Definition at line 437 of file ThreadSafetyTraverse.h.

◆ Prec_Decl

template<typename Self, typename StreamType>
const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Decl = 5
staticprotected

Definition at line 439 of file ThreadSafetyTraverse.h.

◆ Prec_MAX

template<typename Self, typename StreamType>
const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX = 6
staticprotected

Definition at line 440 of file ThreadSafetyTraverse.h.

◆ Prec_Other

template<typename Self, typename StreamType>
const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Other = 4
staticprotected

Definition at line 438 of file ThreadSafetyTraverse.h.

◆ Prec_Postfix

template<typename Self, typename StreamType>
const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Postfix = 1
staticprotected

Definition at line 435 of file ThreadSafetyTraverse.h.

◆ Prec_Unary

template<typename Self, typename StreamType>
const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Unary = 2
staticprotected

Definition at line 436 of file ThreadSafetyTraverse.h.


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