de.uka.ilkd.key.logic

Class PosInTerm.PiTIterator

java.lang.Object

de.uka.ilkd.key.logic.PosInTerm.PiTIterator

All Implemented Interfaces:

IntIterator

Enclosing class:

PosInTerm

public static final class PosInTerm.PiTIterator
extends Object
implements IntIterator

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	order
private PosInTerm	pit
private int	pos

Constructor Summary

Constructors

Constructor and Description
PiTIterator(PosInTerm p, boolean order)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
int	next()

Methods inherited from class java.lang.Object

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

Field Detail

pit

private final PosInTerm pit

pos

private int pos

order

private final boolean order

Constructor Detail

PiTIterator

public PiTIterator(PosInTerm p,
                   boolean order)

Method Detail

next

public int next()

Specified by:

next in interface IntIterator

Returns:

Integer the next element of collection

hasNext

public boolean hasNext()

Specified by:

hasNext in interface IntIterator

Returns:

boolean true iff collection has more unseen elements