cprover
|
#include <flatten_byte_extract_exceptions.h>
Public Member Functions | |
non_const_byte_extraction_sizet (const byte_extract_exprt &unpack_expr) | |
const char * | what () const optional_noexcept override |
![]() | |
flatten_byte_extract_exceptiont (const std::string &exception_message) | |
Private Attributes | |
const byte_extract_exprt | unpack_expr |
std::string | computed_error_message |
Definition at line 118 of file flatten_byte_extract_exceptions.h.
|
inlineexplicit |
Definition at line 121 of file flatten_byte_extract_exceptions.h.
References computed_error_message, irept::pretty(), and unpack_expr.
|
inlineoverride |
Definition at line 133 of file flatten_byte_extract_exceptions.h.
References computed_error_message.
|
private |
Definition at line 141 of file flatten_byte_extract_exceptions.h.
Referenced by non_const_byte_extraction_sizet(), and what().
|
private |
Definition at line 139 of file flatten_byte_extract_exceptions.h.
Referenced by non_const_byte_extraction_sizet().