de.uka.ilkd.key.logic

Class PosInOccurrence.PIOPathIteratorImpl

java.lang.Object

de.uka.ilkd.key.logic.PosInOccurrence.PIOPathIteratorImpl

All Implemented Interfaces:

IntIterator, PIOPathIterator

Enclosing class:

PosInOccurrence

private final class PosInOccurrence.PIOPathIteratorImpl
extends java.lang.Object
implements PIOPathIterator

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	child
(package private) int	count
(package private) IntIterator	currentPathIt
(package private) Term	currentSubTerm

Constructor Summary

Constructors

Modifier	Constructor and Description
private	PIOPathIteratorImpl()

Method Summary

Modifier and Type	Method and Description
int	getChild()
PosInOccurrence	getPosInOccurrence()
Term	getSubTerm()
boolean	hasNext()
int	next()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

child

int child

count

int count

currentPathIt

IntIterator currentPathIt

currentSubTerm

Term currentSubTerm

Constructor Detail

PIOPathIteratorImpl

private PIOPathIteratorImpl()

Method Detail

getChild

public int getChild()

Specified by:

getChild in interface PIOPathIterator

Returns:

the number of the next child on the path, or -1 if no further child exists (this is the number that was also returned by the last call of next())

getPosInOccurrence

public PosInOccurrence getPosInOccurrence()

Specified by:

getPosInOccurrence in interface PIOPathIterator

Returns:

the current position within the term (i.e. corresponding to the latest next()-call)

getSubTerm

public Term getSubTerm()

Specified by:

getSubTerm in interface PIOPathIterator

Returns:

the current subterm this object points to (i.e. corresponding to the latest next()-call); this method satisfies getPosInOccurrence().subTerm()==getSubTerm()

hasNext

public boolean hasNext()

Specified by:

hasNext in interface IntIterator

Returns:

boolean true iff collection has more unseen elements

next

public int next()

Specified by:

next in interface IntIterator

Specified by:

next in interface PIOPathIterator

Returns:

the number of the next child on the path, or -1 if no further child exists