private final class PosInOccurrence.PIOPathIteratorImpl extends 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 |
PosInOccurrence.PIOPathIteratorImpl() |
int child
int count
IntIterator currentPathIt
Term currentSubTerm
private PosInOccurrence.PIOPathIteratorImpl()
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