From afbc4aff2a789a320c63da0b04cd6f55953af00f Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 20 May 2016 22:13:56 +0200
Subject: [PATCH] unsupported model exception added to exceptions

Former-commit-id: 607e9f42aec4c1196a788f89cf5cd38803b3f5c7
---
 src/exceptions/UnsupportedModelException.h | 14 ++++++++++++++
 src/parser/JaniParser.cpp                  |  4 ++++
 2 files changed, 18 insertions(+)
 create mode 100644 src/exceptions/UnsupportedModelException.h
 create mode 100644 src/parser/JaniParser.cpp

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.
+//
+