|
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 623 of file SlicedGraphs.h.
| using SVF::SlicedICFGNodeIter::difference_type = std::ptrdiff_t |
Definition at line 628 of file SlicedGraphs.h.
| using SVF::SlicedICFGNodeIter::iterator_category = std::forward_iterator_tag |
Definition at line 626 of file SlicedGraphs.h.
Definition at line 629 of file SlicedGraphs.h.
Definition at line 630 of file SlicedGraphs.h.
Definition at line 627 of file SlicedGraphs.h.
|
default |
|
inline |
Definition at line 633 of file SlicedGraphs.h.
|
inline |
Definition at line 636 of file SlicedGraphs.h.
|
inline |
Definition at line 640 of file SlicedGraphs.h.
|
inline |
Definition at line 645 of file SlicedGraphs.h.
|
friend |
Definition at line 656 of file SlicedGraphs.h.
|
friend |
Definition at line 652 of file SlicedGraphs.h.
|
private |
Definition at line 663 of file SlicedGraphs.h.
|
private |
Definition at line 662 of file SlicedGraphs.h.