cprover
|
Thrown when we encounter an instruction, parameters to an instruction etc. More...
#include <exception_utils.h>
Public Member Functions | |
unsupported_operation_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 |
The unsupported operation causing this fault to occur. More... | |
Thrown when we encounter an instruction, parameters to an instruction etc.
in a goto program that has some theoretically valid semantics, but that we don't presently have any support for.
Definition at line 143 of file exception_utils.h.
|
explicit |
Definition at line 77 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 83 of file exception_utils.cpp.
|
private |
The unsupported operation causing this fault to occur.
Definition at line 151 of file exception_utils.h.