UnCoVer (Using Coverability for Verification)
|
This exception is thrown if an object could not be initialized successfully. More...
#include <InitialisationException.h>
Public Member Functions | |
InitialisationException (std::string messageBody) | |
Generates a new InitialisationException with the given message as body. More... | |
virtual | ~InitialisationException () throw () |
Destroys the InitialisationException instance. | |
virtual const char * | what () const override throw () |
Returns a string representation of the exception. More... | |
Protected Attributes | |
string | exceptionMessage |
Stores the message of the exception. | |
Private Member Functions | |
InitialisationException () | |
Parameterless constructor is hidden. | |
This exception is thrown if an object could not be initialized successfully.
It is mostly used in conjunction with Scenarios.
InitialisationException | ( | std::string | messageBody | ) |
Generates a new InitialisationException with the given message as body.
messageBody | the exception message |
|
overridevirtualinherited |
Returns a string representation of the exception.
This contains the exceptions name and the actual message.