Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::exceptions::BaseException Class Reference

This class represents the base class of all exception classes. More...

#include <BaseException.h>

Inheritance diagram for storm::exceptions::BaseException:
Collaboration diagram for storm::exceptions::BaseException:

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
 

Detailed Description

This class represents the base class of all exception classes.

Definition at line 15 of file BaseException.h.

Constructor & Destructor Documentation

◆ BaseException() [1/3]

storm::exceptions::BaseException::BaseException ( )

Creates a base exception without a message.

Definition at line 5 of file BaseException.cpp.

◆ BaseException() [2/3]

storm::exceptions::BaseException::BaseException ( BaseException const &  other)

Creates a base expression from the given exception.

Parameters
otherThe expression from which to copy-construct.

Definition at line 9 of file BaseException.cpp.

◆ BaseException() [3/3]

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.

◆ ~BaseException()

storm::exceptions::BaseException::~BaseException ( )
virtual

Declare a destructor to counter the "looser throw specificator" error.

Definition at line 17 of file BaseException.cpp.

Member Function Documentation

◆ additionalInfo()

std::string storm::exceptions::BaseException::additionalInfo ( ) const
virtual

Returns additional information about the exception.

Definition at line 33 of file BaseException.cpp.

◆ type()

std::string storm::exceptions::BaseException::type ( ) const
virtual

Returns the type of the exception.

Definition at line 29 of file BaseException.cpp.

◆ what()

const char * storm::exceptions::BaseException::what ( ) const
overridevirtual

Retrieves the message associated with this exception.

Returns
The message associated with this exception.

Definition at line 21 of file BaseException.cpp.

Member Data Documentation

◆ stream

std::stringstream storm::exceptions::BaseException::stream
protected

Definition at line 58 of file BaseException.h.


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