CBMC
|
Thrown when user-provided input cannot be processed. More...
#include <exception_utils.h>
Public Member Functions | |
invalid_input_exceptiont (std::string reason) | |
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... | |
Thrown when user-provided input cannot be processed.
Use invalid_source_file_exceptiont when the precise location of erroneous input is known.
Definition at line 162 of file exception_utils.h.
|
explicit |
Definition at line 83 of file exception_utils.cpp.