Thrown when we encounter an instruction, parameters to an instruction etc. More...

Inheritance diagram for unsupported_operation_exceptiont:

Collaboration diagram for unsupported_operation_exceptiont:

Public Member Functions
	unsupported_operation_exceptiont (std::string message)
	`message` is the unsupported operation causing this fault to occur. More...

Public Member Functions inherited from cprover_exception_baset
virtual std::string	what () const
	A human readable description of what went wrong. More...

virtual	~cprover_exception_baset ()=default

virtual std::string	what () const
	A human readable description of what went wrong. More...

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

Thrown when we encounter an instruction, parameters to an instruction etc.

in a goto program that has some theoretically valid semantics, but that we don't presently have any support for.

Definition at line 144 of file exception_utils.h.

Constructor & Destructor Documentation

unsupported_operation_exceptiont::unsupported_operation_exceptiont ( std::string message )

explicit

message is the unsupported operation causing this fault to occur.

Definition at line 72 of file exception_utils.cpp.

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