cprover
|
#include <flatten_byte_extract_exceptions.h>
Public Member Functions | |
non_constant_widtht (const exprt &src, const exprt &max_bytes) | |
const char * | what () const optional_noexcept override |
![]() | |
flatten_byte_extract_exceptiont (const std::string &exception_message) | |
Private Attributes | |
exprt | src |
exprt | max_bytes |
std::string | computed_error_message |
Definition at line 89 of file flatten_byte_extract_exceptions.h.
Definition at line 93 of file flatten_byte_extract_exceptions.h.
References computed_error_message, max_bytes, irept::pretty(), and src.
|
inlineoverride |
Definition at line 106 of file flatten_byte_extract_exceptions.h.
References computed_error_message.
|
private |
Definition at line 115 of file flatten_byte_extract_exceptions.h.
Referenced by non_constant_widtht(), and what().
|
private |
Definition at line 113 of file flatten_byte_extract_exceptions.h.
Referenced by non_constant_widtht().
|
private |
Definition at line 112 of file flatten_byte_extract_exceptions.h.
Referenced by non_constant_widtht().