Interface OracleEventMatcher

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      boolean checkEvent()
      Matches the event from the simulator and the event from the trace, and returns true if they match.
      boolean hasNext()
      Returns true if the oracle has more events.
      boolean isAllTraceEventsMatched()
      Returns true if the oracle does not contain trace events to match
      void nextEvent()
      Moves to the next active oracle event.
    • Method Detail

      • hasNext

        boolean hasNext()
        Returns true if the oracle has more events.
        Returns:
        true if the oracle has more events
      • nextEvent

        void nextEvent()
        Moves to the next active oracle event.
      • checkEvent

        boolean checkEvent()
        Matches the event from the simulator and the event from the trace, and returns true if they match.
        Returns:
        true if the event match
      • isAllTraceEventsMatched

        boolean isAllTraceEventsMatched()
        Returns true if the oracle does not contain trace events to match
        Returns:
        true if the oracle does not contain trace events to match