dedicated error messages for clock and continuous variables

Former-commit-id: 901a6b20ef [formerly 45bc2fb66b]
Former-commit-id: cf40a01a53

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 << ")");
                 }
             }