invalid_function_contract_pair_exceptiont Class Reference
Exception thrown for bad function/contract specification pairs passed on the CLI. More...
#include <dfcc.h>
Inheritance diagram for invalid_function_contract_pair_exceptiont: Collaboration diagram for invalid_function_contract_pair_exceptiont:Public Member Functions | |
| invalid_function_contract_pair_exceptiont (std::string reason, std::string correct_format="") | |
| 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 |
Public Attributes | |
| std::string | correct_format |
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
Exception thrown for bad function/contract specification pairs passed on the CLI.
Constructor & Destructor Documentation
◆ invalid_function_contract_pair_exceptiont()
|
explicit |
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.
Member Data Documentation
◆ correct_format
| std::string invalid_function_contract_pair_exceptiont::correct_format |
The documentation for this class was generated from the following files:
