From 6dbf4c88e5dea3e6517a52fbf0f0081cd4137acd Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:25:06 +0200
Subject: [PATCH] (HOA path) PropertiesFile: getters for ModelInfo and
 ModulesFile

---
 prism/src/parser/ast/PropertiesFile.java | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/prism/src/parser/ast/PropertiesFile.java b/prism/src/parser/ast/PropertiesFile.java
index 5d0a46d1..e0666363 100644
--- a/prism/src/parser/ast/PropertiesFile.java
+++ b/prism/src/parser/ast/PropertiesFile.java
@@ -89,6 +89,18 @@ public class PropertiesFile extends ASTElement
 		}
 	}
 
+	/** Get the attached ModelInfo */
+	public ModelInfo getModelInfo()
+	{
+		return modelInfo;
+	}
+
+	/** Get the attached ModulesFile (may be {@code null}) */
+	public ModulesFile getModulesFile()
+	{
+		return modulesFile;
+	}
+
 	public void setFormulaList(FormulaList fl)
 	{
 		formulaList = fl;