From d80789529899c94ea7e22ffcc9056820154dba40 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 23 Sep 2016 16:06:26 +0200
Subject: [PATCH] dots are KUCHEN now

Former-commit-id: f1db3b2fa54f88c91ea9565fd882d8a532cf08a2 [formerly d72a7526e378adecd613a84d45d5f66206cbca1c]
Former-commit-id: 6989d717fe07a8a84ec56f1669156e650b57670d
---
 src/parser/JaniParser.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/parser/JaniParser.cpp b/src/parser/JaniParser.cpp
index 35f6b21f7..be574a421 100644
--- a/src/parser/JaniParser.cpp
+++ b/src/parser/JaniParser.cpp
@@ -26,6 +26,7 @@ namespace storm {
         const bool JaniParser::defaultBooleanInitialValue = false;
         const double JaniParser::defaultRationalInitialValue = 0.0;
         const int64_t JaniParser::defaultIntegerInitialValue = 0;
+        const std::string VARIABLE_AUTOMATON_DELIMITER = "KUCHEN";
         const std::set<std::string> JaniParser::unsupportedOpstrings({"sin", "cos", "tan", "cot", "sec", "csc", "asin", "acos", "atan", "acot", "asec", "acsc",
                                                          "sinh", "cosh", "tanh", "coth", "sech", "csch", "asinh", "acosh", "atanh", "asinh", "acosh"});
 
@@ -186,7 +187,7 @@ namespace storm {
 
         std::shared_ptr<storm::jani::Variable> JaniParser::parseVariable(json const &variableStructure, std::string const& scopeDescription, bool prefWithScope) {
             STORM_LOG_THROW(variableStructure.count("name") == 1, storm::exceptions::InvalidJaniException, "Variable (scope: " + scopeDescription + ") must have a name");
-            std::string pref = prefWithScope  ? scopeDescription + "." : "";
+            std::string pref = prefWithScope  ? scopeDescription + VARIABLE_AUTOMATON_DELIMITER : "";
             std::string name = getString(variableStructure.at("name"), "variable-name in " + scopeDescription + "-scope");
             // TODO check existance of name.
             // TODO store prefix in variable.