Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Private Attributes | Friends | List of all members
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 SlicedSVFGEdgeRefcurrentEdge () const
 
SlicedSVFGChildIterImploperator++ ()
 
SlicedSVFGChildIterImpl operator++ (int)
 

Private Attributes

SlicedSVFGEdgeIterImpl< Forwarde {}
 

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 1182 of file SlicedGraphs.h.

Member Typedef Documentation

◆ difference_type

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

Definition at line 1187 of file SlicedGraphs.h.

◆ iterator_category

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

Definition at line 1185 of file SlicedGraphs.h.

◆ pointer

Definition at line 1188 of file SlicedGraphs.h.

◆ reference

Definition at line 1189 of file SlicedGraphs.h.

◆ value_type

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

Definition at line 1186 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 1192 of file SlicedGraphs.h.

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

Member Function Documentation

◆ currentEdge()

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

Definition at line 1198 of file SlicedGraphs.h.

1199 {
1200 return *e;
1201 }

◆ operator*()

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

Definition at line 1194 of file SlicedGraphs.h.

1195 {
1196 return e.target();
1197 }

◆ operator++() [1/2]

Definition at line 1202 of file SlicedGraphs.h.

1203 {
1204 ++e;
1205 return *this;
1206 }

◆ operator++() [2/2]

Definition at line 1207 of file SlicedGraphs.h.

1208 {
1209 SlicedSVFGChildIterImpl t = *this;
1210 ++e;
1211 return t;
1212 }

Friends And Related Symbol Documentation

◆ operator!=

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

Definition at line 1217 of file SlicedGraphs.h.

1218 {
1219 return !(a == b);
1220 }
cJSON * a
Definition cJSON.cpp:2560
const cJSON *const b
Definition cJSON.h:255

◆ operator==

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

Definition at line 1213 of file SlicedGraphs.h.

1214 {
1215 return a.e == b.e;
1216 }

Member Data Documentation

◆ e

Definition at line 1223 of file SlicedGraphs.h.

1223{};

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