cprover
|
#include <flatten_byte_extract_exceptions.h>
Public Member Functions | |
non_const_array_sizet (const array_typet &array_type, const exprt &max_bytes) | |
const char * | what () const optional_noexcept override |
![]() | |
flatten_byte_extract_exceptiont (const std::string &exception_message) | |
Private Attributes | |
exprt | max_bytes |
array_typet | array_type |
std::string | computed_error_message |
Definition at line 28 of file flatten_byte_extract_exceptions.h.
|
inline |
Definition at line 31 of file flatten_byte_extract_exceptions.h.
|
inlineoverride |
Definition at line 43 of file flatten_byte_extract_exceptions.h.
|
private |
Definition at line 50 of file flatten_byte_extract_exceptions.h.
|
private |
Definition at line 52 of file flatten_byte_extract_exceptions.h.
|
private |
Definition at line 49 of file flatten_byte_extract_exceptions.h.