clang: clang::threadSafety::til::PrettyPrinter< Self, StreamType > Class Template Reference

clang API Documentation

#include <ThreadSafetyTraverse.h>

Inheritance diagram for clang::threadSafety::til::PrettyPrinter< Self, StreamType >:

Inheritance graph

Collaboration diagram for clang::threadSafety::til::PrettyPrinter< Self, StreamType >:

Collaboration graph

List of all members.

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 385 of file ThreadSafetyTraverse.h.

Constructor & Destructor Documentation

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 392 of file ThreadSafetyTraverse.h.

Member Function Documentation

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::newline ( StreamType & SS ) [inline, protected]

Definition at line 404 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().

template<typename Self, typename StreamType>

unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::precedence ( const SExpr * E ) [inline, protected]

Definition at line 418 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSExpr().

template<typename Self, typename StreamType>

static void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::print	(	const SExpr *	E,
		StreamType &	SS
	)		`[inline, static]`

Definition at line 396 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printAlloc	(	const Alloc *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 729 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printApply	(	const Apply *	E,
		StreamType &	SS,
		bool	sugared = `false`
	)		`[inline, protected]`

Definition at line 666 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printApply(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printCall().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayAdd	(	const ArrayAdd *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 753 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printArrayIndex	(	const ArrayIndex *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 746 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBasicBlock	(	const BasicBlock *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 808 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSCFG().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBBInstr	(	const SExpr *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 792 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBasicBlock().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBinaryOp	(	const BinaryOp *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 764 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBlockLabel	(	StreamType &	SS,
		const BasicBlock *	BB,
		int	index
	)		`[inline, protected]`

Definition at line 461 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBranch(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printGoto().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printBranch	(	const Branch *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 849 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCall	(	const Call *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 717 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCast	(	const Cast *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 770 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printCode	(	const Code *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 652 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printField	(	const Field *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 659 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFunction	(	const Function *	E,
		StreamType &	SS,
		unsigned	sugared = `0`
	)		`[inline, protected]`

Definition at line 620 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printFuture	(	const Future *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 506 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printGoto	(	const Goto *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 844 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIdentifier	(	const Identifier *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 863 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printIfThenElse	(	const IfThenElse *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 867 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLet	(	const Let *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 884 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteral	(	const Literal *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 527 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteralPtr	(	const LiteralPtr *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 609 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

template<class T >

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteralT	(	const LiteralT< T > *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 519 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printLiteral().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLiteralT	(	const LiteralT< uint8_t > *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 523 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printLoad	(	const Load *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 734 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printNull ( StreamType & SS ) [inline, protected]

Definition at line 502 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printSExpr().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printPhi	(	const Phi *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 829 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printProject	(	const Project *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 689 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printReturn	(	const Return *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 858 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSApply	(	const SApply *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 680 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSCFG	(	const SCFG *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 782 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSExpr	(	const SExpr *	E,
		StreamType &	SS,
		unsigned	P,
		bool	Sub = `true`
	)		`[inline, protected]`

Definition at line 475 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().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printSFunction	(	const SFunction *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 645 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printStore	(	const Store *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 740 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printUnaryOp	(	const UnaryOp *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 759 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printUndefined	(	const Undefined *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 510 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printVariable	(	const Variable *	V,
		StreamType &	SS,
		bool	IsVarDecl = `false`
	)		`[inline, protected]`

Definition at line 613 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().

template<typename Self, typename StreamType>

void clang::threadSafety::til::PrettyPrinter< Self, StreamType >::printWildcard	(	const Wildcard *	E,
		StreamType &	SS
	)		`[inline, protected]`

Definition at line 514 of file ThreadSafetyTraverse.h.

template<typename Self, typename StreamType>

Self* clang::threadSafety::til::PrettyPrinter< Self, StreamType >::self ( ) [inline, protected]

Definition at line 402 of file ThreadSafetyTraverse.h.

Member Data Documentation

template<typename Self, typename StreamType>

const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Atom = 0 [static, protected]

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 >::printArrayAdd(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printFuture().

template<typename Self, typename StreamType>

const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Binary = 3 [static, protected]

Definition at line 412 of file ThreadSafetyTraverse.h.

Referenced by clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::precedence(), and clang::threadSafety::til::PrettyPrinter< StdPrinter, std::ostream >::printBinaryOp().

template<typename Self, typename StreamType>

const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Decl = 5 [static, protected]

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 >::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().

template<typename Self, typename StreamType>

const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_MAX = 6 [static, protected]

Definition at line 415 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().

template<typename Self, typename StreamType>

const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Other = 4 [static, protected]

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 >::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().

template<typename Self, typename StreamType>

const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Postfix = 1 [static, protected]

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 >::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().

template<typename Self, typename StreamType>

const unsigned clang::threadSafety::til::PrettyPrinter< Self, StreamType >::Prec_Unary = 2 [static, protected]

Definition at line 411 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().

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

ThreadSafetyTraverse.h