From a50a15c596cc9b1ca3494dbcc87af808dc480cdf Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 17 Sep 2014 08:49:26 +0000 Subject: [PATCH] Comments. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9204 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/ASTElement.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/prism/src/parser/ast/ASTElement.java b/prism/src/parser/ast/ASTElement.java index d45c9638..a35e3104 100644 --- a/prism/src/parser/ast/ASTElement.java +++ b/prism/src/parser/ast/ASTElement.java @@ -473,7 +473,8 @@ public abstract class ASTElement } /** - * Evaluate partially: replace some constants and variables with actual values. + * Evaluate partially: replace some constants and variables with actual values. + * Warning: Unlike evaluate(), evaluatePartially() methods modify (and return) the expression. */ public ASTElement evaluatePartially(EvaluateContext ec) throws PrismLangException { @@ -484,6 +485,7 @@ public abstract class ASTElement /** * Evaluate partially: replace some constants and variables with actual values. * Constants/variables are specified as Values objects; either can be left null. + * Warning: Unlike evaluate(), evaluatePartially() methods modify (and return) the expression. */ public ASTElement evaluatePartially(Values constantValues, Values varValues) throws PrismLangException { @@ -494,6 +496,7 @@ public abstract class ASTElement * Evaluate partially: replace some variables with actual values. * Variables are specified as a State object, indexed over a subset of all variables, * and a mapping from indices (over all variables) to this subset (-1 if not in subset). + * Warning: Unlike evaluate(), evaluatePartially() methods modify (and return) the expression. */ public ASTElement evaluatePartially(State substate, int[] varMap) throws PrismLangException {