BaseException.h

Go to the documentation of this file.

#ifndef STORM_EXCEPTIONS_BASEEXCEPTION_H_
#define STORM_EXCEPTIONS_BASEEXCEPTION_H_
 
#include <exception>
#include <sstream>
 
namespace storm {
namespace exceptions {
 
class BaseException : public std::exception {
   public:
    BaseException();
 
    BaseException(BaseException const& other);
 
    BaseException(char const* cstr);
 
    virtual ~BaseException();
 
    virtual const char* what() const noexcept override;
 
    virtual std::string type() const;
 
    virtual std::string additionalInfo() const;
 
   protected:
    // This stream stores the message of this exception.
    std::stringstream stream;
 
   private:
    // storage for the string backing the C string returned by what()
    mutable std::string errorString;
};
 
}  // namespace exceptions
}  // namespace storm
 
#endif  // STORM_EXCEPTIONS_BASEEXCEPTION_H_