From babd8c6bc0777236691f6b601f3841e38bd6c96b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 27 Mar 2006 10:52:48 +0000
Subject: [PATCH] Added error on attempt to use simulator on models with
 system...endsystem construct.

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

diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java
index 8dc0e634..4389248e 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -376,6 +376,11 @@ public class SimulatorEngine
 		this.modulesFile = modulesFile;
 		this.constants = constants;
 		
+		// check for presence of system...endsystem
+		if (modulesFile.getSystemDefn() != null) {
+			throw new SimulatorException("Sorry - the simulator does not currently handle the system...endsystem construct");
+		}
+		
 		try
 		{
 			int result; //used to look for errors