From 9c1c80b2b0bd5962f266dad63437ec7e76334a34 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 22 Dec 2015 09:06:28 +0000
Subject: [PATCH] prism.StateModelChecker: extends PrismComponent

This allows a (symbolic) model checker to serve as the parent PrismComponent
and provides access to the settings and log files whenever a ModelChecker
is available.


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

diff --git a/prism/src/prism/StateModelChecker.java b/prism/src/prism/StateModelChecker.java
index 3520ce41..b4cea099 100644
--- a/prism/src/prism/StateModelChecker.java
+++ b/prism/src/prism/StateModelChecker.java
@@ -41,7 +41,7 @@ import parser.type.*;
 
 // Base class for model checkers - does state-based evaluations (no temporal/probabilistic)
 
-public class StateModelChecker implements ModelChecker
+public class StateModelChecker extends PrismComponent implements ModelChecker
 {
 	// PRISM stuff
 	protected Prism prism;
@@ -90,6 +90,9 @@ public class StateModelChecker implements ModelChecker
 
 	public StateModelChecker(Prism prism, Model m, PropertiesFile pf) throws PrismException
 	{
+		// Initialise PrismComponent
+		super(prism);
+
 		// Initialise
 		this.prism = prism;
 		mainLog = prism.getMainLog();