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
};
src
storm
exceptions
ExceptionMacros.h
Generated by
1.15.0