BaseException.h

Go to the documentation of this file.

#pragma once
 
#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