UnCoVer (Using Coverability for Verification)
|
This class serves as a superclass of all Exceptions. More...
#include <GenericMessageException.h>
Public Member Functions | |
virtual | ~GenericMessageException () throw () |
Destroys the GenericMessageException instance. | |
virtual const char * | what () const override throw () |
Returns a string representation of the exception. More... | |
Protected Member Functions | |
GenericMessageException (string exceptionName, string messageBody) | |
Creates a new GenericMessageException form the input text. More... | |
Protected Attributes | |
string | exceptionMessage |
Stores the message of the exception. | |
Friends | |
std::ostream & | operator<< (std::ostream &ost, GenericMessageException &data) |
Streams the string representation of the exception using the given ostream. More... | |
This class serves as a superclass of all Exceptions.
It just provides a simple storage of a message.
|
protected |
Creates a new GenericMessageException form the input text.
exceptionName | the name of the (derived) exception |
messageBody | the actual error message |
|
overridevirtual |
Returns a string representation of the exception.
This contains the exceptions name and the actual message.
|
friend |
Streams the string representation of the exception using the given ostream.
ost | an arbitrary ostream |
data | the exception to be streamed |