cprover
|
Thrown when a goto program that's being processed is in an invalid format, for example passing the wrong number of arguments to functions. More...
#include <exception_utils.h>
Public Member Functions | |
incorrect_goto_program_exceptiont (std::string message) | |
template<typename Diagnostic , typename... Diagnostics> | |
incorrect_goto_program_exceptiont (std::string message, Diagnostic &&diagnostic, Diagnostics &&... diagnostics) | |
template<typename... Diagnostics> | |
incorrect_goto_program_exceptiont (std::string message, source_locationt source_location, Diagnostics &&... diagnostics) | |
std::string | what () const override |
A human readable description of what went wrong. More... | |
![]() | |
virtual | ~cprover_exception_baset ()=default |
Private Attributes | |
std::string | message |
source_locationt | source_location |
std::string | diagnostics |
Thrown when a goto program that's being processed is in an invalid format, for example passing the wrong number of arguments to functions.
Note that this only applies to goto programs that are user provided, that internal transformations on goto programs don't produce invalid programs should be guarded by invariants instead.
Definition at line 89 of file exception_utils.h.
|
explicit |
Definition at line 57 of file exception_utils.cpp.
incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont | ( | std::string | message, |
Diagnostic && | diagnostic, | ||
Diagnostics &&... | diagnostics | ||
) |
Definition at line 116 of file exception_utils.h.
incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont | ( | std::string | message, |
source_locationt | source_location, | ||
Diagnostics &&... | diagnostics | ||
) |
Definition at line 129 of file exception_utils.h.
|
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 64 of file exception_utils.cpp.
|
private |
Definition at line 112 of file exception_utils.h.
|
private |
Definition at line 109 of file exception_utils.h.
|
private |
Definition at line 110 of file exception_utils.h.