Class OracleEventMatcherNotFull

    • Constructor Detail

      • OracleEventMatcherNotFull

        public OracleEventMatcherNotFull​(EventList eventReader,
                                         ProgramSimulator programSimulator,
                                         Registers registers)
        Creates the matcher 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.
        registers - the simulator registers.
        Throws:
        java.lang.IllegalArgumentException - if any of the parameters equals null.
    • Method Detail

      • getSkippedInstructions

        public java.util.List<java.lang.String> getSkippedInstructions()
      • nextProgramStep

        public void nextProgramStep()
      • getEventIndex

        public int getEventIndex()
      • setEventIndex

        public void setEventIndex​(int a)