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

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Model Field Summary

 

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

 

Ghost Field Summary

 

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

 

Constructor Summary
private	IndefiniteIteratorUtilities()           No instances of this class

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

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

Specifications:

requires iter != null;
assignable iter.objectState;

contains

public static boolean contains(IndefiniteIterator iter,
                               Object o)

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

Specifications:

requires iter != null&&o != null;
assignable iter.objectState;

containsNull

public static boolean containsNull(IndefiniteIterator iter)

Does the given iterator return null?

Specifications:

requires iter != null;
assignable iter.objectState;

distinctValues

public static boolean distinctValues(IndefiniteIterator iter)

Does the given iterator have distinct values it returns?

Specifications:

requires iter != null;
assignable iter.objectState;