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