cprover
|
#include <flatten_byte_extract_exceptions.h>
Public Member Functions | |
non_byte_alignedt (const struct_typet &struct_type, const struct_union_typet::componentt &component, const mp_integer &byte_width) | |
const char * | what () const optional_noexcept override |
![]() | |
flatten_byte_extract_exceptiont (const std::string &exception_message) | |
Private Attributes | |
const struct_typet | struct_type |
const struct_union_typet::componentt | component |
const mp_integer | byte_width |
std::string | computed_error_message |
Definition at line 55 of file flatten_byte_extract_exceptions.h.
|
inline |
Definition at line 58 of file flatten_byte_extract_exceptions.h.
References byte_width, component, computed_error_message, struct_union_typet::componentt::get_name(), irept::pretty(), and struct_type.
|
inlineoverride |
Definition at line 76 of file flatten_byte_extract_exceptions.h.
References computed_error_message.
|
private |
Definition at line 84 of file flatten_byte_extract_exceptions.h.
Referenced by non_byte_alignedt().
|
private |
Definition at line 83 of file flatten_byte_extract_exceptions.h.
Referenced by non_byte_alignedt().
|
private |
Definition at line 86 of file flatten_byte_extract_exceptions.h.
Referenced by non_byte_alignedt(), and what().
|
private |
Definition at line 82 of file flatten_byte_extract_exceptions.h.
Referenced by non_byte_alignedt().