From 5d52a326d5d2bc4a9ca2eaa6f62f6f4750092c64 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 17 Mar 2010 10:22:01 +0000
Subject: [PATCH] Added -exporttarget switch.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1812 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 9a577f1f..8840826e 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -999,7 +999,7 @@ public class PrismCL
 						errorAndExit("No file specified for -"+sw+" switch");
 					}
 				}
-				// export prism model to file
+				// export adversary to file
 				else if (sw.equals("exportadv")) {
 					if (i < args.length-1) {
 						prism.setExportAdv(Prism.EXPORT_ADV_DTMC);
@@ -1009,6 +1009,16 @@ public class PrismCL
 						errorAndExit("No file specified for -"+sw+" switch");
 					}
 				}
+				// export reachability target info to file
+				else if (sw.equals("exporttarget")) {
+					if (i < args.length-1) {
+						prism.setExportTarget(true);
+						prism.setExportTargetFilename(args[++i]);
+					}
+					else {
+						errorAndExit("No file specified for -"+sw+" switch");
+					}
+				}
 				// set scc computation algorithm
 				else if (sw.equals("sccmethod") || sw.equals("bsccmethod")) {
 					if (i < args.length-1) {