Class EventList
- java.lang.Object
-
- ru.ispras.microtesk.tools.oracle.matcher.EventList
-
-
Constructor Summary
Constructors Constructor Description EventList(java.util.List<ConcreteEvent> eventsList)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ConcreteEvent
getCurrentEvent()
Returns the current eventConcreteEvent
.int
getIndex()
ConcreteEvent
getNextEvent()
boolean
hasNext()
Returns @true if theEvents
has more elements.ConcreteEvent
readNext()
Returns the next eventConcreteEvent
in theEvents
.void
setIndex(int index)
-
-
-
Constructor Detail
-
EventList
public EventList(java.util.List<ConcreteEvent> eventsList)
-
-
Method Detail
-
hasNext
public boolean hasNext()
Description copied from interface:Events
Returns @true if theEvents
has more elements.
-
readNext
public ConcreteEvent readNext()
Description copied from interface:Events
Returns the next eventConcreteEvent
in theEvents
.
-
getNextEvent
public ConcreteEvent getNextEvent()
-
getCurrentEvent
public ConcreteEvent getCurrentEvent()
Description copied from interface:Events
Returns the current eventConcreteEvent
.- Specified by:
getCurrentEvent
in interfaceEvents
- Returns:
- the current event.
-
getIndex
public int getIndex()
- Returns:
- the index
-
setIndex
public void setIndex(int index)
- Parameters:
index
- the index to set
-
-