From 3acc681dce4ec1d971e4479e01c09d00af8ba7d9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 25 May 2019 00:28:16 +0100
Subject: [PATCH] Minor tidy up in ModulesFileModelGenerator.

---
 .../simulator/ModulesFileModelGenerator.java  | 24 +++++--------------
 1 file changed, 6 insertions(+), 18 deletions(-)

diff --git a/prism/src/simulator/ModulesFileModelGenerator.java b/prism/src/simulator/ModulesFileModelGenerator.java
index 7cd5153a..e06f37b7 100644
--- a/prism/src/simulator/ModulesFileModelGenerator.java
+++ b/prism/src/simulator/ModulesFileModelGenerator.java
@@ -210,6 +210,12 @@ public class ModulesFileModelGenerator implements ModelGenerator
 		return modulesFile.getRewardStruct(i);
 	}
 
+	@Override
+	public VarList createVarList()
+	{
+		return varList;
+	}
+	
 	// Methods for ModelGenerator interface
 	
 	@Override
@@ -388,24 +394,6 @@ public class ModulesFileModelGenerator implements ModelGenerator
 		updater.calculateStateRewards(state, store);
 	}
 	
-	@Override
-	public VarList createVarList()
-	{
-		return varList;
-	}
-	
-	// Miscellaneous (unused?) methods
-	
-	//@Override
-	public void getRandomInitialState(RandomNumberGenerator rng, State initialState) throws PrismException
-	{
-		if (modulesFile.getInitialStates() == null) {
-			initialState.copy(modulesFile.getDefaultInitialState());
-		} else {
-			throw new PrismException("Random choice of multiple initial states not yet supported");
-		}
-	}
-
 	// Local utility methods
 	
 	/**