UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for InitialisationException, including all inherited members.
exceptionMessage | GenericMessageException | protected |
GenericMessageException(string exceptionName, string messageBody) | GenericMessageException | protected |
InitialisationException(std::string messageBody) | InitialisationException | |
InitialisationException() | InitialisationException | private |
what() const override | GenericMessageException | virtual |
~GenericMessageException() | GenericMessageException | virtual |
~InitialisationException() | InitialisationException | virtual |