New -javamaxmem switch (sets PRISM_JAVAMAXMEM).

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

prism/src/bin/prism.cygwin

@@ -10,6 +10,18 @@ if [ "$PRISM_JAVA" = "" ]; then
 	PRISM_JAVA=java
 fi
 
+# If there is a -javamaxmem switch, use it for PRISM_JAVAMAXMEM
+ARGS=( "$@" )
+for ((i=0;i<${#ARGS[@]};i+=1)); do
+	if [ "${ARGS[$i]}" = "-javamaxmem" ]; then
+		PRISM_JAVAMAXMEM=${ARGS[$i+1]}
+		PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`
+		if [ "$PRISM_JAVAMAXMEM" = "" ]; then
+			echo; echo "Error: Invalid value for -javamaxmem switch."; exit
+		fi
+	fi
+done
+
 # Max memory for Java
 if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`

prism/src/bin/prism.darwin32

@@ -18,6 +18,18 @@ if [ "$PRISM_JAVA" = "" ]; then
 	PRISM_JAVA=java
 fi
 
+# If there is a -javamaxmem switch, use it for PRISM_JAVAMAXMEM
+ARGS=( "$@" )
+for ((i=0;i<${#ARGS[@]};i+=1)); do
+	if [ "${ARGS[$i]}" = "-javamaxmem" ]; then
+		PRISM_JAVAMAXMEM=${ARGS[$i+1]}
+		PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`
+		if [ "$PRISM_JAVAMAXMEM" = "" ]; then
+			echo; echo "Error: Invalid value for -javamaxmem switch."; exit
+		fi
+	fi
+done
+
 # Max memory for Java
 if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`

prism/src/bin/prism.darwin64

@@ -18,6 +18,18 @@ if [ "$PRISM_JAVA" = "" ]; then
 	PRISM_JAVA=java
 fi
 
+# If there is a -javamaxmem switch, use it for PRISM_JAVAMAXMEM
+ARGS=( "$@" )
+for ((i=0;i<${#ARGS[@]};i+=1)); do
+	if [ "${ARGS[$i]}" = "-javamaxmem" ]; then
+		PRISM_JAVAMAXMEM=${ARGS[$i+1]}
+		PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`
+		if [ "$PRISM_JAVAMAXMEM" = "" ]; then
+			echo; echo "Error: Invalid value for -javamaxmem switch."; exit
+		fi
+	fi
+done
+
 # Max memory for Java
 if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`

prism/src/bin/prism.linux

@@ -18,6 +18,18 @@ if [ "$PRISM_JAVA" = "" ]; then
 	PRISM_JAVA=java
 fi
 
+# If there is a -javamaxmem switch, use it for PRISM_JAVAMAXMEM
+ARGS=( "$@" )
+for ((i=0;i<${#ARGS[@]};i+=1)); do
+	if [ "${ARGS[$i]}" = "-javamaxmem" ]; then
+		PRISM_JAVAMAXMEM=${ARGS[$i+1]}
+		PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`
+		if [ "$PRISM_JAVAMAXMEM" = "" ]; then
+			echo; echo "Error: Invalid value for -javamaxmem switch."; exit
+		fi
+	fi
+done
+
 # Max memory for Java
 if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM=`echo "$PRISM_JAVAMAXMEM" | awk /^[0-9]+[kmg]?$/`

prism/src/prism/PrismCL.java

@@ -951,6 +951,11 @@ public class PrismCL implements PrismModelListener
 					}
 					exit();
 				}
+				// java max mem
+				else if (sw.equals("javamaxmem")) {
+					i++;
+					// ignore - this is dealt with before java is launched
+				}
 				// print version
 				else if (sw.equals("version")) {
 					printVersion();