UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Protected Attributes | Private Member Functions | List of all members
InitialisationException Class Reference

This exception is thrown if an object could not be initialized successfully. More...

#include <InitialisationException.h>

Inheritance diagram for InitialisationException:
Inheritance graph
[legend]
Collaboration diagram for InitialisationException:
Collaboration graph
[legend]

Public Member Functions

 InitialisationException (std::string messageBody)
 Generates a new InitialisationException with the given message as body. More...
 
virtual ~InitialisationException () throw ()
 Destroys the InitialisationException 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.
 

Private Member Functions

 InitialisationException ()
 Parameterless constructor is hidden.
 

Detailed Description

This exception is thrown if an object could not be initialized successfully.

It is mostly used in conjunction with Scenarios.

Author
Jan Stückrath
See Also
basic_types::Scenario

Constructor & Destructor Documentation

InitialisationException ( std::string  messageBody)

Generates a new InitialisationException with the given message as body.

Parameters
messageBodythe exception message

Member Function Documentation

const char * what ( ) const
throw (
)
overridevirtualinherited

Returns a string representation of the exception.

This contains the exceptions name and the actual message.

Returns
a string representation (as const char*) of the exception

The documentation for this class was generated from the following files: