Interface OracleEventMatcher
-
- All Known Implementing Classes:
OracleEventMatcherFull
,OracleEventMatcherNotFull
public interface OracleEventMatcher
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
FAILURE_MATCH
static java.lang.String
SUCCESSFUL_MATCH
-
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 returnstrue
if they match.boolean
hasNext()
Returnstrue
if the oracle has more events.boolean
isAllTraceEventsMatched()
Returnstrue
if the oracle does not contain trace events to matchvoid
nextEvent()
Moves to the next active oracle event.
-
-
-
Field Detail
-
SUCCESSFUL_MATCH
static final java.lang.String SUCCESSFUL_MATCH
- See Also:
- Constant Field Values
-
FAILURE_MATCH
static final java.lang.String FAILURE_MATCH
- See Also:
- Constant Field Values
-
-
Method Detail
-
hasNext
boolean hasNext()
Returnstrue
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 returnstrue
if they match.- Returns:
- true if the event match
-
isAllTraceEventsMatched
boolean isAllTraceEventsMatched()
Returnstrue
if the oracle does not contain trace events to match- Returns:
- true if the oracle does not contain trace events to match
-
-