From e90e072eeee590375f1f94d6c04ffdd772b64bac Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 3 Jul 2015 08:22:30 +0000 Subject: [PATCH] Error message typos. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10167 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/visitor/SemanticCheck.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/parser/visitor/SemanticCheck.java b/prism/src/parser/visitor/SemanticCheck.java index c1399e7d..fd84296a 100644 --- a/prism/src/parser/visitor/SemanticCheck.java +++ b/prism/src/parser/visitor/SemanticCheck.java @@ -452,7 +452,7 @@ public class SemanticCheck extends ASTTraverse public void visitPost(ExpressionReward e) throws PrismLangException { if (e.getModifier() != null) { - throw new PrismLangException("Modifier \"" + e.getModifier() + "\" not supported for P operator"); + throw new PrismLangException("Modifier \"" + e.getModifier() + "\" not supported for R operator"); } if (e.getRewardStructIndex() != null) { if (e.getRewardStructIndex() instanceof Expression) { @@ -488,7 +488,7 @@ public class SemanticCheck extends ASTTraverse public void visitPost(ExpressionSS e) throws PrismLangException { if (e.getModifier() != null) { - throw new PrismLangException("Modifier \"" + e.getModifier() + "\" not supported for P operator"); + throw new PrismLangException("Modifier \"" + e.getModifier() + "\" not supported for S operator"); } if (e.getProb() != null && !e.getProb().isConstant()) { throw new PrismLangException("S operator probability bound is not constant", e.getProb());