UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
RunException Member List

This is the complete list of members for RunException, including all inherited members.

exceptionMessageGenericMessageExceptionprotected
GenericMessageException(string exceptionName, string messageBody)GenericMessageExceptionprotected
RunException(string messageBody)RunException
what() const overrideGenericMessageExceptionvirtual
~GenericMessageException()GenericMessageExceptionvirtual
~RunException()RunExceptionvirtual