CBMC
endianness_map_widet Class Reference

#include <endianness_map_wide.h>

+ Inheritance diagram for endianness_map_widet:
+ Collaboration diagram for endianness_map_widet:

Public Member Functions

 endianness_map_widet (const typet &type, bool little_endian, const namespacet &_ns)
 
- Public Member Functions inherited from endianness_mapt
 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

void build_little_endian (const typet &) override
 
- Protected Member Functions inherited from endianness_mapt
virtual void build_big_endian (const typet &type)
 

Additional Inherited Members

- Protected Attributes inherited from endianness_mapt
const namespacetns
 
std::vector< size_t > map
 

Detailed Description

Definition at line 14 of file endianness_map_wide.h.

Constructor & Destructor Documentation

◆ endianness_map_widet()

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

Definition at line 17 of file endianness_map_wide.h.

Member Function Documentation

◆ build_little_endian()

void endianness_map_widet::build_little_endian ( const typet src)
overrideprotectedvirtual

Reimplemented from endianness_mapt.

Definition at line 15 of file endianness_map_wide.cpp.


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