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