#include "src/exceptions/BaseException.h"

namespace storm {
    namespace exceptions {
        BaseException::BaseException() : exception() {
            // Intentionally left empty.
        }
        
        BaseException::BaseException(BaseException const& other) : exception(other), stream(other.stream.str()) {
            // Intentionally left empty.
        }
        
        BaseException::BaseException(char const* cstr) {
            stream << cstr;
        }
        
        const char* BaseException::what() const throw() {
            std::string errorString = this->stream.str();
            char* result = new char[errorString.size() + 1];
            result[errorString.size()] = '\0';
            std::copy(errorString.begin(), errorString.end(), result);
            return result;
        }
    }
}