endianness_mapt Class Reference

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

#include <endianness_map.h>

Inheritance diagram for endianness_mapt:

Collaboration diagram for endianness_mapt:

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

Detailed Description

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

Definition at line 30 of file endianness_map.h.

Constructor & Destructor Documentation

endianness_mapt() [1/2]

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

inline

Definition at line 33 of file endianness_map.h.

endianness_mapt() [2/2]

endianness_mapt::endianness_mapt ( const namespacet &  _ns )

inlineexplicit

Definition at line 41 of file endianness_map.h.

~endianness_mapt()

virtual endianness_mapt::~endianness_mapt ( )

virtualdefault

Member Function Documentation

build()

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

Definition at line 30 of file endianness_map.cpp.

build_big_endian()

void endianness_mapt::build_big_endian ( const typet &  type )

protectedvirtual

Reimplemented in bv_endianness_mapt.

Definition at line 52 of file endianness_map.cpp.

build_little_endian()

void endianness_mapt::build_little_endian ( const typet &  type )

protectedvirtual

Reimplemented in endianness_map_widet, and bv_endianness_mapt.

Definition at line 38 of file endianness_map.cpp.

map_bit()

size_t endianness_mapt::map_bit ( size_t  bit ) const

inline

Definition at line 47 of file endianness_map.h.

number_of_bits()

size_t endianness_mapt::number_of_bits ( ) const

inline

Definition at line 55 of file endianness_map.h.

output()

void endianness_mapt::output

(

std::ostream &

out

)

const

Definition at line 18 of file endianness_map.cpp.

Member Data Documentation

map

std::vector<size_t> endianness_mapt::map

protected

Definition at line 66 of file endianness_map.h.

ns

const namespacet& endianness_mapt::ns

protected

Definition at line 65 of file endianness_map.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/endianness_map.h
• /home/runner/work/cbmc/cbmc/src/util/endianness_map.cpp