invalid_source_file_exceptiont Class Reference
Thrown when we can't handle something in an input source file. More...
#include <exception_utils.h>
Inheritance diagram for invalid_source_file_exceptiont: Collaboration diagram for invalid_source_file_exceptiont:Public Member Functions | |
| invalid_source_file_exceptiont (std::string reason) | |
| 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 |
Private Attributes | |
| std::string | reason |
Detailed Description
Thrown when we can't handle something in an input source file.
For example, if we get C source code that is not syntactically valid or that has type errors.
Definition at line 170 of file exception_utils.h.
Constructor & Destructor Documentation
◆ invalid_source_file_exceptiont()
|
explicit |
Definition at line 98 of file exception_utils.cpp.
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.
Implements cprover_exception_baset.
Definition at line 104 of file exception_utils.cpp.
Member Data Documentation
◆ reason
|
private |
Definition at line 177 of file exception_utils.h.
The documentation for this class was generated from the following files:
- util/exception_utils.h
- util/exception_utils.cpp
