From ebfd8d8300882144b12cda99aab287df9f9f83a7 Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Fri, 24 Nov 2006 16:55:00 +0000 Subject: [PATCH] Undid the variables in quotes (in simulator columns) for more consistency with the model syntax, added a default label for defined constants in the information panel (being "None" if empty). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@171 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/simulator/GUISimulator.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 15b126fa..9cdb7f5f 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -396,7 +396,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect totalRewardLabel.setText(getTotalRewardLabelString()); stateRewardsLabel.setText(getTotalStateRewardLabelString()); transitionRewardsLabel.setText(getTotalTransitionRewardLabelString()); - definedConstantsLabel.setText(uCon.getDefinedConstantsString()); + definedConstantsLabel.setText((uCon.getDefinedConstantsString().length() == 0) ? "None" : uCon.getDefinedConstantsString()); doEnables(); pathTableModel.restartPathTable(); @@ -2177,7 +2177,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect public String toString() { - return "\"" + name + "\""; + return name; } public boolean equals(Object o)