From 185c9af2f7b5c61dcca48d4fec380ec5166d52d0 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:25:09 +0200
Subject: [PATCH] (HOA path) StateModelChecker (symbolic, explicit): Provide
 access to the ModulesFile / PropertiesFile stored in the model checker

---
 prism/src/explicit/StateModelChecker.java | 13 +++++++++++++
 prism/src/prism/StateModelChecker.java    | 16 ++++++++++++++++
 2 files changed, 29 insertions(+)

diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index 4fb25030..cb1b123f 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -1572,4 +1572,17 @@ public class StateModelChecker extends PrismComponent
 			}
 		}
 	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		return modulesFile;
+	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public PropertiesFile getPropertiesFile()
+	{
+		return propertiesFile;
+	}
+
 }
diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index f9ac59eb..b48c2f63 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -1632,6 +1632,22 @@ public class StateModelChecker extends PrismComponent implements ModelChecker
 			JDD.Deref(labels[i]);
 		}
 	}
+
+	
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		if (propertiesFile != null) {
+			return propertiesFile.getModulesFile();
+		}
+		return null;
+	}
+
+	/** Get the optionally stored ModulesFile (may be {@code null}) */
+	public PropertiesFile getPropertiesFile()
+	{
+		return propertiesFile;
+	}
 }
 
 // ------------------------------------------------------------------------------