Static Value-Flow Analysis
|
#include <CxtStmt.h>
Public Member Functions | |
CxtThreadStmt (NodeID t, const CallStrCxt &c, const ICFGNode *f) | |
Constructor. More... | |
CxtThreadStmt (const CxtThreadStmt &ctm) | |
Copy constructor. More... | |
virtual | ~CxtThreadStmt () |
Destructor. More... | |
NodeID | getTid () const |
Return current context. More... | |
bool | operator< (const CxtThreadStmt &rhs) const |
CxtThreadStmt & | operator= (const CxtThreadStmt &rhs) |
Overloading operator=. More... | |
bool | operator== (const CxtThreadStmt &rhs) const |
Overloading operator==. More... | |
bool | operator!= (const CxtThreadStmt &rhs) const |
Overloading operator==. More... | |
void | dump () const |
Dump CxtThreadStmt. More... | |
Public Member Functions inherited from SVF::CxtStmt | |
CxtStmt (const CallStrCxt &c, const ICFGNode *f) | |
Constructor. More... | |
CxtStmt (const CxtStmt &ctm) | |
Copy constructor. More... | |
virtual | ~CxtStmt () |
Destructor. More... | |
const CallStrCxt & | getContext () const |
Return current context. More... | |
const ICFGNode * | getStmt () const |
Return current statement. More... | |
bool | operator< (const CxtStmt &rhs) const |
CxtStmt & | operator= (const CxtStmt &rhs) |
Overloading operator=. More... | |
bool | operator== (const CxtStmt &rhs) const |
Overloading operator==. More... | |
bool | operator!= (const CxtStmt &rhs) const |
Overloading operator==. More... | |
std::string | cxtToStr () const |
Return context in string format. More... | |
void | dump () const |
Dump CxtStmt. More... | |
Private Attributes | |
NodeID | tid |
Additional Inherited Members | |
Protected Attributes inherited from SVF::CxtStmt | |
CallStrCxt | cxt |
const ICFGNode * | inst |
|
inline |
Constructor.
Definition at line 128 of file CxtStmt.h.
|
inline |
|
inlinevirtual |
|
inline |
Dump CxtThreadStmt.
Definition at line 176 of file CxtStmt.h.
|
inline |
|
inline |
|
inline |
|
inline |
Overloading operator=.
Definition at line 156 of file CxtStmt.h.
|
inline |