org.jmlspecs.jmlunit.strategies
Class IntAbstractIterator

java.lang.Object
  org.jmlspecs.jmlunit.strategies.IntAbstractIterator

All Implemented Interfaces:

Cloneable, IndefiniteIterator, IntIterator

Direct Known Subclasses:

IntAbstractFilteringIteratorDecorator, IntArrayIterator, IntCompositeIterator

public abstract class IntAbstractIterator

extends Object

implements IntIterator

Common code for iterators over values of type int that implement the IntIterator interface.

Author:

Gary T. Leavens

Constructor Summary

IntAbstractIterator()

 

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.

 

Methods inherited from class java.lang.Object

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

 

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

getInt

 

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

advance, atEnd

 

Constructor Detail

IntAbstractIterator

public IntAbstractIterator()

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 IntIterator

clone

public Object clone()

Description copied from interface: IntIterator

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

Specified by:

clone in interface IntIterator

Overrides:

clone in class Object