Package ru.ispras.microtesk.tools.oracle
Class OracleSimulator
- java.lang.Object
-
- ru.ispras.microtesk.tools.oracle.OracleSimulator
-
public class OracleSimulator extends java.lang.Object
TheOracleSimulator
class runs the realization ofOracleEventMatcher
.
-
-
Constructor Summary
Constructors Constructor Description OracleSimulator(EventList eventReader, ProgramSimulator programSimulator, java.lang.String inputResourceDirTemp)
Creates an oracle that compares the output of the model with the control trace
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
run()
boolean
runFull()
-
-
-
Constructor Detail
-
OracleSimulator
public OracleSimulator(EventList eventReader, ProgramSimulator programSimulator, java.lang.String inputResourceDirTemp)
Creates an oracle that compares the output of the model with the control trace- Parameters:
eventReader
- the trace events.programSimulator
- Gives the state of the model for comparison.inputResourceDirTemp
- the path to resources.- Throws:
java.lang.IllegalArgumentException
- if any of the parameters equalsnull
.
-
-