From 49674cb0a95a88475f5cfc25cf99ae8f9dd355e5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 15 Jul 2015 00:33:26 +0000
Subject: [PATCH] Bug fix: do not crash on empty switch, "prism -" (found by
 Marcin Copik).

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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index d37895f0..95fa70e5 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -931,6 +931,9 @@ public class PrismCL implements PrismModelListener
 
 				// Remove "-"
 				sw = args[i].substring(1);
+				if (sw.length() == 0) {
+					errorAndExit("Invalid empty switch");
+				}
 				// Remove optional second "-" (i.e. we allow switches of the form --sw too)
 				if (sw.charAt(0) == '-')
 					sw = sw.substring(1);