cprover
|
Thrown when some external system fails unexpectedly. More...
#include <exception_utils.h>
Public Member Functions | |
system_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 |
Thrown when some external system fails unexpectedly.
Examples are IO exceptions (files not present, or we don't have the right permissions to interact with them), timeouts for external processes etc
Definition at line 60 of file exception_utils.h.
|
explicit |
Definition at line 37 of file exception_utils.cpp.
|
overridevirtual |
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 42 of file exception_utils.cpp.
|
private |
Definition at line 67 of file exception_utils.h.