Thrown when user-provided input cannot be processed. More...

Inheritance diagram for invalid_input_exceptiont:

Collaboration diagram for invalid_input_exceptiont:

Public Member Functions
	invalid_input_exceptiont (std::string reason)

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

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

Thrown when user-provided input cannot be processed.

Use invalid_source_file_exceptiont when the precise location of erroneous input is known.

Definition at line 162 of file exception_utils.h.

Constructor & Destructor Documentation

invalid_input_exceptiont::invalid_input_exceptiont ( std::string reason )

explicit

Definition at line 83 of file exception_utils.cpp.

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