public interface OccurenceNavigator
Modifier and Type | Interface and Description |
---|---|
static class |
OccurenceNavigator.OccurenceInfo |
Modifier and Type | Field and Description |
---|---|
static OccurenceNavigator |
EMPTY |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getNextOccurenceActionName() |
java.lang.String |
getPreviousOccurenceActionName() |
OccurenceNavigator.OccurenceInfo |
goNextOccurence() |
OccurenceNavigator.OccurenceInfo |
goPreviousOccurence() |
boolean |
hasNextOccurence() |
boolean |
hasPreviousOccurence() |
static final OccurenceNavigator EMPTY
boolean hasNextOccurence()
boolean hasPreviousOccurence()
OccurenceNavigator.OccurenceInfo goNextOccurence()
OccurenceNavigator.OccurenceInfo goPreviousOccurence()
java.lang.String getNextOccurenceActionName()
java.lang.String getPreviousOccurenceActionName()