user_input_error_exceptiont Class Reference
#include <slice_global_inits.h>
Inheritance diagram for user_input_error_exceptiont: Collaboration diagram for user_input_error_exceptiont:Public Member Functions | |
| user_input_error_exceptiont (std::string message) | |
| Public Member Functions inherited from cprover_exception_baset | |
| virtual std::string | what () const |
| A human readable description of what went wrong. More... | |
| virtual | ~cprover_exception_baset ()=default |
| virtual std::string | what () const |
| A human readable description of what went wrong. More... | |
| virtual | ~cprover_exception_baset ()=default |
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
Definition at line 22 of file slice_global_inits.h.
Constructor & Destructor Documentation
◆ user_input_error_exceptiont()
|
inlineexplicit |
Definition at line 25 of file slice_global_inits.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-programs/slice_global_inits.h
