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

This exception is thrown if an algorithm or Scenario was executed, but encountered and error. More...

#include <RunException.h>

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

Public Member Functions

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

Detailed Description

This exception is thrown if an algorithm or Scenario was executed, but encountered and error.

Author
Jan Stückrath
See Also
basic_types::Scenario

Constructor & Destructor Documentation

RunException ( string  messageBody)

Generates a new RunException 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: