SVF::WTO< GraphT >::WTOCycleDepthBuilder Class Reference

Visitor to build the cycle depths of each node. More...

#include <WTO.h>

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

Public Member Functions
	WTOCycleDepthBuilder (NodeRefToWTOCycleDepthPtr &nodeToWTOCycleDepth)
void	visit (const WTOCycleT &cycle) override
	Visit the given cycle. More...
void	visit (const WTONodeT &node) override
	Visit the given node. More...
Public Member Functions inherited from SVF::WTOComponentVisitor< GraphT >
	WTOComponentVisitor ()=default
	Default constructor. More...
	WTOComponentVisitor (const WTOComponentVisitor &) noexcept=default
	Copy constructor. More...
	WTOComponentVisitor (WTOComponentVisitor &&) noexcept=default
	Move constructor. More...
WTOComponentVisitor &	operator= (const WTOComponentVisitor &) noexcept=default
	Copy assignment operator. More...
WTOComponentVisitor &	operator= (WTOComponentVisitor &&) noexcept=default
	Move assignment operator. More...
virtual	~WTOComponentVisitor ()=default
	Destructor. More...

Private Attributes
WTOCycleDepthPtr	_wtoCycleDepth
NodeRefToWTOCycleDepthPtr &	_nodeToWTOCycleDepth

Additional Inherited Members
Public Types inherited from SVF::WTOComponentVisitor< GraphT >
typedef WTONode< GraphT >	WTONodeT
typedef WTOCycle< GraphT >	WTOCycleT

Detailed Description

template<typename GraphT>
class SVF::WTO< GraphT >::WTOCycleDepthBuilder

Visitor to build the cycle depths of each node.

Definition at line 685 of file WTO.h.

Constructor & Destructor Documentation

WTOCycleDepthBuilder()

template<typename GraphT >

SVF::WTO< GraphT >::WTOCycleDepthBuilder::WTOCycleDepthBuilder ( NodeRefToWTOCycleDepthPtr &  nodeToWTOCycleDepth )

inlineexplicit

Definition at line 692 of file WTO.h.

            : _wtoCycleDepth(std::make_shared<GraphTWTOCycleDepth>()),
              _nodeToWTOCycleDepth(nodeToWTOCycleDepth)
        {
        }

Member Function Documentation

visit() [1/2]

template<typename GraphT >

void SVF::WTO< GraphT >::WTOCycleDepthBuilder::visit ( const WTOCycleT &  )

inlineoverridevirtual

Visit the given cycle.

Implements SVF::WTOComponentVisitor< GraphT >.

Definition at line 699 of file WTO.h.

        {
            const NodeT* head = cycle.head()->getICFGNode();
            WTOCycleDepthPtr previous_cycleDepth = _wtoCycleDepth;
            _nodeToWTOCycleDepth.insert(std::make_pair(head, _wtoCycleDepth));
            _wtoCycleDepth =
                std::make_shared<GraphTWTOCycleDepth>(*_wtoCycleDepth);
            _wtoCycleDepth->add(head);
            for (auto it = cycle.begin(), et = cycle.end(); it != et; ++it)
            {
                (*it)->accept(*this);
            }
            _wtoCycleDepth = previous_cycleDepth;
        }

visit() [2/2]

template<typename GraphT >

void SVF::WTO< GraphT >::WTOCycleDepthBuilder::visit ( const WTONodeT &  )

inlineoverridevirtual

Visit the given node.

Implements SVF::WTOComponentVisitor< GraphT >.

Definition at line 714 of file WTO.h.

        {
            _nodeToWTOCycleDepth.insert(
                std::make_pair(node.getICFGNode(), _wtoCycleDepth));
        }

Member Data Documentation

_nodeToWTOCycleDepth

template<typename GraphT >

NodeRefToWTOCycleDepthPtr& SVF::WTO< GraphT >::WTOCycleDepthBuilder::_nodeToWTOCycleDepth

private

Definition at line 689 of file WTO.h.

_wtoCycleDepth

template<typename GraphT >

WTOCycleDepthPtr SVF::WTO< GraphT >::WTOCycleDepthBuilder::_wtoCycleDepth

private

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