UnCoVer (Using Coverability for Verification)
|
This exception is thrown if an error occurred while importing or exporting XML documents. More...
#include <XMLioException.h>
Public Member Functions | |
XMLioException (string messageBody) | |
Generates a new XMLioException with the given message as body. More... | |
virtual | ~XMLioException () throw () |
Destroys the XMLioException instance. | |
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 an error occurred while importing or exporting XML documents.
An XMLioException may also encapsulate exceptions of the underlying XML framework used.
XMLioException | ( | string | messageBody | ) |
Generates a new XMLioException with the given message as body.
messageBody | the exception message |
|
overridevirtualinherited |
Returns a string representation of the exception.
This contains the exceptions name and the actual message.