From de07381f872a2c86c727db97ba08cd31c5951dce 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 95342673..4c678da8 100644
--- a/prism/src/parser/ast/PropertiesFile.java
+++ b/prism/src/parser/ast/PropertiesFile.java
@@ -94,6 +94,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;