Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
ExceptionMacros.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define STORM_NEW_EXCEPTION(exception_name)
 Macro to generate descendant exception classes.
 

Macro Definition Documentation

◆ STORM_NEW_EXCEPTION

#define STORM_NEW_EXCEPTION (   exception_name)
Value:
class exception_name : public BaseException { \
public: \
exception_name() : BaseException() {} \
exception_name(char const* cstr) : BaseException(cstr) {} \
exception_name(exception_name const& cp) : BaseException(cp) {} \
~exception_name() throw() {} \
virtual std::string type() const override { \
return #exception_name; \
} \
template<typename T> \
exception_name& operator<<(T const& var) { \
this->stream << var; \
return *this; \
} \
};
std::ostream & operator<<(std::ostream &out, Counterexample const &counterexample)

Macro to generate descendant exception classes.

As all classes are nearly the same, this makes changing common features much easier.

Definition at line 8 of file ExceptionMacros.h.