org.jmlspecs.jmlunit.strategies
Interface ShortIterator

All Superinterfaces:

Cloneable, IndefiniteIterator

All Known Implementing Classes:

ShortAbstractIterator

public interface ShortIterator

extends IndefiniteIterator

An extended indefinite iterator interface that can iterate over values of type short without casting.

Author:

Gary T. Leavens

See Also:

IndefiniteIterator

Method Summary
Object	clone()           Return a copy of this iterator in the same state as this object.
Object	get()           Return the current element in this iteration.
short	getShort()           Return the current short in this iterator.

 

Methods inherited from interface org.jmlspecs.jmlunit.strategies.IndefiniteIterator

advance, atEnd

 

Method Detail

get

public Object get()

Description copied from interface: IndefiniteIterator

Return the current element in this iteration. This method may be called multiple times, and does not advance the state of the iterator when it is called. The idea is to permit several similar copies to be returned (e.g., clones) each time it is called.

Specified by:

get in interface IndefiniteIterator

getShort

public short getShort()

Return the current short in this iterator.

clone

public Object clone()

Return a copy of this iterator in the same state as this object.

Specified by:

clone in interface IndefiniteIterator