private final class PosInOccurrence.PIOPathIteratorImpl extends java.lang.Object implements PIOPathIterator
Modifier and Type | Field and Description |
---|---|
(package private) int |
child |
(package private) int |
count |
(package private) IntIterator |
currentPathIt |
(package private) Term |
currentSubTerm |
Modifier | Constructor and Description |
---|---|
private |
PIOPathIteratorImpl() |
Modifier and Type | Method and Description |
---|---|
int |
getChild() |
PosInOccurrence |
getPosInOccurrence() |
Term |
getSubTerm() |
boolean |
hasNext() |
int |
next() |
int child
int count
IntIterator currentPathIt
Term currentSubTerm
public int getChild()
getChild
in interface PIOPathIterator
-1
if no further child exists (this is the number
that was also returned by the last call of next()
)public PosInOccurrence getPosInOccurrence()
getPosInOccurrence
in interface PIOPathIterator
next()
-call)public Term getSubTerm()
getSubTerm
in interface PIOPathIterator
next()
-call);
this method satisfies
getPosInOccurrence().subTerm()==getSubTerm()
public boolean hasNext()
hasNext
in interface IntIterator
public int next()
next
in interface IntIterator
next
in interface PIOPathIterator
-1
if no further child exists