From 20cd2d24ca91a4c33a0c15b3ec8c215a197b8796 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 10 Aug 2016 13:41:11 +0200
Subject: [PATCH] dedicated error messages for clock and continuous variables
Former-commit-id: 901a6b20ef51fd9377214fc9ee3752971d99cf5e [formerly 45bc2fb66b9528348f154b6354f3f657a8913705]
Former-commit-id: cf40a01a5396b4ada55ee7351442431dd6732aff
---
src/parser/JaniParser.cpp | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/parser/JaniParser.cpp b/src/parser/JaniParser.cpp
index 25e3d8a1b..2417d03ee 100644
--- a/src/parser/JaniParser.cpp
+++ b/src/parser/JaniParser.cpp
@@ -278,8 +278,11 @@ namespace storm {
return std::make_shared<storm::jani::UnboundedIntegerVariable>(name, expressionManager->declareIntegerVariable(exprManagerName), initVal.get(), transientVar);
}
return std::make_shared<storm::jani::UnboundedIntegerVariable>(name, expressionManager->declareIntegerVariable(exprManagerName), transientVar);
+ } else if(variableStructure.at("type") == "clock") {
+ STORM_LOG_THROW(false, storm::exceptions::InvalidJaniException, "Unsupported type 'clock' for variable '" << name << "' (scope: " << scopeDescription << ")");
+ } else if(variableStructure.at("type") == "continuous") {
+ STORM_LOG_THROW(false, storm::exceptions::InvalidJaniException, "Unsupported type 'continuous' for variable ''" << name << "' (scope: " << scopeDescription << ")");
} else {
- // TODO clocks.
STORM_LOG_THROW(false, storm::exceptions::InvalidJaniException, "Unknown type description " << variableStructure.at("type").dump() << " for variable '" << name << "' (scope: " << scopeDescription << ")");
}
}