cprover
|
#include <symbol_table_base.h>
Public Types | |
typedef symbolst::iterator::difference_type | difference_type |
typedef symbolst::const_iterator::value_type | value_type |
typedef symbolst::const_iterator::pointer | pointer |
typedef symbolst::const_iterator::reference | reference |
typedef symbolst::iterator::iterator_category | iterator_category |
Public Member Functions | |
iteratort (symbolst::iterator it) | |
iteratort (const iteratort &it, std::function< void(const irep_idt &id)> on_get_writeable) | |
bool | operator!= (const iteratort &other) const |
bool | operator== (const iteratort &other) const |
iteratort & | operator++ () |
Preincrement operator Do not call on the end() iterator. More... | |
iteratort | operator++ (int) |
Post-increment operator. More... | |
reference | operator* () const |
Dereference operator. More... | |
pointer | operator-> () const |
Dereference operator (member access) More... | |
symbolt & | get_writeable_symbol (const irep_idt &identifier) |
Private Attributes | |
symbolst::iterator | it |
std::function< void(const irep_idt &id)> | on_get_writeable |
Definition at line 118 of file symbol_table_base.h.
typedef symbolst::iterator::difference_type symbol_table_baset::iteratort::difference_type |
Definition at line 137 of file symbol_table_base.h.
typedef symbolst::iterator::iterator_category symbol_table_baset::iteratort::iterator_category |
Definition at line 141 of file symbol_table_base.h.
typedef symbolst::const_iterator::pointer symbol_table_baset::iteratort::pointer |
Definition at line 139 of file symbol_table_base.h.
typedef symbolst::const_iterator::reference symbol_table_baset::iteratort::reference |
Definition at line 140 of file symbol_table_base.h.
typedef symbolst::const_iterator::value_type symbol_table_baset::iteratort::value_type |
Definition at line 138 of file symbol_table_base.h.
|
inlineexplicit |
Definition at line 125 of file symbol_table_base.h.
|
inline |
Definition at line 129 of file symbol_table_base.h.
Definition at line 184 of file symbol_table_base.h.
References it, and on_get_writeable.
|
inline |
Definition at line 143 of file symbol_table_base.h.
References it.
|
inline |
Dereference operator.
Definition at line 172 of file symbol_table_base.h.
References it.
|
inline |
Preincrement operator Do not call on the end() iterator.
Definition at line 155 of file symbol_table_base.h.
References it.
Referenced by operator++().
|
inline |
Post-increment operator.
Definition at line 163 of file symbol_table_base.h.
References operator++().
|
inline |
Dereference operator (member access)
Definition at line 179 of file symbol_table_base.h.
|
inline |
Definition at line 148 of file symbol_table_base.h.
References it.
|
private |
Definition at line 121 of file symbol_table_base.h.
Referenced by get_writeable_symbol(), operator!=(), operator*(), operator++(), and operator==().
|
private |
Definition at line 122 of file symbol_table_base.h.
Referenced by get_writeable_symbol().