give an error message if a distribution occurs in an expression

Former-commit-id: 533bfe34bb [formerly 09d6896e9c]
Former-commit-id: a1fa9e7ced

src/parser/JaniParser.cpp

@@ -318,6 +318,9 @@ namespace storm {
                 std::string ident = expressionStructure.get<std::string>();
                 return storm::expressions::Expression(getVariableOrConstantExpression(ident, scopeDescription, localVars));
             } else if(expressionStructure.is_object()) {
+                if(expressionStructure.count("distribution") == 1) {
+                    STORM_LOG_THROW(false, storm::exceptions::InvalidJaniException, "Distributions are not supported by storm expressions, cannot import " << expressionStructure.dump() << " in  " << scopeDescription << ".");
+                }
                 if(expressionStructure.count("op") == 1) {
                     std::string opstring = getString(expressionStructure.at("op"), scopeDescription);
                     std::vector<storm::expressions::Expression> arguments = {};