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

This class serves as a superclass of all Exceptions. More...

#include <GenericMessageException.h>

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

Public Member Functions

virtual ~GenericMessageException () throw ()
 Destroys the GenericMessageException instance.
 
virtual const char * what () const override throw ()
 Returns a string representation of the exception. More...
 

Protected Member Functions

 GenericMessageException (string exceptionName, string messageBody)
 Creates a new GenericMessageException form the input text. More...
 

Protected Attributes

string exceptionMessage
 Stores the message of the exception.
 

Friends

std::ostream & operator<< (std::ostream &ost, GenericMessageException &data)
 Streams the string representation of the exception using the given ostream. More...
 

Detailed Description

This class serves as a superclass of all Exceptions.

It just provides a simple storage of a message.

Author
Jan Stückrath

Constructor & Destructor Documentation

GenericMessageException ( string  exceptionName,
string  messageBody 
)
protected

Creates a new GenericMessageException form the input text.

Parameters
exceptionNamethe name of the (derived) exception
messageBodythe actual error message

Member Function Documentation

const char * what ( ) const
throw (
)
overridevirtual

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

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  ost,
GenericMessageException data 
)
friend

Streams the string representation of the exception using the given ostream.

Parameters
ostan arbitrary ostream
datathe exception to be streamed
Returns
the given ostream ost

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