From 21eae01cfb5feecedec7996cefb7e024a8b0d6f1 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 26 Jul 2012 09:24:31 +0000 Subject: [PATCH] GUI bug fix (crash caused by model tree not displaying clocks, spotted by pk123 on forum). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@5476 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/model/GUIMultiModelTree.java | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/prism/src/userinterface/model/GUIMultiModelTree.java b/prism/src/userinterface/model/GUIMultiModelTree.java index c28bf03a..fc727e83 100644 --- a/prism/src/userinterface/model/GUIMultiModelTree.java +++ b/prism/src/userinterface/model/GUIMultiModelTree.java @@ -847,6 +847,13 @@ public class GUIMultiModelTree extends JPanel implements MouseListener inTreeNode.add(newVariable); cIndices[j] = getVarTreeIndexOf(notTreeDec, inTreeNode); } + else if(notTreeDec.getType() instanceof TypeClock) + { + DeclarationClock declClk = (DeclarationClock)notTreeDec.getDeclType(); + VarNode newVariable = new VarNode(notTreeDec.getName(), parsedModel.getSystemDefn() == null ? notTreeDec.getStartOrDefault() : null, Expression.Int(0), null, false); + inTreeNode.add(newVariable); + cIndices[j] = getVarTreeIndexOf(notTreeDec, inTreeNode); + } } theModel.nodesWereInserted(inTreeNode, cIndices); @@ -899,6 +906,11 @@ public class GUIMultiModelTree extends JPanel implements MouseListener BoolNode newVariable = new BoolNode(aDec.getName(), parsedModel.getSystemDefn() == null ? aDec.getStartOrDefault() : null, false); newNode.add(newVariable); } + if(aDec.getType() instanceof TypeClock) + { + VarNode newVariable = new VarNode(aDec.getName(), parsedModel.getSystemDefn() == null ? aDec.getStartOrDefault() : null, Expression.Int(0), null, false); + newNode.add(newVariable); + } } modules.addModule(newNode); int index = modules.getIndex(newNode);