From 420d744e432e6a0ce519e78f2d363ce98801f14b Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Thu, 25 Oct 2007 10:02:52 +0000 Subject: [PATCH] Fixed NullPointer in GUISimulator.SimulationView git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@473 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/simulator/GUISimulator.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/prism/src/userinterface/simulator/GUISimulator.java b/prism/src/userinterface/simulator/GUISimulator.java index 4d587c53..3a5c37a6 100644 --- a/prism/src/userinterface/simulator/GUISimulator.java +++ b/prism/src/userinterface/simulator/GUISimulator.java @@ -2718,8 +2718,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect for (Object rewobj : rewards) { RewardStructure rew = (RewardStructure)rewobj; - - if (rew.isStateEmpty() == !hasStates && rew.isTransitionEmpty() == !hasTrans && (rew.getName() == null && rewardName.equals("") || rew.getName().equals(rewardName))) + if (rew.isStateEmpty() == !hasStates && rew.isTransitionEmpty() == !hasTrans && ((rew.getName() == null && rewardName.equals("")) || (rew.getName() != null && rew.getName().equals(rewardName)))) { allrew.remove(rew); foundReward = true;