org.jmlspecs.jmlunit.strategies
Class IndefiniteIteratorUtilities

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

public class IndefiniteIteratorUtilities

extends Object

Static functions to aid in testing subtypes of IndefiniteIterator and hence, the testing of various strategies.

Author:

Gary T. Leavens

Constructor Summary
private	IndefiniteIteratorUtilities()           No instances of this class

 

Method Summary
static boolean	contains(IndefiniteIterator iter, Object o)           Does the given iterator return something equals to the given object?
static boolean	containsNull(IndefiniteIterator iter)           Does the given iterator return null?
static boolean	distinctValues(IndefiniteIterator iter)           Does the given iterator have distinct values it returns?
static long	size(IndefiniteIterator iter)           Return the size of the given indefinite iterator

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

IndefiniteIteratorUtilities

private IndefiniteIteratorUtilities()

No instances of this class

size

public static long size(IndefiniteIterator iter)

Return the size of the given indefinite iterator

contains

public static boolean contains(IndefiniteIterator iter,
                               Object o)

Does the given iterator return something equals to the given object?

containsNull

public static boolean containsNull(IndefiniteIterator iter)

Does the given iterator return null?

distinctValues

public static boolean distinctValues(IndefiniteIterator iter)

Does the given iterator have distinct values it returns?