Static Value-Flow Analysis
|
#include <WTO.h>
Public Types | |
typedef WTONode< GraphT > | WTONodeT |
typedef WTOCycle< GraphT > | WTOCycleT |
Public Member Functions | |
WTOComponentVisitor ()=default | |
Default constructor. | |
WTOComponentVisitor (const WTOComponentVisitor &) noexcept=default | |
Copy constructor. | |
WTOComponentVisitor (WTOComponentVisitor &&) noexcept=default | |
Move constructor. | |
WTOComponentVisitor & | operator= (const WTOComponentVisitor &) noexcept=default |
Copy assignment operator. | |
WTOComponentVisitor & | operator= (WTOComponentVisitor &&) noexcept=default |
Move assignment operator. | |
virtual void | visit (const WTONodeT &)=0 |
Visit the given node. | |
virtual void | visit (const WTOCycleT &)=0 |
Visit the given cycle. | |
virtual | ~WTOComponentVisitor ()=default |
Destructor. | |
Weak topological order (WTO) visitor
|
default |
Default constructor.
|
defaultnoexcept |
Copy constructor.
|
defaultnoexcept |
Move constructor.
|
virtualdefault |
Destructor.
|
defaultnoexcept |
Copy assignment operator.
|
defaultnoexcept |
Move assignment operator.
|
pure virtual |
Visit the given cycle.
Implemented in SVF::WTO< GraphT >::WTOCycleDepthBuilder.
|
pure virtual |
Visit the given node.
Implemented in SVF::WTO< GraphT >::WTOCycleDepthBuilder.