UnCoVer (Using Coverability for Verification)
|
This exception is thrown if a function of an object was called, but the object was not in a valid state to call this function. More...
#include <InvalidStateException.h>
Public Member Functions | |
InvalidStateException (string messageBody) | |
Creates a new InvalidStateException with the specified string as message. More... | |
virtual | ~InvalidStateException () throw () |
Destroys the current instance of this InvalidStateException. | |
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 a function of an object was called, but the object was not in a valid state to call this function.
This can happen for instance if a Timer object was not started before calling a the method to retrieve its elapsed time.
InvalidStateException | ( | string | messageBody | ) |
Creates a new InvalidStateException with the specified string as message.
messageBody | the message of the exception |
|
overridevirtualinherited |
Returns a string representation of the exception.
This contains the exceptions name and the actual message.