CBMC
Public Types | Public Member Functions | Private Attributes | List of all members
symbol_table_baset::iteratort Class Reference

#include <symbol_table_base.h>

+ Collaboration diagram for symbol_table_baset::iteratort:

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 ()
 Whereas the dereference operator gives a constant reference to the current symbol, this method allows users to get a writeable reference to the symbol. More...
 

Private Attributes

symbolst::iterator it
 
std::function< void(const irep_idt &id)> on_get_writeable
 

Detailed Description

Definition at line 154 of file symbol_table_base.h.

Member Typedef Documentation

◆ difference_type

typedef symbolst::iterator::difference_type symbol_table_baset::iteratort::difference_type

Definition at line 173 of file symbol_table_base.h.

◆ iterator_category

typedef symbolst::iterator::iterator_category symbol_table_baset::iteratort::iterator_category

Definition at line 177 of file symbol_table_base.h.

◆ pointer

typedef symbolst::const_iterator::pointer symbol_table_baset::iteratort::pointer

Definition at line 175 of file symbol_table_base.h.

◆ reference

typedef symbolst::const_iterator::reference symbol_table_baset::iteratort::reference

Definition at line 176 of file symbol_table_base.h.

◆ value_type

typedef symbolst::const_iterator::value_type symbol_table_baset::iteratort::value_type

Definition at line 174 of file symbol_table_base.h.

Constructor & Destructor Documentation

◆ iteratort() [1/2]

symbol_table_baset::iteratort::iteratort ( symbolst::iterator  it)
inlineexplicit

Definition at line 161 of file symbol_table_base.h.

◆ iteratort() [2/2]

symbol_table_baset::iteratort::iteratort ( const iteratort &  it,
std::function< void(const irep_idt &id)>  on_get_writeable 
)
inline

Definition at line 165 of file symbol_table_base.h.

Member Function Documentation

◆ get_writeable_symbol()

symbolt& symbol_table_baset::iteratort::get_writeable_symbol ( )
inline

Whereas the dereference operator gives a constant reference to the current symbol, this method allows users to get a writeable reference to the symbol.

Remarks
This method calls the on_get_writeable method first to give derived symbol table classes the opportunity to note that this symbol is being written to before it is accessed.
Returns
A non-const reference to the current symbol.

Definition at line 227 of file symbol_table_base.h.

◆ operator!=()

bool symbol_table_baset::iteratort::operator!= ( const iteratort &  other) const
inline

Definition at line 179 of file symbol_table_base.h.

◆ operator*()

reference symbol_table_baset::iteratort::operator* ( ) const
inline

Dereference operator.

Remarks
Dereferencing end() iterator is undefined behaviour

Definition at line 208 of file symbol_table_base.h.

◆ operator++() [1/2]

iteratort& symbol_table_baset::iteratort::operator++ ( )
inline

Preincrement operator Do not call on the end() iterator.

Definition at line 191 of file symbol_table_base.h.

◆ operator++() [2/2]

iteratort symbol_table_baset::iteratort::operator++ ( int  )
inline

Post-increment operator.

Remarks
Expensive copy. Avoid if possible.

Definition at line 199 of file symbol_table_base.h.

◆ operator->()

pointer symbol_table_baset::iteratort::operator-> ( ) const
inline

Dereference operator (member access)

Remarks
Dereferencing end() iterator is undefined behaviour

Definition at line 215 of file symbol_table_base.h.

◆ operator==()

bool symbol_table_baset::iteratort::operator== ( const iteratort &  other) const
inline

Definition at line 184 of file symbol_table_base.h.

Member Data Documentation

◆ it

symbolst::iterator symbol_table_baset::iteratort::it
private

Definition at line 157 of file symbol_table_base.h.

◆ on_get_writeable

std::function<void(const irep_idt &id)> symbol_table_baset::iteratort::on_get_writeable
private

Definition at line 158 of file symbol_table_base.h.

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