Class OracleEventMatcherFull

    • Field Detail

      • eventReader

        protected final EventList eventReader
      • registers

        protected final Registers registers
      • objIdentifiers

        protected final java.util.Map<java.lang.String,​java.lang.Long> objIdentifiers
      • objIdentifiersNew

        protected java.util.Map<java.lang.String,​java.lang.Long> objIdentifiersNew
    • Constructor Detail

      • OracleEventMatcherFull

        public OracleEventMatcherFull​(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

      • checkEvent

        public boolean checkEvent()
        Description copied from interface: OracleEventMatcher
        Matches the event from the simulator and the event from the trace, and returns true if they match.
        Specified by:
        checkEvent in interface OracleEventMatcher
        Returns:
        true if the event match
      • checkInstruction

        protected boolean checkInstruction()
      • checkProgramCounter

        protected boolean checkProgramCounter()
      • checkRegister

        protected boolean checkRegister()
      • hasNext

        public boolean hasNext()
        Description copied from interface: OracleEventMatcher
        Returns true if the oracle has more events.
        Specified by:
        hasNext in interface OracleEventMatcher
        Returns:
        true if the oracle has more events
      • isAllTraceEventsMatched

        public boolean isAllTraceEventsMatched()
        Description copied from interface: OracleEventMatcher
        Returns true if the oracle does not contain trace events to match
        Specified by:
        isAllTraceEventsMatched in interface OracleEventMatcher
        Returns:
        true if the oracle does not contain trace events to match