|
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.