cprover
|
#include <slice_global_inits.h>
Public Member Functions | |
user_input_error_exceptiont (std::string message) | |
std::string | what () const override |
A human readable description of what went wrong. More... | |
![]() | |
virtual | ~cprover_exception_baset ()=default |
Private Attributes | |
std::string | message |
Definition at line 21 of file slice_global_inits.h.
|
inlineexplicit |
Definition at line 24 of file slice_global_inits.h.
|
inlineoverridevirtual |
A human readable description of what went wrong.
For readability, implementors should not add a leading or trailing newline to this description.
Implements cprover_exception_baset.
Definition at line 29 of file slice_global_inits.h.
|
private |
Definition at line 35 of file slice_global_inits.h.