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

Packages that use ShortIterator

org.jmlspecs.jmlunit.strategies

The types in this package are used in providing test data for JML/JUnit testing.

Uses of ShortIterator in org.jmlspecs.jmlunit.strategies

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

class	ShortAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type short.
(package private) class	ShortAbstractFilteringStrategyDecorator.NewIter
class	ShortAbstractIterator Common code for iterators over values of type short that implement the ShortIterator interface.
class	ShortArrayIterator A ShortIterator over arrays of short elements.
class	ShortCompositeIterator Composition of several ShortIterators.
class	ShortNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.

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

private ShortIterator	ShortAbstractFilteringIteratorDecorator.rawElems
private ShortIterator[]	ShortCompositeIterator.iters The iterators that are being sequenced

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

abstract ShortIterator	ShortStrategyType.shortIterator() Compute a fresh ShortIterator, which can be used to provide test data of type short.
ShortIterator	ShortExtensibleStrategyDecorator.shortIterator()
ShortIterator	ShortExtensibleStrategy.shortIterator()
ShortIterator	ShortAbstractFilteringStrategyDecorator.shortIterator()
ShortIterator	ShortCompositeStrategy.shortIterator()

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

ShortAbstractFilteringIteratorDecorator(ShortIterator iter)
Initialize this iterator decorator

ShortAbstractFilteringIteratorDecorator(ShortIterator iter, short ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

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

ShortNonNegativeIteratorDecorator(ShortIterator iter)

ShortCompositeIterator(ShortIterator iter)
Initialize this composite to iterate over the given iterator.

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

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

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