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>
Inheritance diagram for incorrect_goto_program_exceptiont: Collaboration diagram for incorrect_goto_program_exceptiont: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... | |
| Public Member Functions inherited from cprover_exception_baset | |
| virtual | ~cprover_exception_baset ()=default |
| virtual | ~cprover_exception_baset ()=default |
Private Attributes | |
| source_locationt | source_location |
| std::string | diagnostics |
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... | |
Detailed Description
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.
- See also
- invariant.h
Definition at line 91 of file exception_utils.h.
Constructor & Destructor Documentation
◆ incorrect_goto_program_exceptiont() [1/3]
|
explicit |
Definition at line 52 of file exception_utils.cpp.
◆ incorrect_goto_program_exceptiont() [2/3]
| incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont | ( | std::string | message, |
| Diagnostic && | diagnostic, | ||
| Diagnostics &&... | diagnostics | ||
| ) |
Definition at line 117 of file exception_utils.h.
◆ incorrect_goto_program_exceptiont() [3/3]
| incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont | ( | std::string | message, |
| source_locationt | source_location, | ||
| Diagnostics &&... | diagnostics | ||
| ) |
Definition at line 130 of file exception_utils.h.
Member Function Documentation
◆ what()
|
overridevirtual |
A human readable description of what went wrong.
For readability, implementors should not add a leading or trailing newline to this description.
Reimplemented from cprover_exception_baset.
Definition at line 59 of file exception_utils.cpp.
Member Data Documentation
◆ diagnostics
|
private |
Definition at line 113 of file exception_utils.h.
◆ source_location
|
private |
Definition at line 111 of file exception_utils.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/util/exception_utils.h
- /home/runner/work/cbmc/cbmc/src/util/exception_utils.cpp
