JML

org.jmlspecs.jmlunit.strategies
Class IndefiniteIteratorUtilities

java.lang.Object
  extended byorg.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

Method Detail

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?


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.