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

Packages that use DoubleIterator

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.samples.jmltutorial	This package contains samples of JML specifications from the tutorials.
org.jmlspecs.samples.prelimdesign	This package contains samples of JML specifications from the paper Preliminary Design of JML.

Uses of DoubleIterator in org.jmlspecs.jmlunit.strategies

Classes in org.jmlspecs.jmlunit.strategies that implement DoubleIterator

class	DoubleAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type double.
(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2$1
(package private) class	DoubleAbstractFilteringStrategyDecorator.NewIter
class	DoubleAbstractIterator Common code for iterators over values of type double that implement the DoubleIterator interface.
class	DoubleArrayIterator A DoubleIterator over arrays of double elements.
class	DoubleCompositeIterator Composition of several DoubleIterators.
class	DoubleNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.

Fields in org.jmlspecs.jmlunit.strategies declared as DoubleIterator

private DoubleIterator	DoubleAbstractFilteringIteratorDecorator.rawElems
private DoubleIterator[]	DoubleCompositeIterator.iters The iterators that are being sequenced

Methods in org.jmlspecs.jmlunit.strategies that return DoubleIterator

abstract DoubleIterator	DoubleStrategyType.doubleIterator() Compute a fresh DoubleIterator, which can be used to provide test data of type double.
DoubleIterator	DoubleAbstractFilteringStrategyDecorator.doubleIterator()
protected DoubleIterator	DoubleAbstractFilteringIteratorDecorator_JML_TestData.vdoubleIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type double for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
DoubleIterator	DoubleExtensibleStrategyDecorator.doubleIterator()
DoubleIterator	DoubleExtensibleStrategy.doubleIterator()
DoubleIterator	DoubleCompositeStrategy.doubleIterator()

Constructors in org.jmlspecs.jmlunit.strategies with parameters of type DoubleIterator

DoubleAbstractFilteringIteratorDecorator(DoubleIterator iter)
Initialize this iterator decorator

DoubleAbstractFilteringIteratorDecorator(DoubleIterator iter, double ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

DoubleAbstractFilteringStrategyDecorator.NewIter(DoubleIterator iter)
Initialize this iterator in two steps, to avoid downcalls during initialization that lead to null pointer exceptions.

DoubleCompositeIterator(DoubleIterator iter)
Initialize this composite to iterate over the given iterator.

DoubleCompositeIterator(DoubleIterator iter1, DoubleIterator iter2)
Initialize this composite to iterate over the given iterators, in order.

DoubleCompositeIterator(DoubleIterator[] iters)
Initialize this composite to iterate over clones of the given iterators, in order.

DoubleCompositeIterator(int currentIterator, DoubleIterator[] iters)
Initialize this composite to iterate over clones of the given iterators, in order, starting at the given current iterator.

DoubleNonNegativeIteratorDecorator(DoubleIterator iter)

Uses of DoubleIterator in org.jmlspecs.samples.jmltutorial

Methods in org.jmlspecs.samples.jmltutorial that return DoubleIterator

protected DoubleIterator

SqrtExample_JML_TestData.vdoubleIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type double for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of DoubleIterator in org.jmlspecs.samples.prelimdesign

Methods in org.jmlspecs.samples.prelimdesign that return DoubleIterator

protected DoubleIterator	USMoney_JML_TestData.vdoubleIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type double for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected DoubleIterator	Account_JML_TestData.vdoubleIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type double for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected DoubleIterator	PlusAccount_JML_TestData.vdoubleIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type double for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected DoubleIterator	Point2D_JML_TestData.vdoubleIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type double for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.