SVF::SlicedSVFGNodeIter Class Reference

#include <SlicedGraphs.h>

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

Public Member Functions
	SlicedSVFGNodeIter ()=default
	SlicedSVFGNodeIter (const SlicedSVFGView *v, SVFG::const_iterator i, SVFG::const_iterator e)
reference	operator* () const
SlicedSVFGNodeIter &	operator++ ()
SlicedSVFGNodeIter	operator++ (int)

Private Member Functions
void	skipNonKept ()

Private Attributes
const SlicedSVFGView *	view = nullptr
SVFG::const_iterator	it {}
SVFG::const_iterator	endIt {}

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

Detailed Description

Definition at line 1211 of file SlicedGraphs.h.

Member Typedef Documentation

difference_type

using SVF::SlicedSVFGNodeIter::difference_type = std::ptrdiff_t

Definition at line 1216 of file SlicedGraphs.h.

iterator_category

using SVF::SlicedSVFGNodeIter::iterator_category = std::forward_iterator_tag

Definition at line 1214 of file SlicedGraphs.h.

pointer

using SVF::SlicedSVFGNodeIter::pointer = const SlicedSVFGNodeRef*

Definition at line 1217 of file SlicedGraphs.h.

reference

using SVF::SlicedSVFGNodeIter::reference = SlicedSVFGNodeRef

Definition at line 1218 of file SlicedGraphs.h.

value_type

using SVF::SlicedSVFGNodeIter::value_type = SlicedSVFGNodeRef

Definition at line 1215 of file SlicedGraphs.h.

Constructor & Destructor Documentation

SlicedSVFGNodeIter() [1/2]

SVF::SlicedSVFGNodeIter::SlicedSVFGNodeIter ( )

default

SlicedSVFGNodeIter() [2/2]

SVF::SlicedSVFGNodeIter::SlicedSVFGNodeIter ( const SlicedSVFGView * v, SVFG::const_iterator i, SVFG::const_iterator e )

inline

Definition at line 1221 of file SlicedGraphs.h.

        : view(v), it(i), endIt(e)
    {
        skipNonKept();
    }

Member Function Documentation

operator*()

reference SVF::SlicedSVFGNodeIter::operator* ( ) const

inline

Definition at line 1227 of file SlicedGraphs.h.

    {
        return SlicedSVFGNodeRef{view, it->second};
    }

operator++() [1/2]

SlicedSVFGNodeIter & SVF::SlicedSVFGNodeIter::operator++ ( )

inline

Definition at line 1231 of file SlicedGraphs.h.

    {
        ++it;
        skipNonKept();
        return *this;
    }

operator++() [2/2]

SlicedSVFGNodeIter SVF::SlicedSVFGNodeIter::operator++ ( int )

inline

Definition at line 1237 of file SlicedGraphs.h.

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

skipNonKept()

void SVF::SlicedSVFGNodeIter::skipNonKept ( )

inlineprivate

Definition at line 1255 of file SlicedGraphs.h.

    {
        while (it != endIt && !view->isKeptNode(it->second)) ++it;
    }

Friends And Related Symbol Documentation

operator!=

bool operator!= ( const SlicedSVFGNodeIter & a, const SlicedSVFGNodeIter & b )

friend

Definition at line 1247 of file SlicedGraphs.h.

    {
        return !(a == b);
    }

operator==

bool operator== ( const SlicedSVFGNodeIter & a, const SlicedSVFGNodeIter & b )

friend

Definition at line 1243 of file SlicedGraphs.h.

    {
        return a.view == b.view && a.it == b.it;
    }

Member Data Documentation

endIt

SVFG::const_iterator SVF::SlicedSVFGNodeIter::endIt {}

private

Definition at line 1254 of file SlicedGraphs.h.

{}, endIt{};

it

SVFG::const_iterator SVF::SlicedSVFGNodeIter::it {}

private

Definition at line 1254 of file SlicedGraphs.h.

{}, endIt{};

view

const SlicedSVFGView* SVF::SlicedSVFGNodeIter::view = nullptr

private

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