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.
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.
	cprover_exception_baset (std::string reason)
	This constructor is marked protected to ensure this class isn't used directly.
Protected Attributes inherited from cprover_exception_baset
std::string	reason
	The reason this exception was generated.

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	(	std::string	reason,
		std::string	correct_format = "" )

explicit

Definition at line 29 of file dfcc.cpp.

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.

Definition at line 38 of file dfcc.cpp.

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: