base::FatalException Class Reference

Fatal exception: something fatal (and forbidden) has happened. More...

#include <FatalException.h>

List of all members.

Public Member Functions
	FatalException (const char *whichone) throw ()
	Constructor:.
virtual const char *	what () const throw ()
	Overrides exception::what().
Private Attributes
const char *	message

---

Detailed Description

Fatal exception: something fatal (and forbidden) has happened.

---

Constructor & Destructor Documentation

base::FatalException::FatalException (  const char *  whichone  )  throw () [inline]

Constructor:. Parameters: whichone,:  which fatal event has happened.

---

Member Function Documentation

const char * base::FatalException::what (   )  const throw () [virtual]

Overrides exception::what().

---

Member Data Documentation

const char* base::FatalException::message [private]

---

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

• /home/adavid/UPPAAL/trunk/server/modules/include/base/FatalException.h
• /home/adavid/UPPAAL/trunk/server/modules/base/FatalException.cpp

---