Storm
A Modern Probabilistic Model Checker
|
This class represents the base class of all exception classes. More...
#include <BaseException.h>
Public Member Functions | |
BaseException () | |
Creates a base exception without a message. | |
BaseException (BaseException const &other) | |
Creates a base expression from the given exception. | |
BaseException (char const *cstr) | |
Adds the given string to the message of this exception. | |
virtual | ~BaseException () |
Declare a destructor to counter the "looser throw specificator" error. | |
virtual const char * | what () const NOEXCEPT override |
Retrieves the message associated with this exception. | |
virtual std::string | type () const |
Returns the type of the exception. | |
virtual std::string | additionalInfo () const |
Returns additional information about the exception. | |
Protected Attributes | |
std::stringstream | stream |
This class represents the base class of all exception classes.
Definition at line 15 of file BaseException.h.
storm::exceptions::BaseException::BaseException | ( | ) |
Creates a base exception without a message.
Definition at line 5 of file BaseException.cpp.
storm::exceptions::BaseException::BaseException | ( | BaseException const & | other | ) |
Creates a base expression from the given exception.
other | The expression from which to copy-construct. |
Definition at line 9 of file BaseException.cpp.
storm::exceptions::BaseException::BaseException | ( | char const * | cstr | ) |
Adds the given string to the message of this exception.
Definition at line 13 of file BaseException.cpp.
|
virtual |
Declare a destructor to counter the "looser throw specificator" error.
Definition at line 17 of file BaseException.cpp.
|
virtual |
Returns additional information about the exception.
Definition at line 33 of file BaseException.cpp.
|
virtual |
Returns the type of the exception.
Definition at line 29 of file BaseException.cpp.
|
overridevirtual |
Retrieves the message associated with this exception.
Definition at line 21 of file BaseException.cpp.
|
protected |
Definition at line 58 of file BaseException.h.