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

This exception is thrown if an object was about to be created, but the programm has run out of unique IDs. More...

#include <OutOfIDsException.h>

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

Public Member Functions

 OutOfIDsException (string messageBody)
 Generates a new OutOfIDsException with the given message as body. More...
 
virtual ~OutOfIDsException () throw ()
 Destroys the OutOfIDsException 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 object was about to be created, but the programm has run out of unique IDs.

Author
Jan Stückrath

Constructor & Destructor Documentation

OutOfIDsException ( string  messageBody)

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