SVF::SlicedSVFGEdgeIterImpl< Forward > Class Template Reference

#include <SlicedGraphs.h>

Public Types
using	iterator_category = std::forward_iterator_tag
using	value_type = SlicedSVFGEdgeRef
using	difference_type = std::ptrdiff_t
using	pointer = const SlicedSVFGEdgeRef *
using	reference = const SlicedSVFGEdgeRef &

Public Member Functions
	SlicedSVFGEdgeIterImpl ()=default
reference	operator* () const
pointer	operator-> () const
SlicedSVFGNodeRef	target () const
SlicedSVFGEdgeIterImpl &	operator++ ()
SlicedSVFGEdgeIterImpl	operator++ (int)

Static Public Member Functions
static SlicedSVFGEdgeIterImpl	begin (const SlicedSVFGView *v, const SVFGNode *n)
static SlicedSVFGEdgeIterImpl	end (const SlicedSVFGView *v, const SVFGNode *n)

Private Types
using	EdgeIt = SVFGNode::const_iterator

Private Member Functions
	SlicedSVFGEdgeIterImpl (const SlicedSVFGView *v, const SVFGNode *n)
void	skipNonKept ()
void	refresh ()

Private Attributes
const SlicedSVFGView *	view = nullptr
const SVFGNode *	src = nullptr
EdgeIt	realIt {}
EdgeIt	realEnd {}
SlicedSVFGEdgeRef	cur {}

Friends
bool	operator== (const SlicedSVFGEdgeIterImpl &a, const SlicedSVFGEdgeIterImpl &b)
bool	operator!= (const SlicedSVFGEdgeIterImpl &a, const SlicedSVFGEdgeIterImpl &b)

Detailed Description

template<bool Forward>
class SVF::SlicedSVFGEdgeIterImpl< Forward >

Definition at line 1083 of file SlicedGraphs.h.

Member Typedef Documentation

difference_type

template<bool Forward>

using SVF::SlicedSVFGEdgeIterImpl< Forward >::difference_type = std::ptrdiff_t

Definition at line 1088 of file SlicedGraphs.h.

EdgeIt

template<bool Forward>

using SVF::SlicedSVFGEdgeIterImpl< Forward >::EdgeIt = SVFGNode::const_iterator

private

Definition at line 1153 of file SlicedGraphs.h.

iterator_category

template<bool Forward>

using SVF::SlicedSVFGEdgeIterImpl< Forward >::iterator_category = std::forward_iterator_tag

Definition at line 1086 of file SlicedGraphs.h.

pointer

template<bool Forward>

using SVF::SlicedSVFGEdgeIterImpl< Forward >::pointer = const SlicedSVFGEdgeRef*

Definition at line 1089 of file SlicedGraphs.h.

reference

template<bool Forward>

using SVF::SlicedSVFGEdgeIterImpl< Forward >::reference = const SlicedSVFGEdgeRef&

Definition at line 1090 of file SlicedGraphs.h.

value_type

template<bool Forward>

using SVF::SlicedSVFGEdgeIterImpl< Forward >::value_type = SlicedSVFGEdgeRef

Definition at line 1087 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedSVFGEdgeIterImpl() [1/2]

template<bool Forward>

SVF::SlicedSVFGEdgeIterImpl< Forward >::SlicedSVFGEdgeIterImpl ( )

default

SlicedSVFGEdgeIterImpl() [2/2]

template<bool Forward>

SVF::SlicedSVFGEdgeIterImpl< Forward >::SlicedSVFGEdgeIterImpl ( const SlicedSVFGView *  v, const SVFGNode *  n  )

inlineprivate

Definition at line 1159 of file SlicedGraphs.h.

: view(v), src(n) {}

Member Function Documentation

begin()

template<bool Forward>

static SlicedSVFGEdgeIterImpl SVF::SlicedSVFGEdgeIterImpl< Forward >::begin ( const SlicedSVFGView *  v, const SVFGNode *  n  )

inlinestatic

Definition at line 1094 of file SlicedGraphs.h.

    {
        SlicedSVFGEdgeIterImpl it(v, n);
        const auto& edges = Forward ? n->getOutEdges() : n->getInEdges();
        it.realIt = edges.begin();
        it.realEnd = edges.end();
        it.skipNonKept();
        it.refresh();
        return it;
    }

end()

template<bool Forward>

static SlicedSVFGEdgeIterImpl SVF::SlicedSVFGEdgeIterImpl< Forward >::end ( const SlicedSVFGView *  v, const SVFGNode *  n  )

inlinestatic

Definition at line 1104 of file SlicedGraphs.h.

    {
        SlicedSVFGEdgeIterImpl it(v, n);
        const auto& edges = Forward ? n->getOutEdges() : n->getInEdges();
        it.realIt = edges.end();
        it.realEnd = edges.end();
        return it;
    }

operator*()

template<bool Forward>

reference SVF::SlicedSVFGEdgeIterImpl< Forward >::operator* ( ) const

inline

Definition at line 1113 of file SlicedGraphs.h.

    {
        return cur;
    }

operator++() [1/2]

template<bool Forward>

SlicedSVFGEdgeIterImpl & SVF::SlicedSVFGEdgeIterImpl< Forward >::operator++ ( )

inline

Definition at line 1126 of file SlicedGraphs.h.

    {
        if (realIt != realEnd)
        {
            ++realIt;
            skipNonKept();
        }
        refresh();
        return *this;
    }

operator++() [2/2]

template<bool Forward>

SlicedSVFGEdgeIterImpl SVF::SlicedSVFGEdgeIterImpl< Forward >::operator++ ( int  )

inline

Definition at line 1136 of file SlicedGraphs.h.

    {
        SlicedSVFGEdgeIterImpl t = *this;
        ++*this;
        return t;
    }

operator->()

template<bool Forward>

pointer SVF::SlicedSVFGEdgeIterImpl< Forward >::operator-> ( ) const

inline

Definition at line 1117 of file SlicedGraphs.h.

    {
        return &cur;
    }

refresh()

template<bool Forward>

void SVF::SlicedSVFGEdgeIterImpl< Forward >::refresh ( )

inlineprivate

Definition at line 1167 of file SlicedGraphs.h.

    {
        if (realIt != realEnd)
        {
            const SVFGEdge* e = *realIt;
            cur = SlicedSVFGEdgeRef{{view, e->getSrcNode()}, {view, e->getDstNode()}, e};
        }
        else
        {
            cur = SlicedSVFGEdgeRef{};
        }
    }

skipNonKept()

template<bool Forward>

void SVF::SlicedSVFGEdgeIterImpl< Forward >::skipNonKept ( )

inlineprivate

Definition at line 1161 of file SlicedGraphs.h.

    {
        while (realIt != realEnd &&
                !view->isKeptNode(Forward ? (*realIt)->getDstNode() : (*realIt)->getSrcNode()))
            ++realIt;
    }

target()

template<bool Forward>

SlicedSVFGNodeRef SVF::SlicedSVFGEdgeIterImpl< Forward >::target ( ) const

inline

Definition at line 1121 of file SlicedGraphs.h.

    {
        return Forward ? cur.dst : cur.src;
    }

Friends And Related Symbol Documentation

operator!=

template<bool Forward>

bool operator!= ( const SlicedSVFGEdgeIterImpl< Forward > &  a, const SlicedSVFGEdgeIterImpl< Forward > &  b  )

friend

Definition at line 1147 of file SlicedGraphs.h.

    {
        return !(a == b);
    }

operator==

template<bool Forward>

bool operator== ( const SlicedSVFGEdgeIterImpl< Forward > &  a, const SlicedSVFGEdgeIterImpl< Forward > &  b  )

friend

Definition at line 1143 of file SlicedGraphs.h.

    {
        return a.view == b.view && a.src == b.src && a.realIt == b.realIt;
    }

Member Data Documentation

cur

template<bool Forward>

SlicedSVFGEdgeRef SVF::SlicedSVFGEdgeIterImpl< Forward >::cur {}

private

Definition at line 1157 of file SlicedGraphs.h.

{};

realEnd

template<bool Forward>

EdgeIt SVF::SlicedSVFGEdgeIterImpl< Forward >::realEnd {}

private

Definition at line 1156 of file SlicedGraphs.h.

{}, realEnd{};

realIt

template<bool Forward>

EdgeIt SVF::SlicedSVFGEdgeIterImpl< Forward >::realIt {}

private

Definition at line 1156 of file SlicedGraphs.h.

{}, realEnd{};

src

template<bool Forward>

const SVFGNode* SVF::SlicedSVFGEdgeIterImpl< Forward >::src = nullptr

private

Definition at line 1155 of file SlicedGraphs.h.

view

template<bool Forward>

const SlicedSVFGView* SVF::SlicedSVFGEdgeIterImpl< Forward >::view = nullptr

private

Definition at line 1154 of file SlicedGraphs.h.

---

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

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