From 904b3436b0b8ad2836a18f0929c18e5b47294025 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 22 Oct 2010 07:52:41 +0000 Subject: [PATCH] Correct detection of erroneous integer powers with negative exponent. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2181 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/ExpressionFunc.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/parser/ast/ExpressionFunc.java b/prism/src/parser/ast/ExpressionFunc.java index e5eecdb4..e34ae52d 100644 --- a/prism/src/parser/ast/ExpressionFunc.java +++ b/prism/src/parser/ast/ExpressionFunc.java @@ -244,7 +244,7 @@ public class ExpressionFunc extends Expression { double base = getOperand(0).evaluateDouble(ec); double exp = getOperand(1).evaluateDouble(ec); - // Not allowed to do e.g. pow(1,-2) because of typing (should be pow(1.0,-2) instead) + // Not allowed to do e.g. pow(2,-2) because of typing (should be pow(2.0,-2) instead) if (type instanceof TypeInt || (exp < 0)) throw new PrismLangException("Negative exponent not allowed for integer power", this); double res = Math.pow(base, exp);