From 021b51251216362974157506c6e4263bde451c6f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 9 Jun 2013 20:37:08 +0000 Subject: [PATCH] Bugfix: error in recent additions to S operator type checking. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6855 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/visitor/TypeCheck.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/parser/visitor/TypeCheck.java b/prism/src/parser/visitor/TypeCheck.java index fef61054..749ce745 100644 --- a/prism/src/parser/visitor/TypeCheck.java +++ b/prism/src/parser/visitor/TypeCheck.java @@ -524,7 +524,7 @@ public class TypeCheck extends ASTTraverse } // Check filter if (e.getFilter() != null && !(e.getFilter().getExpression().getType() instanceof TypeBool)) { - throw new PrismLangException("Type error: P operator filter is not a Boolean", e.getFilter().getExpression()); + throw new PrismLangException("Type error: S operator filter is not a Boolean", e.getFilter().getExpression()); } // Need to to do this type check here because some info has been lost when converted to ExpressionFilter if (e.getProb() != null && e.getFilter() != null) { @@ -533,7 +533,7 @@ public class TypeCheck extends ASTTraverse } } // Check argument - if (!(e.getExpression().getType() instanceof TypePathBool)) { + if (!(e.getExpression().getType() instanceof TypeBool)) { throw new PrismLangException("Type error: Contents of S operator is not a Boolean-valued expression", e.getExpression()); } // Set type