From c70922c329343c43049210938f3a01953f1ce4a0 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Thu, 30 Jun 2016 14:57:00 +0000 Subject: [PATCH] GUISimulator, path formulae view: For P[ phi ] properties, display only the inner path formula phi git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11445 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- .../userinterface/simulator/GUISimPathFormulaeList.java | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/prism/src/userinterface/simulator/GUISimPathFormulaeList.java b/prism/src/userinterface/simulator/GUISimPathFormulaeList.java index 04ddb117..03c92fc3 100644 --- a/prism/src/userinterface/simulator/GUISimPathFormulaeList.java +++ b/prism/src/userinterface/simulator/GUISimPathFormulaeList.java @@ -82,7 +82,13 @@ public class GUISimPathFormulaeList extends JList { try { //String str = prop.getExpression().toString(); - String str = prop.toString(); + String str; + if (prop instanceof ExpressionProb) { + // for a P expression, only display the inner path formula + str = ((ExpressionProb)prop).getExpression().toString(); + } else { + str = prop.toString(); + } for (int i = 0; i < listModel.getSize(); i++) { if (listModel.getElementAt(i).toString().equals(str)) return;// if this already is in here, do not add it