From d4d4108886e38b40a67a4ed690a2e8252fa4b269 Mon Sep 17 00:00:00 2001 From: Vojtech Forejt Date: Mon, 5 Mar 2012 16:39:22 +0000 Subject: [PATCH] fixes ticket #5 For some reason the code handling named properties in "new experiment" was different from "verify" and "simulate". I aligned it with those two and now it works. But maybe there was some reason why there was the difference, hence I am leaving this commit message here for future generations :-) git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4778 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/properties/GUIMultiProperties.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism/src/userinterface/properties/GUIMultiProperties.java b/prism/src/userinterface/properties/GUIMultiProperties.java index 95b463e0..f4f28186 100644 --- a/prism/src/userinterface/properties/GUIMultiProperties.java +++ b/prism/src/userinterface/properties/GUIMultiProperties.java @@ -373,17 +373,17 @@ public class GUIMultiProperties extends GUIPlugin implements MouseListener, List Type type; try { - //get referenced named properties + /*//get referenced named properties String namedString = ""; //Add named properties for (GUIProperty namedProp : this.propList.getAllNamedProperties()) { if (gp.getReferencedNames().contains(namedProp.getName())) { namedString += "\"" + namedProp.getName() + "\" : " + namedProp.getPropString() + "\n"; } - } + }*/ // parse property to be used for experiment - parsedProperties = getPrism().parsePropertiesString(parsedModel, getLabelsString() + "\n" + getConstantsString() + "\n" + namedString + gp.getPropString()); + parsedProperties = getPrism().parsePropertiesString(parsedModel, getLabelsString() + "\n" + getConstantsString() + "\n" + propList.getValidSelectedAndReferencedString()); if (parsedProperties.getNumProperties() <= 0) { error("There are no properties selected"); return;