Minor fix for splitFilesAndOptions.

davexparker · davexparker · commit 6eaa4a6e039c · 2026-06-30T10:19:09.000+01:00
(if no : and starts with \)
diff --git a/prism/src/prism/SwitchHandler.java b/prism/src/prism/SwitchHandler.java
@@ -171,7 +171,7 @@ void handleFilesOnly(String sw, String files) throws PrismException
 	static String[] splitFilesAndOptions(String arg)
 	{
 		int i = arg.indexOf(':');
-		while (arg.length() > i + 1 && arg.charAt(i + 1) == '\\')
+		while (i != -1 && arg.length() > i + 1 && arg.charAt(i + 1) == '\\')
 			i = arg.indexOf(':', i + 1);
 		if (i != -1)
 			return new String[]{arg.substring(0, i), arg.substring(i + 1)};

Original file line number	Diff line number	Diff line change
`@@ -171,7 +171,7 @@ void handleFilesOnly(String sw, String files) throws PrismException`
`171`	`171`	`static String[] splitFilesAndOptions(String arg)`
`172`	`172`	`{`
`173`	`173`	`int i = arg.indexOf(':');`
`174`		`- while (arg.length() > i + 1 && arg.charAt(i + 1) == '\\')`
	`174`	`+ while (i != -1 && arg.length() > i + 1 && arg.charAt(i + 1) == '\\')`
`175`	`175`	`i = arg.indexOf(':', i + 1);`
`176`	`176`	`if (i != -1)`
`177`	`177`	`return new String[]{arg.substring(0, i), arg.substring(i + 1)};`