From b1870f5084bf6c3790fd806c9533cedfd31fbd64 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 8 Dec 2008 13:46:24 +0000
Subject: [PATCH] Command-line now allows multiple -const switches.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@884 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 6c84d288..5a8a484e 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -754,6 +754,8 @@ public class PrismCL
 		String sw;
 		PrismLog log;
 		
+		constSwitch = "";
+		
 		for (i = 0; i < args.length; i++) {
 		
 			// if is a switch...
@@ -1021,8 +1023,9 @@ public class PrismCL
 				// definition of undefined constants
 				else if (sw.equals("const")) {
 					if (i < args.length-1) {
-						// store argument for later use
-						constSwitch = args[++i];
+						// store argument for later use (append if already partially specified)
+						if ("".equals(constSwitch)) constSwitch = args[++i].trim();
+						else constSwitch += ","+args[++i].trim();
 					}
 					else {
 						errorAndExit("Incomplete -"+sw+" switch");