From ed0a08b00f54f3ed0ff73dfca6b6dec0aece0453 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 10 Feb 2016 10:24:17 +0000
Subject: [PATCH] explicit: Proper exception instead of null pointer exception
 for explicit with system definition

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

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 0b4160f7..34b8cde7 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -1910,6 +1910,9 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 					currentModel = mod2mtbdd.translate();
 					currentModelExpl = null;
 				} else {
+					if (currentModulesFile.getSystemDefn() != null) {
+						throw new PrismNotSupportedException("Explicit engine does not currently support the system...endsystem construct");
+					}
 					ConstructModel constructModel = new ConstructModel(this);
 					constructModel.setFixDeadlocks(getFixDeadlocks());
 					currentModelExpl = constructModel.constructModel(currentModelGenerator);