cprover
unsupported_operation_exceptiont Class Reference

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

#include <exception_utils.h>

+ Inheritance diagram for unsupported_operation_exceptiont:
+ Collaboration diagram for unsupported_operation_exceptiont:

Public Member Functions

 unsupported_operation_exceptiont (std::string message)
 
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
 

Private Attributes

std::string message
 The unsupported operation causing this fault to occur. 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 143 of file exception_utils.h.

Constructor & Destructor Documentation

◆ unsupported_operation_exceptiont()

unsupported_operation_exceptiont::unsupported_operation_exceptiont ( std::string  message)
explicit

Definition at line 77 of file exception_utils.cpp.

Member Function Documentation

◆ what()

std::string unsupported_operation_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.

Implements cprover_exception_baset.

Definition at line 83 of file exception_utils.cpp.

Member Data Documentation

◆ message

std::string unsupported_operation_exceptiont::message
private

The unsupported operation causing this fault to occur.

Definition at line 151 of file exception_utils.h.


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