cprover
|
#include <restrict_function_pointers.h>
Public Member Functions | |
invalid_restriction_exceptiont (std::string reason, std::string correct_format="") | |
std::string | what () const override |
A human readable description of what went wrong. More... | |
![]() | |
virtual | ~cprover_exception_baset ()=default |
Public Attributes | |
std::string | reason |
std::string | correct_format |
Definition at line 85 of file restrict_function_pointers.h.
|
explicit |
Definition at line 143 of file restrict_function_pointers.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 150 of file restrict_function_pointers.cpp.
std::string function_pointer_restrictionst::invalid_restriction_exceptiont::correct_format |
Definition at line 95 of file restrict_function_pointers.h.
std::string function_pointer_restrictionst::invalid_restriction_exceptiont::reason |
Definition at line 94 of file restrict_function_pointers.h.