CBMC
|
Maps a big-endian offset to a little-endian offset. More...
#include <endianness_map.h>
Public Member Functions | |
endianness_mapt (const typet &type, bool little_endian, const namespacet &_ns) | |
endianness_mapt (const namespacet &_ns) | |
virtual | ~endianness_mapt ()=default |
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 | |
virtual void | build_little_endian (const typet &type) |
virtual void | build_big_endian (const typet &type) |
Protected Attributes | |
const namespacet & | ns |
std::vector< size_t > | map |
Maps a big-endian offset to a little-endian offset.
Definition at line 30 of file endianness_map.h.
|
inline |
Definition at line 33 of file endianness_map.h.
|
inlineexplicit |
Definition at line 41 of file endianness_map.h.
|
virtualdefault |
Definition at line 30 of file endianness_map.cpp.
Reimplemented in bv_endianness_mapt.
Definition at line 52 of file endianness_map.cpp.
Reimplemented in endianness_map_widet, and bv_endianness_mapt.
Definition at line 38 of file endianness_map.cpp.
Definition at line 47 of file endianness_map.h.
|
inline |
Definition at line 55 of file endianness_map.h.
void endianness_mapt::output | ( | std::ostream & | out | ) | const |
Definition at line 18 of file endianness_map.cpp.
|
protected |
Definition at line 66 of file endianness_map.h.
|
protected |
Definition at line 65 of file endianness_map.h.