UnCoVer (Using Coverability for Verification)
|
This exception is thrown if an object was about to be created, but the programm has run out of unique IDs. More...
#include <OutOfIDsException.h>
Public Member Functions | |
OutOfIDsException (string messageBody) | |
Generates a new OutOfIDsException with the given message as body. More... | |
virtual | ~OutOfIDsException () throw () |
Destroys the OutOfIDsException 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. | |
This exception is thrown if an object was about to be created, but the programm has run out of unique IDs.
OutOfIDsException | ( | string | messageBody | ) |
Generates a new OutOfIDsException 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.