From e27cf12c1482578a43c4ffb0e1c5ee650d03473d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Feb 2012 22:29:02 +0000
Subject: [PATCH] GUI fix: update model info display for explicit engine.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4591 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 .../model/GUIMultiModelHandler.java           | 25 ++++++++++++-------
 1 file changed, 16 insertions(+), 9 deletions(-)

diff --git a/prism/src/userinterface/model/GUIMultiModelHandler.java b/prism/src/userinterface/model/GUIMultiModelHandler.java
index 4181e624..9ee8ca84 100644
--- a/prism/src/userinterface/model/GUIMultiModelHandler.java
+++ b/prism/src/userinterface/model/GUIMultiModelHandler.java
@@ -868,16 +868,23 @@ public class GUIMultiModelHandler extends JPanel implements PrismModelListener
 
 	private void updateBuiltModelDisplay()
 	{
-		Model m = prism.getBuiltModel();
-		// TODO: explicit case
-		if (m != null) {
-			builtNoStates.setText("" + m.getNumStatesString());
-			builtNoInitStates.setText("" + m.getNumStartStates());
-			builtNoTransitions.setText("" + m.getNumTransitionsString());
+		builtNoStates.setText("?");
+		builtNoInitStates.setText("?");
+		builtNoTransitions.setText("?");
+		if (!prism.getExplicit()) {
+			Model m = prism.getBuiltModel();
+			if (m != null) {
+				builtNoStates.setText("" + m.getNumStatesString());
+				builtNoInitStates.setText("" + m.getNumStartStates());
+				builtNoTransitions.setText("" + m.getNumTransitionsString());
+			}
 		} else {
-			builtNoStates.setText("?");
-			builtNoInitStates.setText("?");
-			builtNoTransitions.setText("?");
+			explicit.Model m = prism.getBuiltModelExplicit();
+			if (m != null) {
+				builtNoStates.setText("" + m.getNumStates());
+				builtNoInitStates.setText("" + m.getNumInitialStates());
+				builtNoTransitions.setText("" + m.getNumTransitions());
+			}
 		}
 	}