cprover
|
#include <pointer_offset_size.h>
Public Member Functions | |
member_offset_iterator (const struct_typet &_type, const namespacet &_ns) | |
member_offset_iterator & | operator++ () |
const refst & | operator* () const |
const refst * | operator-> () const |
Private Types | |
typedef std::pair< size_t, mp_integer > | refst |
Private Attributes | |
refst | current |
const struct_typet & | type |
const namespacet & | ns |
size_t | bit_field_bits |
Definition at line 28 of file pointer_offset_size.h.
|
private |
Definition at line 30 of file pointer_offset_size.h.
member_offset_iterator::member_offset_iterator | ( | const struct_typet & | _type, |
const namespacet & | _ns | ||
) |
Definition at line 22 of file pointer_offset_size.cpp.
|
inline |
Definition at line 39 of file pointer_offset_size.h.
References current.
member_offset_iterator & member_offset_iterator::operator++ | ( | ) |
Definition at line 32 of file pointer_offset_size.cpp.
References bit_field_bits, struct_union_typet::components(), current, DATA_INVARIANT, ns, pointer_offset_size(), to_c_bit_field_type(), and type.
|
inline |
Definition at line 40 of file pointer_offset_size.h.
References current.
|
private |
Definition at line 34 of file pointer_offset_size.h.
Referenced by operator++().
|
private |
Definition at line 31 of file pointer_offset_size.h.
Referenced by operator*(), operator++(), and operator->().
|
private |
Definition at line 33 of file pointer_offset_size.h.
Referenced by operator++().
|
private |
Definition at line 32 of file pointer_offset_size.h.
Referenced by operator++().