Static Value-Flow Analysis
|
#include <WTO.h>
Public Types | |
enum | WTOCT { Node , Cycle } |
Public Member Functions | |
WTOComponent (WTOCT k) | |
Default constructor. More... | |
WTOComponent (const WTOComponent &) noexcept=default | |
Copy constructor. More... | |
WTOComponent (WTOComponent &&) noexcept=default | |
Move constructor. More... | |
WTOComponent & | operator= (const WTOComponent &) noexcept=default |
Copy assignment operator. More... | |
WTOComponent & | operator= (WTOComponent &&) noexcept=default |
Move assignment operator. More... | |
virtual void | accept (WTOComponentVisitor< GraphT > &) const =0 |
Accept the given visitor. More... | |
virtual | ~WTOComponent ()=default |
Destructor. More... | |
WTOCT | getKind () const |
virtual std::string | toString () const =0 |
Public Attributes | |
WTOCT | _type |
Friends | |
std::ostream & | operator<< (std::ostream &o, const WTOComponent< GraphT > &wto) |
Overloading operator << for dumping ICFG node ID. More... | |
Base class for a WTO component
A WTO component can be either a node or cycle
enum SVF::WTOComponent::WTOCT |
|
inlineexplicit |
|
defaultnoexcept |
Copy constructor.
|
defaultnoexcept |
Move constructor.
|
virtualdefault |
Destructor.
|
pure virtual |
Accept the given visitor.
Implemented in SVF::WTOCycle< GraphT >, and SVF::WTONode< GraphT >.
|
inline |
|
defaultnoexcept |
Copy assignment operator.
|
defaultnoexcept |
Move assignment operator.
|
pure virtual |
Implemented in SVF::WTOCycle< GraphT >, and SVF::WTONode< GraphT >.
|
friend |
WTOCT SVF::WTOComponent< GraphT >::_type |