cprover
|
Base class for exceptions thrown in the cprover project. More...
#include <exception_utils.h>
Public Member Functions | |
virtual std::string | what () const =0 |
A human readable description of what went wrong. More... | |
virtual | ~cprover_exception_baset ()=default |
Base class for exceptions thrown in the cprover project.
Intended to be used as a convenient way to have a "catch all and report errors" from application entry points. Note that the reason we use a custom base class as opposed to std::exception or one of its derivates to avoid them being accidentally caught by code expecting standard exceptions to be only thrown by the standard library.
Definition at line 24 of file exception_utils.h.
|
virtualdefault |
|
pure virtual |
A human readable description of what went wrong.
For readability, implementors should not add a leading or trailing newline to this description.
Implemented in invalid_source_file_exceptiont, analysis_exceptiont, unsupported_operation_exceptiont, incorrect_goto_program_exceptiont, deserialization_exceptiont, system_exceptiont, invalid_command_line_argument_exceptiont, smt2_tokenizert::smt2_errort, gdb_interaction_exceptiont, incorrect_source_program_exceptiont, user_input_error_exceptiont, and function_pointer_restrictionst::invalid_restriction_exceptiont.