CBMC
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.

Definition at line 72 of file dfcc.h.

Constructor & Destructor Documentation

◆ invalid_function_contract_pair_exceptiont()

invalid_function_contract_pair_exceptiont::invalid_function_contract_pair_exceptiont ( std::string  reason,
std::string  correct_format = "" 
)
explicit

Definition at line 49 of file dfcc.cpp.

Member Function Documentation

◆ what()

std::string invalid_function_contract_pair_exceptiont::what ( ) const
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 58 of file dfcc.cpp.

Member Data Documentation

◆ correct_format

std::string invalid_function_contract_pair_exceptiont::correct_format

Definition at line 81 of file dfcc.h.


The documentation for this class was generated from the following files: