CBMC
|
Thrown when some external system fails unexpectedly. More...
#include <exception_utils.h>
Public Member Functions | |
system_exceptiont (std::string message) | |
Public Member Functions inherited from cprover_exception_baset | |
virtual std::string | what () const |
A human readable description of what went wrong. More... | |
virtual | ~cprover_exception_baset ()=default |
virtual std::string | what () const |
A human readable description of what went wrong. More... | |
virtual | ~cprover_exception_baset ()=default |
Additional Inherited Members | |
Protected Member Functions inherited from cprover_exception_baset | |
cprover_exception_baset (std::string reason) | |
This constructor is marked protected to ensure this class isn't used directly. More... | |
cprover_exception_baset (std::string reason) | |
This constructor is marked protected to ensure this class isn't used directly. More... | |
Protected Attributes inherited from cprover_exception_baset | |
std::string | reason |
The reason this exception was generated. More... | |
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 71 of file exception_utils.h.
|
explicit |
Definition at line 42 of file exception_utils.cpp.