From 41f4b886cebe5b97d3ddda9979c31adef9da3d55 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 12 Jul 2016 10:09:30 +0000 Subject: [PATCH] Minor code tidy git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11507 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/ModulesFileModelGenerator.java | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/prism/src/simulator/ModulesFileModelGenerator.java b/prism/src/simulator/ModulesFileModelGenerator.java index 91c9a5b7..699cac9e 100644 --- a/prism/src/simulator/ModulesFileModelGenerator.java +++ b/prism/src/simulator/ModulesFileModelGenerator.java @@ -268,17 +268,17 @@ public class ModulesFileModelGenerator extends DefaultModelGenerator } @Override - public String getTransitionAction(int index, int offset) throws PrismException + public String getTransitionAction(int index) throws PrismException { - TransitionList transitions = getTransitionList(); - int a = transitions.getTransitionModuleOrActionIndex(transitions.getTotalIndexOfTransition(index, offset)); + int a = getTransitionList().getTransitionModuleOrActionIndex(index); return a < 0 ? null : modulesFile.getSynch(a - 1); } - //@Override - public String getTransitionAction(int index) throws PrismException + @Override + public String getTransitionAction(int index, int offset) throws PrismException { - int a = getTransitionList().getTransitionModuleOrActionIndex(index); + TransitionList transitions = getTransitionList(); + int a = transitions.getTransitionModuleOrActionIndex(transitions.getTotalIndexOfTransition(index, offset)); return a < 0 ? null : modulesFile.getSynch(a - 1); }