SVF::WTOComponent< GraphT > Class Template Reference

#include <WTO.h>

Inheritance diagram for SVF::WTOComponent< GraphT >:

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

Detailed Description

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

Base class for a WTO component

A WTO component can be either a node or cycle

Definition at line 272 of file WTO.h.

Member Enumeration Documentation

WTOCT

template<typename GraphT >

enum SVF::WTOComponent::WTOCT

Enumerator
Node
Cycle

Definition at line 275 of file WTO.h.

    {
        Node,
        Cycle
    };

Constructor & Destructor Documentation

WTOComponent() [1/3]

template<typename GraphT >

SVF::WTOComponent< GraphT >::WTOComponent ( WTOCT  k )

inlineexplicit

Default constructor.

Definition at line 282 of file WTO.h.

: _type(k) {};

WTOComponent() [2/3]

template<typename GraphT >

SVF::WTOComponent< GraphT >::WTOComponent ( const WTOComponent< GraphT > &  )

defaultnoexcept

Copy constructor.

WTOComponent() [3/3]

template<typename GraphT >

SVF::WTOComponent< GraphT >::WTOComponent ( WTOComponent< GraphT > &&  )

defaultnoexcept

Move constructor.

~WTOComponent()

template<typename GraphT >

virtual SVF::WTOComponent< GraphT >::~WTOComponent ( )

virtualdefault

Destructor.

Member Function Documentation

accept()

template<typename GraphT >

virtual void SVF::WTOComponent< GraphT >::accept ( WTOComponentVisitor< GraphT > &  ) const

pure virtual

Accept the given visitor.

Implemented in SVF::WTOCycle< GraphT >, and SVF::WTONode< GraphT >.

getKind()

template<typename GraphT >

WTOCT SVF::WTOComponent< GraphT >::getKind ( void  ) const

inline

Definition at line 302 of file WTO.h.

    {
        return _type;
    }

operator=() [1/2]

template<typename GraphT >

WTOComponent& SVF::WTOComponent< GraphT >::operator= ( const WTOComponent< GraphT > &  )

defaultnoexcept

Copy assignment operator.

operator=() [2/2]

template<typename GraphT >

WTOComponent& SVF::WTOComponent< GraphT >::operator= ( WTOComponent< GraphT > &&  )

defaultnoexcept

Move assignment operator.

toString()

template<typename GraphT >

virtual std::string SVF::WTOComponent< GraphT >::toString ( ) const

pure virtual

Implemented in SVF::WTOCycle< GraphT >, and SVF::WTONode< GraphT >.

Friends And Related Function Documentation

operator<<

template<typename GraphT >

std::ostream& operator<< ( std::ostream &  o, const WTOComponent< GraphT > &  wto  )

friend

Overloading operator << for dumping ICFG node ID.

Definition at line 311 of file WTO.h.

    {
        o << wto.toString();
        return o;
    }

Member Data Documentation

_type

template<typename GraphT >

WTOCT SVF::WTOComponent< GraphT >::_type

Definition at line 319 of file WTO.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Graphs/WTO.h