cprover
member_offset_iterator Class Reference

#include <pointer_offset_size.h>

Collaboration diagram for member_offset_iterator:
[legend]

Public Member Functions

 member_offset_iterator (const struct_typet &_type, const namespacet &_ns)
 
member_offset_iteratoroperator++ ()
 
const refstoperator* () const
 
const refstoperator-> () const
 

Private Types

typedef std::pair< size_t, mp_integerrefst
 

Private Attributes

refst current
 
const struct_typettype
 
const namespacetns
 
size_t bit_field_bits
 

Detailed Description

Definition at line 28 of file pointer_offset_size.h.

Member Typedef Documentation

§ refst

typedef std::pair<size_t, mp_integer> member_offset_iterator::refst
private

Definition at line 30 of file pointer_offset_size.h.

Constructor & Destructor Documentation

§ member_offset_iterator()

member_offset_iterator::member_offset_iterator ( const struct_typet _type,
const namespacet _ns 
)

Definition at line 28 of file pointer_offset_size.cpp.

References bit_field_bits, ns, and type.

Member Function Documentation

§ operator*()

const refst& member_offset_iterator::operator* ( ) const
inline

Definition at line 39 of file pointer_offset_size.h.

References current.

§ operator++()

member_offset_iterator & member_offset_iterator::operator++ ( )

§ operator->()

Member Data Documentation

§ bit_field_bits

size_t member_offset_iterator::bit_field_bits
private

§ current

refst member_offset_iterator::current
private

Definition at line 31 of file pointer_offset_size.h.

Referenced by operator*(), operator++(), and operator->().

§ ns

§ type

const struct_typet& member_offset_iterator::type
private

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