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

Packages that use LongIterator

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.
org.jmlspecs.samples.jmlkluwer	This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design".
org.jmlspecs.samples.prelimdesign	This package contains samples of JML specifications from the paper Preliminary Design of JML.

Uses of LongIterator in org.jmlspecs.jmlunit.strategies

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

class	LongAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type long.
(package private) class	LongAbstractFilteringStrategyDecorator.NewIter
class	LongAbstractIterator Common code for iterators over values of type long that implement the LongIterator interface.
class	LongArrayIterator A LongIterator over arrays of long elements.
class	LongCompositeIterator Composition of several LongIterators.
class	LongNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.

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

private LongIterator	LongAbstractFilteringIteratorDecorator.rawElems
private LongIterator[]	LongCompositeIterator.iters The iterators that are being sequenced

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

abstract LongIterator	LongStrategyType.longIterator() Compute a fresh LongIterator, which can be used to provide test data of type long.
LongIterator	LongExtensibleStrategy.longIterator()
LongIterator	LongAbstractFilteringStrategyDecorator.longIterator()
LongIterator	LongExtensibleStrategyDecorator.longIterator()
LongIterator	LongCompositeStrategy.longIterator()

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

LongAbstractFilteringIteratorDecorator(LongIterator iter)
Initialize this iterator decorator

LongAbstractFilteringIteratorDecorator(LongIterator iter, long ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

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

LongCompositeIterator(LongIterator iter)
Initialize this composite to iterate over the given iterator.

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

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

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

LongNonNegativeIteratorDecorator(LongIterator iter)

Uses of LongIterator in org.jmlspecs.models.resolve

Methods in org.jmlspecs.models.resolve that return LongIterator

protected LongIterator

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

Uses of LongIterator in org.jmlspecs.samples.jmlkluwer

Methods in org.jmlspecs.samples.jmlkluwer that return LongIterator

protected LongIterator

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

Uses of LongIterator in org.jmlspecs.samples.prelimdesign

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

protected LongIterator

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