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