org.jmlspecs.jmlunit.strategies
Class ImmutableObjectArrayIterator

java.lang.Object
  org.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator
      org.jmlspecs.jmlunit.strategies.ImmutableObjectArrayIterator

All Implemented Interfaces:

Cloneable, IndefiniteIterator

public class ImmutableObjectArrayIterator

extends ObjectArrayAbstractIterator

An iterator that provides test data by returning the current object from an array of immutable objects passed to its constructor.

This can only handle iterations up to Integer.MAX_VALUE elements.

Author:

Gary T. Leavens

Field Summary

 

Fields inherited from class org.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator

 

Constructor Summary

ImmutableObjectArrayIterator(Object[] elems)           Initialize this iterator to iterate over a clone of the array

 

Method Summary
protected  Object	duplicateIfNeeded(Object elem)           Return the argument (which is presumed to be immutable, and therefore not cloned).

 

Methods inherited from class org.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator

advance, atEnd, clone, elementsString, get, toString

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

ImmutableObjectArrayIterator

public ImmutableObjectArrayIterator(Object[] elems)

Initialize this iterator to iterate over a clone of the array

duplicateIfNeeded

protected Object duplicateIfNeeded(Object elem)

Return the argument (which is presumed to be immutable, and therefore not cloned).