clang 8.0.0

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 >:
[legend]
Collaboration diagram for clang::threadSafety::til::PrettyPrinter< Self, StreamType >:
[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 | ) |
| inline protected

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 | ) |
| inline protected

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
| ) |  |
| inline static

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
| ) |  |
| inline protected

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`
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

Definition at line 840 of file ThreadSafetyTraverse.h.

## ◆ printBBInstr()

template<typename Self, typename StreamType>

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

Definition at line 824 of file ThreadSafetyTraverse.h.

## ◆ printBinaryOp()

template<typename Self, typename StreamType>

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

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

Definition at line 881 of file ThreadSafetyTraverse.h.

## ◆ printCall()

template<typename Self, typename StreamType>

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

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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`
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

Definition at line 876 of file ThreadSafetyTraverse.h.

## ◆ printIdentifier()

template<typename Self, typename StreamType>

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

Definition at line 895 of file ThreadSafetyTraverse.h.

## ◆ printIfThenElse()

template<typename Self, typename StreamType>

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

Definition at line 899 of file ThreadSafetyTraverse.h.

## ◆ printLet()

template<typename Self, typename StreamType>

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

Definition at line 916 of file ThreadSafetyTraverse.h.

## ◆ printLiteral()

template<typename Self, typename StreamType>

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

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

Definition at line 749 of file ThreadSafetyTraverse.h.

## ◆ printNull()

template<typename Self, typename StreamType>

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

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
| ) |  |
| inline protected

Definition at line 861 of file ThreadSafetyTraverse.h.

## ◆ printProject()

template<typename Self, typename StreamType>

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

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
| ) |  |
| inline protected

Definition at line 890 of file ThreadSafetyTraverse.h.

## ◆ printSApply()

template<typename Self, typename StreamType>

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

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
| ) |  |
| inline protected

Definition at line 816 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`
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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
| ) |  |
| inline protected

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`
| ) |  |
| inline protected

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
| ) |  |
| inline protected

Definition at line 538 of file ThreadSafetyTraverse.h.

## ◆ self()

template<typename Self, typename StreamType>

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

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
| static protected

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
| static protected

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
| static protected

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
| static protected

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
| static protected

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
| static protected

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
| static protected

Definition at line 436 of file ThreadSafetyTraverse.h.

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

- include/clang/Analysis/Analyses/ThreadSafetyTraverse.h