From 6896a4ca518d75ac531b26c51bdb524dee76282d Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 8 Oct 2015 14:19:42 +0200
Subject: [PATCH] stubs for gspn files

Former-commit-id: 3258813366927e3eedd3ad1d584487c3b68e7d2d
---
 src/builder/ExplicitGspnModelBuilder.h |  8 ++++++++
 src/parser/GspnParser.h                |  8 ++++++++
 src/storage/gspn/GSPN.h                |  8 ++++++++
 src/storm-gspn.cpp                     | 17 +++++++++++++++++
 4 files changed, 41 insertions(+)
 create mode 100644 src/builder/ExplicitGspnModelBuilder.h
 create mode 100644 src/parser/GspnParser.h
 create mode 100644 src/storage/gspn/GSPN.h
 create mode 100644 src/storm-gspn.cpp

diff --git a/src/builder/ExplicitGspnModelBuilder.h b/src/builder/ExplicitGspnModelBuilder.h
new file mode 100644
index 000000000..98613e681
--- /dev/null
+++ b/src/builder/ExplicitGspnModelBuilder.h
@@ -0,0 +1,8 @@
+//
+// Created by Sebastian Junges on 08/10/15.
+//
+
+#ifndef STORM_EXPLICITGSPNMODELBUILDER_H
+#define STORM_EXPLICITGSPNMODELBUILDER_H
+
+#endif //STORM_EXPLICITGSPNMODELBUILDER_H
diff --git a/src/parser/GspnParser.h b/src/parser/GspnParser.h
new file mode 100644
index 000000000..570294823
--- /dev/null
+++ b/src/parser/GspnParser.h
@@ -0,0 +1,8 @@
+//
+// Created by Sebastian Junges on 08/10/15.
+//
+
+#ifndef STORM_GSPNPARSER_H
+#define STORM_GSPNPARSER_H
+
+#endif //STORM_GSPNPARSER_H
diff --git a/src/storage/gspn/GSPN.h b/src/storage/gspn/GSPN.h
new file mode 100644
index 000000000..fdaa092e0
--- /dev/null
+++ b/src/storage/gspn/GSPN.h
@@ -0,0 +1,8 @@
+//
+// Created by Sebastian Junges on 08/10/15.
+//
+
+#ifndef STORM_GSPN_H
+#define STORM_GSPN_H
+
+#endif //STORM_GSPN_H
diff --git a/src/storm-gspn.cpp b/src/storm-gspn.cpp
new file mode 100644
index 000000000..3de0a9d0e
--- /dev/null
+++ b/src/storm-gspn.cpp
@@ -0,0 +1,17 @@
+int main(const int argc, const char** argv) {
+    try {
+        storm::utility::setUp();
+
+        // Parse GSPN from xml
+
+        // Construct MA
+
+        // All operations have now been performed, so we clean up everything and terminate.
+        storm::utility::cleanUp();
+        return 0;
+    } catch (storm::exceptions::BaseException const& exception) {
+        STORM_LOG_ERROR("An exception caused StoRM to terminate. The message of the exception is: " << exception.what());
+    } catch (std::exception const& exception) {
+        STORM_LOG_ERROR("An unexpected exception occurred and caused StoRM to terminate. The message of this exception is: " << exception.what());
+    }
+}