diff --git a/src/exceptions/UnsupportedModelException.h b/src/exceptions/UnsupportedModelException.h new file mode 100644 index 000000000..d2794fbb0 --- /dev/null +++ b/src/exceptions/UnsupportedModelException.h @@ -0,0 +1,14 @@ +#ifndef STORM_UNSUPPORTEDMODELEXCEPTION_H +#define STORM_UNSUPPORTEDMODELEXCEPTION_H + +#include "src/exceptions/BaseException.h" +#include "src/exceptions/ExceptionMacros.h" + +namespace storm { + namespace exceptions { + + STORM_NEW_EXCEPTION(UnsupportedModelException) + + } // namespace exceptions +} // namespace storm +#endif //STORM_UNSUPPORTEDMODELEXCEPTION_H diff --git a/src/parser/JaniParser.cpp b/src/parser/JaniParser.cpp new file mode 100644 index 000000000..ae82bc147 --- /dev/null +++ b/src/parser/JaniParser.cpp @@ -0,0 +1,4 @@ +// +// Created by Sebastian Junges on 20/05/16. +// +