SVF::WTOCycle< GraphT > Class Template Reference

#include <WTO.h>

Inheritance diagram for SVF::WTOCycle< GraphT >:

Public Types
typedef GraphT::NodeType	NodeT
typedef WTOComponent< GraphT >	WTOComponentT
typedef WTOComponentRefList::const_iterator	Iterator
	Iterator over the components.
Public Types inherited from SVF::WTOComponent< GraphT >
enum	WTOCT { Node , Cycle }

Public Member Functions
	WTOCycle (const WTONode< GraphT > *head, WTOComponentRefList components)
	Constructor.
const WTONode< GraphT > *	head () const
	Return the head of the cycle.
const WTOComponentRefList &	getWTOComponents () const
	Get all wto components in WTO cycle.
Iterator	begin () const
	Begin iterator over the components.
Iterator	end () const
	End iterator over the components.
void	accept (WTOComponentVisitor< GraphT > &v) const override
	Accept the given visitor.
std::string	toString () const override
	Dump the cycle, for debugging purpose.
Public Member Functions inherited from SVF::WTOComponent< GraphT >
	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	~WTOComponent ()=default
	Destructor.
WTOCT	getKind () const

Static Public Member Functions
static bool	classof (const WTOCycle< GraphT > *)
	ClassOf.
static bool	classof (const WTOComponent< GraphT > *c)

Private Types
typedef const WTOComponentT *	WTOComponentPtr
typedef std::list< WTOComponentPtr >	WTOComponentRefList

Private Attributes
const WTONode< GraphT > *	_head
	Head of the cycle.
WTOComponentRefList	_components
	List of components.

Additional Inherited Members
Public Attributes inherited from SVF::WTOComponent< GraphT >
WTOCT	_type

Detailed Description

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

WTO cycle for GraphT

Definition at line 379 of file WTO.h.

Member Typedef Documentation

Iterator

template<typename GraphT >

typedef WTOComponentRefList::const_iterator SVF::WTOCycle< GraphT >::Iterator

Iterator over the components.

Definition at line 393 of file WTO.h.

NodeT

template<typename GraphT >

typedef GraphT::NodeType SVF::WTOCycle< GraphT >::NodeT

Definition at line 384 of file WTO.h.

WTOComponentPtr

template<typename GraphT >

typedef const WTOComponentT* SVF::WTOCycle< GraphT >::WTOComponentPtr

private

Definition at line 388 of file WTO.h.

WTOComponentRefList

template<typename GraphT >

typedef std::list<WTOComponentPtr> SVF::WTOCycle< GraphT >::WTOComponentRefList

private

Definition at line 389 of file WTO.h.

WTOComponentT

template<typename GraphT >

typedef WTOComponent<GraphT> SVF::WTOCycle< GraphT >::WTOComponentT

Definition at line 385 of file WTO.h.

Constructor & Destructor Documentation

WTOCycle()

template<typename GraphT >

SVF::WTOCycle< GraphT >::WTOCycle ( const WTONode< GraphT > *  head, WTOComponentRefList  components  )

inline

Constructor.

Definition at line 404 of file WTO.h.

        : WTOComponent<GraphT>(WTOComponent<GraphT>::Cycle), _head(head),
          _components(std::move(components))
    {
    }

Member Function Documentation

accept()

template<typename GraphT >

void SVF::WTOCycle< GraphT >::accept ( WTOComponentVisitor< GraphT > &  v ) const

inlineoverridevirtual

Accept the given visitor.

Implements SVF::WTOComponent< GraphT >.

Definition at line 435 of file WTO.h.

    {
        v.visit(*this);
    }

begin()

template<typename GraphT >

Iterator SVF::WTOCycle< GraphT >::begin ( ) const

inline

Begin iterator over the components.

Definition at line 423 of file WTO.h.

    {
        return _components.cbegin();
    }

classof() [1/2]

template<typename GraphT >

static bool SVF::WTOCycle< GraphT >::classof ( const WTOComponent< GraphT > *  c )

inlinestatic

Definition at line 447 of file WTO.h.

    {
        return c->getKind() == WTOComponent<GraphT>::Cycle;
    }

classof() [2/2]

template<typename GraphT >

static bool SVF::WTOCycle< GraphT >::classof ( const WTOCycle< GraphT > *  )

inlinestatic

ClassOf.

Definition at line 442 of file WTO.h.

    {
        return true;
    }

end()

template<typename GraphT >

Iterator SVF::WTOCycle< GraphT >::end ( ) const

inline

End iterator over the components.

Definition at line 429 of file WTO.h.

    {
        return _components.cend();
    }

getWTOComponents()

template<typename GraphT >

const WTOComponentRefList & SVF::WTOCycle< GraphT >::getWTOComponents ( ) const

inline

Get all wto components in WTO cycle.

Definition at line 417 of file WTO.h.

    {
        return _components;
    }

head()

template<typename GraphT >

const WTONode< GraphT > * SVF::WTOCycle< GraphT >::head ( ) const

inline

Return the head of the cycle.

Definition at line 411 of file WTO.h.

    {
        return _head;
    }

toString()

template<typename GraphT >

std::string SVF::WTOCycle< GraphT >::toString ( ) const

inlineoverridevirtual

Dump the cycle, for debugging purpose.

Implements SVF::WTOComponent< GraphT >.

Definition at line 454 of file WTO.h.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "(";
        rawstr << _head->getICFGNode()->getId() << ", ";
        for (auto it = begin(), et = end(); it != et;)
        {
            rawstr << (*it)->toString();
            ++it;
            if (it != et)
            {
                rawstr << ", ";
            }
        }
        rawstr << ")";
        return rawstr.str();
    }

Member Data Documentation

_components

template<typename GraphT >

WTOComponentRefList SVF::WTOCycle< GraphT >::_components

private

List of components.

Definition at line 400 of file WTO.h.

_head

template<typename GraphT >

const WTONode<GraphT>* SVF::WTOCycle< GraphT >::_head

private

Head of the cycle.

Definition at line 397 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