Class OracleSimulator

    • 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()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • 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 equals null.
    • Method Detail

      • run

        public boolean run()
      • runFull

        public boolean runFull()