first version of the information collector for jani files

src/storm/storage/jani/traverser/InformationCollector.cpp

@@ -0,0 +1,20 @@
+#include "storm/storage/jani/traverser/InformationCollector.h"
+#include "storm/storage/jani/traverser/JaniTraverser.h"
+#include "storm/storage/jani/Model.h"
+
+namespace storm {
+    namespace jani {
+        namespace detail {
+
+        }
+
+        InformationObject collect(Model const& model) {
+            InformationObject result;
+            result.modelType = model.getModelType();
+            result.nrAutomata = model.getNumberOfAutomata();
+            result.nrEdges = model.getNumberOfEdges();
+            result.nrVariables = model.getTotalNumberOfNonTransientVariables();
+            return result;
+        }
+    }
+}

src/storm/storage/jani/traverser/InformationCollector.h

@@ -0,0 +1,20 @@
+#pragma once
+#include "storm/storage/jani/ModelType.h"
+
+namespace storm {
+    namespace jani {
+
+        class Model;
+
+        struct InformationObject {
+            storm::jani::ModelType modelType;
+            uint64_t nrVariables;
+            uint64_t nrAutomata;
+            uint64_t nrEdges;
+            uint64_t nrLocations;
+        };
+
+        InformationObject collect(Model const& model);
+    }
+}
+