cprover
endianness_mapt Class Reference

Maps a big-endian offset to a little-endian offset. More...

#include <endianness_map.h>

Collaboration diagram for endianness_mapt:
[legend]

Public Member Functions

 endianness_mapt (const typet &type, bool little_endian, const namespacet &_ns)
 
size_t map_bit (size_t bit) const
 
size_t number_of_bits () const
 
void build (const typet &type, bool little_endian)
 
void output (std::ostream &) const
 

Protected Member Functions

void build_little_endian (const typet &type)
 
void build_big_endian (const typet &type)
 

Protected Attributes

const namespacetns
 
std::vector< size_t > map
 

Detailed Description

Maps a big-endian offset to a little-endian offset.

Definition at line 29 of file endianness_map.h.

Constructor & Destructor Documentation

§ endianness_mapt()

endianness_mapt::endianness_mapt ( const typet type,
bool  little_endian,
const namespacet _ns 
)
inline

Definition at line 32 of file endianness_map.h.

References build().

Member Function Documentation

§ build()

void endianness_mapt::build ( const typet type,
bool  little_endian 
)

Definition at line 31 of file endianness_map.cpp.

References build_big_endian(), and build_little_endian().

Referenced by endianness_mapt(), and number_of_bits().

§ build_big_endian()

§ build_little_endian()

void endianness_mapt::build_little_endian ( const typet type)
protected

Definition at line 39 of file endianness_map.cpp.

References integer2size_t(), map, ns, and pointer_offset_bits().

Referenced by build().

§ map_bit()

size_t endianness_mapt::map_bit ( size_t  bit) const
inline

§ number_of_bits()

size_t endianness_mapt::number_of_bits ( ) const
inline

Definition at line 48 of file endianness_map.h.

References build(), map, and output().

Referenced by map_bv().

§ output()

void endianness_mapt::output ( std::ostream &  out) const

Definition at line 19 of file endianness_map.cpp.

References map.

Referenced by number_of_bits(), and operator<<().

Member Data Documentation

§ map

std::vector<size_t> endianness_mapt::map
protected

§ ns

const namespacet& endianness_mapt::ns
protected

Definition at line 58 of file endianness_map.h.

Referenced by build_big_endian(), and build_little_endian().


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