From d6e222a4e11c21d6be77f6079a40c8e709cbf263 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 22 Jul 2016 10:29:44 +0000 Subject: [PATCH] RESULT handling for Property: Invert order for picking RESULT Now, the *first* RESULT that matches the model/property constants is returned, previously it was the *last*. Inverting the order seems to better match user expectations. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11548 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/parser/ast/Property.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java index 2f86ff6d..16ba7d7f 100644 --- a/prism/src/parser/ast/Property.java +++ b/prism/src/parser/ast/Property.java @@ -190,7 +190,9 @@ public class Property extends ASTElement // Found it... if (allMatch) { strExpected = matcher.group(3); - continue; + // we return the expected answer for the first RESULT that matches + // the constants + break; } } }