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(name, expressionManager->declareIntegerVariable(exprManagerName), initVal.get(), transientVar); } return std::make_shared(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 << ")"); } }