Static Value-Flow Analysis
Public Types | Public Member Functions | List of all members
SVF::WTOComponentVisitor< GraphT > Class Template Referenceabstract

#include <WTO.h>

Inheritance diagram for SVF::WTOComponentVisitor< GraphT >:
SVF::WTO< GraphT >::WTOCycleDepthBuilder

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...
 
WTOComponentVisitoroperator= (const WTOComponentVisitor &) noexcept=default
 Copy assignment operator. More...
 
WTOComponentVisitoroperator= (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...
 

Detailed Description

template<typename GraphT>
class SVF::WTOComponentVisitor< GraphT >

Weak topological order (WTO) visitor

Definition at line 479 of file WTO.h.

Member Typedef Documentation

◆ WTOCycleT

template<typename GraphT >
typedef WTOCycle<GraphT> SVF::WTOComponentVisitor< GraphT >::WTOCycleT

Definition at line 483 of file WTO.h.

◆ WTONodeT

template<typename GraphT >
typedef WTONode<GraphT> SVF::WTOComponentVisitor< GraphT >::WTONodeT

Definition at line 482 of file WTO.h.

Constructor & Destructor Documentation

◆ WTOComponentVisitor() [1/3]

template<typename GraphT >
SVF::WTOComponentVisitor< GraphT >::WTOComponentVisitor ( )
default

Default constructor.

◆ WTOComponentVisitor() [2/3]

template<typename GraphT >
SVF::WTOComponentVisitor< GraphT >::WTOComponentVisitor ( const WTOComponentVisitor< GraphT > &  )
defaultnoexcept

Copy constructor.

◆ WTOComponentVisitor() [3/3]

template<typename GraphT >
SVF::WTOComponentVisitor< GraphT >::WTOComponentVisitor ( WTOComponentVisitor< GraphT > &&  )
defaultnoexcept

Move constructor.

◆ ~WTOComponentVisitor()

template<typename GraphT >
virtual SVF::WTOComponentVisitor< GraphT >::~WTOComponentVisitor ( )
virtualdefault

Destructor.

Member Function Documentation

◆ operator=() [1/2]

template<typename GraphT >
WTOComponentVisitor& SVF::WTOComponentVisitor< GraphT >::operator= ( const WTOComponentVisitor< GraphT > &  )
defaultnoexcept

Copy assignment operator.

◆ operator=() [2/2]

template<typename GraphT >
WTOComponentVisitor& SVF::WTOComponentVisitor< GraphT >::operator= ( WTOComponentVisitor< GraphT > &&  )
defaultnoexcept

Move assignment operator.

◆ visit() [1/2]

template<typename GraphT >
virtual void SVF::WTOComponentVisitor< GraphT >::visit ( const WTOCycleT )
pure virtual

Visit the given cycle.

Implemented in SVF::WTO< GraphT >::WTOCycleDepthBuilder.

◆ visit() [2/2]

template<typename GraphT >
virtual void SVF::WTOComponentVisitor< GraphT >::visit ( const WTONodeT )
pure virtual

Visit the given node.

Implemented in SVF::WTO< GraphT >::WTOCycleDepthBuilder.


The documentation for this class was generated from the following file: