JML

Uses of Interface
org.jmlspecs.jmlunit.strategies.FloatIterator

Packages that use FloatIterator
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
org.jmlspecs.models This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package. 
 

Uses of FloatIterator in org.jmlspecs.jmlunit.strategies
 

Classes in org.jmlspecs.jmlunit.strategies that implement FloatIterator
 class FloatAbstractFilteringIteratorDecorator
          An filtering decorator for an indefinite iterator over type float.
(package private)  class FloatAbstractFilteringStrategyDecorator.NewIter
           
 class FloatAbstractIterator
          Common code for iterators over values of type float that implement the FloatIterator interface.
 class FloatArrayIterator
          A FloatIterator over arrays of float elements.
 class FloatCompositeIterator
          Composition of several FloatIterators.
 class FloatNonNegativeIteratorDecorator
          An indefinite iterator that filters out negative test data.
 

Fields in org.jmlspecs.jmlunit.strategies declared as FloatIterator
private  FloatIterator FloatAbstractFilteringIteratorDecorator.rawElems
           
private  FloatIterator[] FloatCompositeIterator.iters
          The iterators that are being sequenced
 

Methods in org.jmlspecs.jmlunit.strategies that return FloatIterator
abstract  FloatIterator FloatStrategyType.floatIterator()
          Compute a fresh FloatIterator, which can be used to provide test data of type float.
 FloatIterator FloatExtensibleStrategyDecorator.floatIterator()
           
 FloatIterator FloatExtensibleStrategy.floatIterator()
           
 FloatIterator FloatAbstractFilteringStrategyDecorator.floatIterator()
           
 FloatIterator FloatCompositeStrategy.floatIterator()
           
 

Constructors in org.jmlspecs.jmlunit.strategies with parameters of type FloatIterator
FloatAbstractFilteringIteratorDecorator(FloatIterator iter)
          Initialize this iterator decorator
FloatAbstractFilteringIteratorDecorator(FloatIterator iter, float ignored)
          Partially intialize this iterator decorator, with a call to initialize needed after this call.
FloatAbstractFilteringStrategyDecorator.NewIter(FloatIterator iter)
          Initialize this iterator in two steps, to avoid downcalls during initialization that lead to null pointer exceptions.
FloatNonNegativeIteratorDecorator(FloatIterator iter)
           
FloatCompositeIterator(FloatIterator iter)
          Initialize this composite to iterate over the given iterator.
FloatCompositeIterator(FloatIterator iter1, FloatIterator iter2)
          Initialize this composite to iterate over the given iterators, in order.
FloatCompositeIterator(FloatIterator[] iters)
          Initialize this composite to iterate over clones of the given iterators, in order.
FloatCompositeIterator(int currentIterator, FloatIterator[] iters)
          Initialize this composite to iterate over clones of the given iterators, in order, starting at the given current iterator.
 

Uses of FloatIterator in org.jmlspecs.models
 

Methods in org.jmlspecs.models that return FloatIterator
protected  FloatIterator JMLFloat_JML_TestData.vfloatIter(String methodName, int loopsThisSurrounds)
          Return a new, freshly allocated indefinite iterator that produces test data of type float for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
 


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.