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. | |
![]() | |
virtual | ~cprover_exception_baset ()=default |
Private Attributes | |
std::string | message |
Definition at line 22 of file slice_global_inits.h.
|
inlineexplicit |
Definition at line 25 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 30 of file slice_global_inits.h.
|
private |
Definition at line 36 of file slice_global_inits.h.