Bug fix in export of simulation path (to a file): file should be closed on completion.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10520 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/simulator/GenerateSimulationPath.java

@@ -119,6 +119,7 @@ public class GenerateSimulationPath
 			generateMultiplePaths(displayer);
 		else
 			generatePath(displayer);
+		displayer.close();
 	}
 
 	/**

prism/src/simulator/PathDisplayer.java

@@ -198,7 +198,15 @@ public abstract class PathDisplayer
 	public abstract void displaySnapshot(double timeCumul, long newStateIndex, State newState, double[] newStateRewards);
 
 	/**
-	 * Finish displaying a path..
+	 * Finish displaying a path.
 	 */
 	public abstract void endDisplay();
+
+	/**
+	 * "Close" this displayer (e.g., if it is to a file, close the file).
+	 */
+	public void close()
+	{
+		// By default, do nothing
+	}
 }

prism/src/simulator/PathToText.java

@@ -28,6 +28,7 @@ package simulator;
 
 import parser.State;
 import parser.ast.ModulesFile;
+import prism.PrismFileLog;
 import prism.PrismLog;
 
 /**
@@ -304,4 +305,12 @@ public class PathToText extends PathDisplayer
 			log.println();
 		}
 	}
+	
+	@Override
+	public void close()
+	{
+		if (log instanceof PrismFileLog) {
+			log.close();
+		}
+	}
 }