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.
	WTOComponent (const WTOComponent &) noexcept=default
	Copy constructor.
	WTOComponent (WTOComponent &&) noexcept=default
	Move constructor.
WTOComponent &	operator= (const WTOComponent &) noexcept=default
	Copy assignment operator.
WTOComponent &	operator= (WTOComponent &&) noexcept=default
	Move assignment operator.
virtual void	accept (WTOComponentVisitor< GraphT > &) const =0
	Accept the given visitor.
virtual	~WTOComponent ()=default
	Destructor.
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.

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::WTONode< GraphT >, and SVF::WTOCycle< GraphT >.

getKind()

template<typename GraphT >

WTOCT SVF::WTOComponent< GraphT >::getKind ( ) 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::WTONode< GraphT >, and SVF::WTOCycle< GraphT >.

Friends And Related Symbol 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