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

@@ -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();