cprover
Loading...
Searching...
No Matches
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: