SVF::SlicedPAGEdgeIterImpl< Forward > Class Template Reference

#include <SlicedGraphs.h>

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

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

Static Public Member Functions
static SlicedPAGEdgeIterImpl	begin (const SlicedPAGView *v, const SVFVar *n)
static SlicedPAGEdgeIterImpl	end (const SlicedPAGView *v, const SVFVar *n)

Private Types
using	EdgeIt = SVFVar::const_iterator

Private Member Functions
	SlicedPAGEdgeIterImpl (const SlicedPAGView *v, const SVFVar *n)
void	skipNonKept ()
void	refresh ()

Private Attributes
const SlicedPAGView *	view = nullptr
const SVFVar *	src = nullptr
EdgeIt	realIt {}
EdgeIt	realEnd {}
SlicedPAGEdgeRef	cur {}

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

Detailed Description

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

Definition at line 867 of file SlicedGraphs.h.

Member Typedef Documentation

difference_type

template<bool Forward>

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

Definition at line 872 of file SlicedGraphs.h.

EdgeIt

template<bool Forward>

using SVF::SlicedPAGEdgeIterImpl< Forward >::EdgeIt = SVFVar::const_iterator

private

Definition at line 937 of file SlicedGraphs.h.

iterator_category

template<bool Forward>

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

Definition at line 870 of file SlicedGraphs.h.

pointer

template<bool Forward>

using SVF::SlicedPAGEdgeIterImpl< Forward >::pointer = const SlicedPAGEdgeRef*

Definition at line 873 of file SlicedGraphs.h.

reference

template<bool Forward>

using SVF::SlicedPAGEdgeIterImpl< Forward >::reference = const SlicedPAGEdgeRef&

Definition at line 874 of file SlicedGraphs.h.

value_type

template<bool Forward>

using SVF::SlicedPAGEdgeIterImpl< Forward >::value_type = SlicedPAGEdgeRef

Definition at line 871 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedPAGEdgeIterImpl() [1/2]

template<bool Forward>

SVF::SlicedPAGEdgeIterImpl< Forward >::SlicedPAGEdgeIterImpl ( )

default

SlicedPAGEdgeIterImpl() [2/2]

template<bool Forward>

SVF::SlicedPAGEdgeIterImpl< Forward >::SlicedPAGEdgeIterImpl ( const SlicedPAGView *  v, const SVFVar *  n  )

inlineprivate

Definition at line 943 of file SlicedGraphs.h.

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

Member Function Documentation

begin()

template<bool Forward>

static SlicedPAGEdgeIterImpl SVF::SlicedPAGEdgeIterImpl< Forward >::begin ( const SlicedPAGView *  v, const SVFVar *  n  )

inlinestatic

Definition at line 878 of file SlicedGraphs.h.

    {
        SlicedPAGEdgeIterImpl 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 SlicedPAGEdgeIterImpl SVF::SlicedPAGEdgeIterImpl< Forward >::end ( const SlicedPAGView *  v, const SVFVar *  n  )

inlinestatic

Definition at line 888 of file SlicedGraphs.h.

    {
        SlicedPAGEdgeIterImpl 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::SlicedPAGEdgeIterImpl< Forward >::operator* ( ) const

inline

Definition at line 897 of file SlicedGraphs.h.

    {
        return cur;
    }

operator++() [1/2]

template<bool Forward>

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

inline

Definition at line 910 of file SlicedGraphs.h.

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

operator++() [2/2]

template<bool Forward>

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

inline

Definition at line 920 of file SlicedGraphs.h.

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

operator->()

template<bool Forward>

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

inline

Definition at line 901 of file SlicedGraphs.h.

    {
        return &cur;
    }

refresh()

template<bool Forward>

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

inlineprivate

Definition at line 949 of file SlicedGraphs.h.

    {
        if (realIt != realEnd)
        {
            const SVFStmt* s = *realIt;
            cur = SlicedPAGEdgeRef{{view, s->getSrcNode()}, {view, s->getDstNode()}, s};
        }
        else
        {
            cur = SlicedPAGEdgeRef{};
        }
    }

skipNonKept()

template<bool Forward>

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

inlineprivate

Definition at line 945 of file SlicedGraphs.h.

    {
        while (realIt != realEnd && !view->isKeptStmt(*realIt)) ++realIt;
    }

target()

template<bool Forward>

SlicedPAGNodeRef SVF::SlicedPAGEdgeIterImpl< Forward >::target ( ) const

inline

Definition at line 905 of file SlicedGraphs.h.

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

Friends And Related Symbol Documentation

operator!=

template<bool Forward>

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

friend

Definition at line 931 of file SlicedGraphs.h.

    {
        return !(a == b);
    }

operator==

template<bool Forward>

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

friend

Definition at line 927 of file SlicedGraphs.h.

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

Member Data Documentation

cur

template<bool Forward>

SlicedPAGEdgeRef SVF::SlicedPAGEdgeIterImpl< Forward >::cur {}

private

Definition at line 941 of file SlicedGraphs.h.

{};

realEnd

template<bool Forward>

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

private

Definition at line 940 of file SlicedGraphs.h.

{}, realEnd{};

realIt

template<bool Forward>

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

private

Definition at line 940 of file SlicedGraphs.h.

{}, realEnd{};

src

template<bool Forward>

const SVFVar* SVF::SlicedPAGEdgeIterImpl< Forward >::src = nullptr

private

Definition at line 939 of file SlicedGraphs.h.

view

template<bool Forward>

const SlicedPAGView* SVF::SlicedPAGEdgeIterImpl< Forward >::view = nullptr

private

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