From 8ca362848c8b6d47c2045a2b706dfd96fae9fecd Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 May 2016 22:45:42 +0200
Subject: [PATCH] stubs for model and automatons

Former-commit-id: b4ce801dd3fc8783d20fb20bf614dead040f3af7
---
 src/storage/jani/Automaton.h |  7 +++++++
 src/storage/jani/Model.h     | 39 ++++++++++++++++++++++++++++++++++++
 2 files changed, 46 insertions(+)
 create mode 100644 src/storage/jani/Automaton.h
 create mode 100644 src/storage/jani/Model.h

diff --git a/src/storage/jani/Automaton.h b/src/storage/jani/Automaton.h
new file mode 100644
index 000000000..766b23eb3
--- /dev/null
+++ b/src/storage/jani/Automaton.h
@@ -0,0 +1,7 @@
+#pragma once
+
+namespace storm {
+    namespace jani {
+
+    }
+}
\ No newline at end of file
diff --git a/src/storage/jani/Model.h b/src/storage/jani/Model.h
new file mode 100644
index 000000000..74dda5762
--- /dev/null
+++ b/src/storage/jani/Model.h
@@ -0,0 +1,39 @@
+#pragma once
+
+#include "Automaton.h"
+
+namespace storm {
+    namespace jani {
+
+
+        class enum JaniModelType {UNSPECIFED = 0,
+                                    DTMC = 1,
+                                    CTMC = 2,
+                                    MDP = 3};
+
+        class JaniModel {
+            size_t janiVersion = 0;
+            JaniModelType modelType;
+            std::map<std::string, JaniAutomaton> automata;
+
+
+            bool checkValid(bool logdbg = true) {
+                if (janiVersion == 0) {
+                    if(logdbg) STORM_LOG_DEBUG("Jani version is unspecified");
+                    return false;
+                }
+
+                if(modelType == JaniModelType::UNSPECIFED) {
+                    if(logdbg) STORM_LOG_DEBUG("Model type is unspecified");
+                    return false;
+                }
+
+                if(automata.empty()) {
+                    if(logdbg) STORM_LOG_DEBUG("No automata specified");
+                }
+
+            }
+        };
+    }
+}
+