de.uka.ilkd.key.logic

Class PosInProgram.PosArrayIntIterator

java.lang.Object

de.uka.ilkd.key.logic.PosInProgram.PosArrayIntIterator

All Implemented Interfaces:

IntIterator

Enclosing class:

PosInProgram

static class PosInProgram.PosArrayIntIterator
extends java.lang.Object
implements IntIterator

Field Summary

Fields

Modifier and Type	Field and Description
private int	next
private PosInProgram	pip

Constructor Summary

Constructors

Constructor and Description
PosArrayIntIterator(PosInProgram pip)

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

pip

private final PosInProgram pip

next

private int next

Constructor Detail

PosArrayIntIterator

public PosArrayIntIterator(PosInProgram pip)

Method Detail

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

Returns:

Integer the next element of collection