Inheritance diagram for user_input_error_exceptiont:

Collaboration diagram for user_input_error_exceptiont:

Public Member Functions
	user_input_error_exceptiont (std::string message)
Public Member Functions inherited from cprover_exception_baset
virtual std::string	what () const
	A human readable description of what went wrong.
virtual	~cprover_exception_baset ()=default
virtual std::string	what () const
	A human readable description of what went wrong.
virtual	~cprover_exception_baset ()=default
	cprover_exception_baset ()=default
	cprover_exception_baset (cprover_exception_baset &&)=default
	cprover_exception_baset (const cprover_exception_baset &src)
std::string	reason () const

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.
std::ostringstream	_reason
	The reason this exception was generated.

Detailed Description

Definition at line 22 of file slice_global_inits.h.

Constructor & Destructor Documentation

user_input_error_exceptiont::user_input_error_exceptiont ( std::string message )

inlineexplicit

Definition at line 25 of file slice_global_inits.h.

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