From 91f8ecf17c3799c5e45bf90f3ec0ed33d9627801 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Mon, 23 May 2016 14:46:01 +0200
Subject: [PATCH] Small class for actions

Former-commit-id: 082f5ddddce25597ad9d49d339f000007ca2115e
---
 src/storage/jani/Action.cpp | 14 ++++++++++++++
 src/storage/jani/Action.h   | 25 +++++++++++++++++++++++++
 2 files changed, 39 insertions(+)
 create mode 100644 src/storage/jani/Action.cpp
 create mode 100644 src/storage/jani/Action.h

diff --git a/src/storage/jani/Action.cpp b/src/storage/jani/Action.cpp
new file mode 100644
index 000000000..818a11a84
--- /dev/null
+++ b/src/storage/jani/Action.cpp
@@ -0,0 +1,14 @@
+#include "src/storage/jani/Action.h"
+
+namespace storm {
+    namespace jani {
+        Action::Action(std::string const& name) : name(name) {
+            // Intentionally left empty.
+        }
+
+        std::string const& Action::getName() const {
+            return this->name;
+        }
+
+    }
+}
\ No newline at end of file
diff --git a/src/storage/jani/Action.h b/src/storage/jani/Action.h
new file mode 100644
index 000000000..6e6d207f8
--- /dev/null
+++ b/src/storage/jani/Action.h
@@ -0,0 +1,25 @@
+#include <string>
+
+#pragma once
+namespace storm {
+    namespace jani {
+        class Action {
+        public:
+            /**
+             * Creates an action
+             * @param name name of the action
+             */
+            Action(std::string const& name);
+
+            /**
+             * Returns the name of the location.
+             */
+            std::string const& getName() const;
+
+        private:
+            std::string name;
+
+        };
+
+    }
+}
\ No newline at end of file