Class OracleEventMatcherNotFull
- java.lang.Object
-
- ru.ispras.microtesk.tools.oracle.matcher.OracleEventMatcherFull
-
- ru.ispras.microtesk.tools.oracle.matcher.OracleEventMatcherNotFull
-
- All Implemented Interfaces:
OracleEventMatcher
public class OracleEventMatcherNotFull extends OracleEventMatcherFull
-
-
Field Summary
-
Fields inherited from class ru.ispras.microtesk.tools.oracle.matcher.OracleEventMatcherFull
eventReader, objIdentifiers, objIdentifiersNew, programSimulator, registers
-
Fields inherited from interface ru.ispras.microtesk.tools.oracle.matcher.OracleEventMatcher
FAILURE_MATCH, SUCCESSFUL_MATCH
-
-
Constructor Summary
Constructors Constructor Description OracleEventMatcherNotFull(EventList eventReader, ProgramSimulator programSimulator, Registers registers)
Creates the matcher 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
checkEvent()
Matches the event from the simulator and the event from the trace, and returnstrue
if they match.int
getEventIndex()
java.util.List<java.lang.String>
getSkippedInstructions()
void
nextProgramStep()
void
setEventIndex(int a)
-
Methods inherited from class ru.ispras.microtesk.tools.oracle.matcher.OracleEventMatcherFull
checkInstruction, checkProgramCounter, checkRegister, getCurrentEvent, hasNext, isAllTraceEventsMatched, nextEvent
-
-
-
-
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 equalsnull
.
-
-
Method Detail
-
checkEvent
public boolean checkEvent()
Description copied from interface:OracleEventMatcher
Matches the event from the simulator and the event from the trace, and returnstrue
if they match.- Specified by:
checkEvent
in interfaceOracleEventMatcher
- Overrides:
checkEvent
in classOracleEventMatcherFull
- Returns:
- true if the event match
-
getSkippedInstructions
public java.util.List<java.lang.String> getSkippedInstructions()
-
nextProgramStep
public void nextProgramStep()
-
getEventIndex
public int getEventIndex()
-
setEventIndex
public void setEventIndex(int a)
-
-