some minor extension

Former-commit-id: 21a5fa7be3

src/storage/jani/Model.cpp

@@ -7,8 +7,30 @@ namespace storm {
             // Intentionally left empty.
         }
 
-        bool Model::isValid(bool logDebug) const {
-            // TODO.
+        void Model::checkSupported() {
+            //TODO
+        }
+
+        bool Model::checkValidity(bool logdbg) {
+            // TODO switch to exception based return value.
+
+            if (version == 0) {
+                if(logdbg) STORM_LOG_DEBUG("Jani version is unspecified");
+                return false;
+            }
+
+            if(modelType == ModelType::UNDEFINED) {
+                if(logdbg) STORM_LOG_DEBUG("Model type is unspecified");
+                return false;
+            }
+
+            if(automata.empty()) {
+                if(logdbg) STORM_LOG_DEBUG("No automata specified");
+                return false;
+            }
+            // All checks passed.
+            return true;
+
         }
         
     }