SVF::WTONode< GraphT > Class Template Reference

#include <WTO.h>

Inheritance diagram for SVF::WTONode< GraphT >:

Public Types
typedef GraphT::NodeType	NodeT
Public Types inherited from SVF::WTOComponent< GraphT >
enum	WTOCT { Node , Cycle }

Public Member Functions
	WTONode (const NodeT *node)
	Constructor.
const NodeT *	getICFGNode () const
	Return the graph node.
void	accept (WTOComponentVisitor< GraphT > &v) const override
	Accept the given visitor.
std::string	toString () const override
	Dump the node, 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 WTONode< GraphT > *)
	ClassOf.
static bool	classof (const WTOComponent< GraphT > *c)

Private Attributes
const NodeT *	_node

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

Detailed Description

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

WTO node for GraphT

Definition at line 326 of file WTO.h.

Member Typedef Documentation

NodeT

template<typename GraphT >

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

Definition at line 331 of file WTO.h.

Constructor & Destructor Documentation

WTONode()

template<typename GraphT >

SVF::WTONode< GraphT >::WTONode ( const NodeT *  node )

inlineexplicit

Constructor.

Definition at line 338 of file WTO.h.

        : WTOComponent<GraphT>(WTOComponent<GraphT>::Node), _node(node)
    {
    }

Member Function Documentation

accept()

template<typename GraphT >

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

inlineoverridevirtual

Accept the given visitor.

Implements SVF::WTOComponent< GraphT >.

Definition at line 350 of file WTO.h.

    {
        v.visit(*this);
    }

classof() [1/2]

template<typename GraphT >

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

inlinestatic

Definition at line 369 of file WTO.h.

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

classof() [2/2]

template<typename GraphT >

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

inlinestatic

ClassOf.

Definition at line 364 of file WTO.h.

    {
        return true;
    }

getICFGNode()

template<typename GraphT >

const NodeT * SVF::WTONode< GraphT >::getICFGNode ( ) const

inline

Return the graph node.

Definition at line 344 of file WTO.h.

    {
        return _node;
    }

toString()

template<typename GraphT >

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

inlineoverridevirtual

Dump the node, for debugging purpose.

Implements SVF::WTOComponent< GraphT >.

Definition at line 356 of file WTO.h.

    {
        // return _node->toString();
        return std::to_string(_node->getId());
    }

Member Data Documentation

_node

template<typename GraphT >

const NodeT* SVF::WTONode< GraphT >::_node

private

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