From 4d9d778515f9228699b4f4f692ed354e228a3ba0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 17 Dec 2012 14:53:20 +0000 Subject: [PATCH] Comment tweak git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6221 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/visitor/SemanticCheck.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/src/parser/visitor/SemanticCheck.java b/prism/src/parser/visitor/SemanticCheck.java index 1150f104..e42d2a72 100644 --- a/prism/src/parser/visitor/SemanticCheck.java +++ b/prism/src/parser/visitor/SemanticCheck.java @@ -368,7 +368,8 @@ public class SemanticCheck extends ASTTraverse if (op == ExpressionTemporal.P_X && (operand1 != null || operand2 == null || lBound != null || uBound != null)) { throw new PrismLangException("Cannot attach bounds to " + e.getOperatorSymbol() + " operator", e); } - if (op == ExpressionTemporal.R_C && (operand1 != null || operand2 != null || lBound != null)) { //NB we allow uBound to be null in multi-objective + if (op == ExpressionTemporal.R_C && (operand1 != null || operand2 != null || lBound != null)) { + // NB: upper bound is optional (e.g. multi-objective allows R...[C] operator) throw new PrismLangException("Badly formed " + e.getOperatorSymbol() + " operator", e); } if (op == ExpressionTemporal.R_I && (operand1 != null || operand2 != null || lBound != null || uBound == null)) {