|
Static Value-Flow Analysis
|
#include <SlicedGraphs.h>
Public Types | |
| using | iterator_category = std::forward_iterator_tag |
| using | value_type = SlicedICFGNodeRef |
| using | difference_type = std::ptrdiff_t |
| using | pointer = const SlicedICFGNodeRef * |
| using | reference = SlicedICFGNodeRef |
Public Member Functions | |
| SlicedICFGNodeIter ()=default | |
| SlicedICFGNodeIter (const SlicedICFGView *v, OrderedSet< const ICFGNode * >::const_iterator i) | |
| reference | operator* () const |
| SlicedICFGNodeIter & | operator++ () |
| SlicedICFGNodeIter | operator++ (int) |
Private Attributes | |
| const SlicedICFGView * | view = nullptr |
| OrderedSet< constICFGNode * >::const_iterator | it {} |
Friends | |
| bool | operator== (const SlicedICFGNodeIter &a, const SlicedICFGNodeIter &b) |
| bool | operator!= (const SlicedICFGNodeIter &a, const SlicedICFGNodeIter &b) |
Definition at line 607 of file SlicedGraphs.h.
| using SVF::SlicedICFGNodeIter::difference_type = std::ptrdiff_t |
Definition at line 612 of file SlicedGraphs.h.
| using SVF::SlicedICFGNodeIter::iterator_category = std::forward_iterator_tag |
Definition at line 610 of file SlicedGraphs.h.
Definition at line 613 of file SlicedGraphs.h.
Definition at line 614 of file SlicedGraphs.h.
Definition at line 611 of file SlicedGraphs.h.
|
default |
|
inline |
Definition at line 617 of file SlicedGraphs.h.
|
inline |
Definition at line 620 of file SlicedGraphs.h.
|
inline |
Definition at line 624 of file SlicedGraphs.h.
|
inline |
Definition at line 629 of file SlicedGraphs.h.
|
friend |
Definition at line 640 of file SlicedGraphs.h.
|
friend |
|
private |
Definition at line 647 of file SlicedGraphs.h.
|
private |
Definition at line 646 of file SlicedGraphs.h.