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

@@ -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) {