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.

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->()

const refst* member_offset_iterator::operator-> ( ) const
inline

Definition at line 40 of file pointer_offset_size.h.

References current.

Member Data Documentation

◆ bit_field_bits

size_t member_offset_iterator::bit_field_bits
private

Definition at line 34 of file pointer_offset_size.h.

Referenced by operator++().

◆ current

refst member_offset_iterator::current
private

Definition at line 31 of file pointer_offset_size.h.

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

◆ ns

const namespacet& member_offset_iterator::ns
private

Definition at line 33 of file pointer_offset_size.h.

Referenced by operator++().

◆ type

const struct_typet& member_offset_iterator::type
private

Definition at line 32 of file pointer_offset_size.h.

Referenced by operator++().


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