From b6d4a157372b17b08c188c64b85cc22e8d65eaf8 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 29 Oct 2010 12:51:05 +0000
Subject: [PATCH] Simulator disabled for PTAs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2200 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 16642a72..d150e3d1 100644
--- a/prism/src/simulator/SimulatorEngine.java
+++ b/prism/src/simulator/SimulatorEngine.java
@@ -582,6 +582,11 @@ public class SimulatorEngine
 		modelType = modulesFile.getModelType();
 		this.mfConstants = modulesFile.getConstantValues();
 
+		// Check for PTAs
+		if (modulesFile.getModelType() == ModelType.PTA) {
+			throw new PrismException("Sorry - the simulator does not currently support PTAs");
+		}
+
 		// Check for presence of system...endsystem
 		if (modulesFile.getSystemDefn() != null) {
 			throw new PrismException("Sorry - the simulator does not currently handle the system...endsystem construct");