JML

org.jmlspecs.jmlunit.strategies
Class ImmutableObjectArrayIterator

java.lang.Object
  extended byorg.jmlspecs.jmlunit.strategies.ObjectArrayAbstractIterator
      extended byorg.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

Method Detail

duplicateIfNeeded

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


JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.