From 53c24c5abbd9040de3322e279655b72c2ac42335 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 27 Jun 2015 17:19:26 +0000
Subject: [PATCH] Add exportTarget settings to explicit model checkers (not
 used yet).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10105 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/StateModelChecker.java | 24 +++++++++++++++++++++++
 prism/src/prism/Prism.java                |  2 ++
 2 files changed, 26 insertions(+)

diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index eea26b09..92b8ead9 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -86,6 +86,10 @@ public class StateModelChecker extends PrismComponent
 
 	// Additional flags/settings not included in PrismSettings
 
+	// Export target state info?
+	protected boolean exportTarget = false;
+	protected String exportTargetFilename = null;
+	
 	// Export product model info?
 	protected boolean exportProductTrans = false;
 	protected String exportProductTransFilename = null;
@@ -202,6 +206,16 @@ public class StateModelChecker extends PrismComponent
 		this.verbosity = verbosity;
 	}
 
+	public void setExportTarget(boolean b) throws PrismException
+	{
+		exportTarget = b;
+	}
+
+	public void setExportTargetFilename(String s) throws PrismException
+	{
+		exportTargetFilename = s;
+	}
+
 	public void setExportProductTrans(boolean b) throws PrismException
 	{
 		exportProductTrans = b;
@@ -253,6 +267,16 @@ public class StateModelChecker extends PrismComponent
 		return verbosity;
 	}
 
+	public boolean getExportTarget()
+	{
+		return exportTarget;
+	}
+
+	public String getExportTargetFilename()
+	{
+		return exportTargetFilename;
+	}
+
 	public boolean getExportProductTrans()
 	{
 		return exportProductTrans;
diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 3b24169d..ff69767b 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3571,6 +3571,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		explicit.StateModelChecker mc = explicit.StateModelChecker.createModelChecker(currentModelType, this);
 		mc.setModulesFileAndPropertiesFile(currentModulesFile, propertiesFile);
 		// Pass any additional local settings
+		mc.setExportTarget(exportTarget);
+		mc.setExportTargetFilename(exportTargetFilename);
 		mc.setExportProductTrans(exportProductTrans);
 		mc.setExportProductTransFilename(exportProductTransFilename);
 		mc.setExportProductStates(exportProductStates);