Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ExceptionMacros.h
Go to the documentation of this file.
1#pragma once
2
7#define STORM_NEW_EXCEPTION(exception_name) \
8 class exception_name : public BaseException { \
9 public: \
10 exception_name() : BaseException() {} \
11 exception_name(char const* cstr) : BaseException(cstr) {} \
12 exception_name(exception_name const& cp) : BaseException(cp) {} \
13 ~exception_name() throw() {} \
14 virtual std::string type() const override { \
15 return #exception_name; \
16 } \
17 template<typename T> \
18 exception_name& operator<<(T const& var) { \
19 this->stream << var; \
20 return *this; \
21 } \
22 };