gov.nasa.jpf.util

Class SparseClusterArray.ElementIndexIterator

java.lang.Object

gov.nasa.jpf.util.SparseClusterArray.ElementIndexIterator

All Implemented Interfaces:

IndexIterator

Enclosing class:

SparseClusterArray<E>

protected class SparseClusterArray.ElementIndexIterator
extends java.lang.Object
implements IndexIterator

Constructor Summary

Constructors

Constructor and Description
ElementIndexIterator()
ElementIndexIterator(int startIdx)

Method Summary

Modifier and Type	Method and Description
int	next() answer next index value in iteration

Methods inherited from class java.lang.Object

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

Constructor Detail

ElementIndexIterator

public ElementIndexIterator()

ElementIndexIterator

public ElementIndexIterator(int startIdx)

Method Detail

next

public int next()

Description copied from interface: IndexIterator

answer next index value in iteration

Specified by:

next in interface IndexIterator