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

Packages that use ByteIterator

org.jmlspecs.jmlunit.strategies

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

Uses of ByteIterator in org.jmlspecs.jmlunit.strategies

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

class	ByteAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type byte.
(package private) class	ByteAbstractFilteringStrategyDecorator.NewIter
class	ByteAbstractIterator Common code for iterators over values of type byte that implement the ByteIterator interface.
class	ByteArrayIterator A ByteIterator over arrays of byte elements.
class	ByteCompositeIterator Composition of several ByteIterators.
class	ByteNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.

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

private ByteIterator	ByteAbstractFilteringIteratorDecorator.rawElems
private ByteIterator[]	ByteCompositeIterator.iters The iterators that are being sequenced

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

abstract ByteIterator	ByteStrategyType.byteIterator() Compute a fresh ByteIterator, which can be used to provide test data of type byte.
ByteIterator	ByteAbstractFilteringStrategyDecorator.byteIterator()
ByteIterator	ByteExtensibleStrategyDecorator.byteIterator()
ByteIterator	ByteExtensibleStrategy.byteIterator()
ByteIterator	ByteCompositeStrategy.byteIterator()

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

ByteAbstractFilteringIteratorDecorator(ByteIterator iter)
Initialize this iterator decorator

ByteAbstractFilteringIteratorDecorator(ByteIterator iter, byte ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

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

ByteNonNegativeIteratorDecorator(ByteIterator iter)

ByteCompositeIterator(ByteIterator iter)
Initialize this composite to iterate over the given iterator.

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

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

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