Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::SlicedSVFGChildIterImpl< Forward > Class Template 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

 SlicedSVFGChildIterImpl ()=default
 SlicedSVFGChildIterImpl (SlicedSVFGEdgeIterImpl< Forward > it)
reference operator* () const
const SlicedSVFGEdgeRef & currentEdge () const
SlicedSVFGChildIterImpl & operator++ ()
SlicedSVFGChildIterImpl operator++ (int)

Private Attributes

SlicedSVFGEdgeIterImpl< Forward > e {}

Friends

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

Detailed Description

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

Definition at line 1166 of file SlicedGraphs.h.

Member Typedef Documentation

◆ difference_type

template<bool Forward>
using SVF::SlicedSVFGChildIterImpl< Forward >::difference_type = std::ptrdiff_t

Definition at line 1171 of file SlicedGraphs.h.

◆ iterator_category

template<bool Forward>
using SVF::SlicedSVFGChildIterImpl< Forward >::iterator_category = std::forward_iterator_tag

Definition at line 1169 of file SlicedGraphs.h.

◆ pointer

template<bool Forward>
using SVF::SlicedSVFGChildIterImpl< Forward >::pointer = const SlicedSVFGNodeRef*

Definition at line 1172 of file SlicedGraphs.h.

◆ reference

template<bool Forward>
using SVF::SlicedSVFGChildIterImpl< Forward >::reference = SlicedSVFGNodeRef

Definition at line 1173 of file SlicedGraphs.h.

◆ value_type

template<bool Forward>
using SVF::SlicedSVFGChildIterImpl< Forward >::value_type = SlicedSVFGNodeRef

Definition at line 1170 of file SlicedGraphs.h.

Constructor & Destructor Documentation

◆ SlicedSVFGChildIterImpl() [1/2]

template<bool Forward>
SVF::SlicedSVFGChildIterImpl< Forward >::SlicedSVFGChildIterImpl ( )
default

◆ SlicedSVFGChildIterImpl() [2/2]

template<bool Forward>
SVF::SlicedSVFGChildIterImpl< Forward >::SlicedSVFGChildIterImpl ( SlicedSVFGEdgeIterImpl< Forward > it)
inlineexplicit

Definition at line 1176 of file SlicedGraphs.h.

1176: e(it) {}
SlicedSVFGEdgeIterImpl< Forward > e

Member Function Documentation

◆ currentEdge()

template<bool Forward>
const SlicedSVFGEdgeRef & SVF::SlicedSVFGChildIterImpl< Forward >::currentEdge ( ) const
inline

Definition at line 1182 of file SlicedGraphs.h.

1183 {
1184 return *e;
1185 }

◆ operator*()

template<bool Forward>
reference SVF::SlicedSVFGChildIterImpl< Forward >::operator* ( ) const
inline

Definition at line 1178 of file SlicedGraphs.h.

1179 {
1180 return e.target();
1181 }

◆ operator++() [1/2]

template<bool Forward>
SlicedSVFGChildIterImpl & SVF::SlicedSVFGChildIterImpl< Forward >::operator++ ( )
inline

Definition at line 1186 of file SlicedGraphs.h.

1187 {
1188 ++e;
1189 return *this;
1190 }

◆ operator++() [2/2]

template<bool Forward>
SlicedSVFGChildIterImpl SVF::SlicedSVFGChildIterImpl< Forward >::operator++ ( int )
inline

Definition at line 1191 of file SlicedGraphs.h.

1192 {
1193 SlicedSVFGChildIterImpl t = *this;
1194 ++e;
1195 return t;
1196 }

◆ operator!=

template<bool Forward>
bool operator!= ( const SlicedSVFGChildIterImpl< Forward > & a,
const SlicedSVFGChildIterImpl< Forward > & b )
friend

Definition at line 1201 of file SlicedGraphs.h.

1202 {
1203 return !(a == b);
1204 }

◆ operator==

template<bool Forward>
bool operator== ( const SlicedSVFGChildIterImpl< Forward > & a,
const SlicedSVFGChildIterImpl< Forward > & b )
friend

Definition at line 1197 of file SlicedGraphs.h.

1198 {
1199 return a.e == b.e;
1200 }

Member Data Documentation

◆ e

template<bool Forward>
SlicedSVFGEdgeIterImpl<Forward> SVF::SlicedSVFGChildIterImpl< Forward >::e {}
private

Definition at line 1207 of file SlicedGraphs.h.

1207{};

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