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

Packages that use BooleanIterator

org.jmlspecs.jmlunit.strategies

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

Uses of BooleanIterator in org.jmlspecs.jmlunit.strategies

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

class	BooleanAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type boolean.
(package private) class	BooleanAbstractFilteringStrategyDecorator.NewIter
class	BooleanAbstractIterator Common code for iterators over values of type boolean that implement the BooleanIterator interface.
class	BooleanArrayIterator A BooleanIterator over arrays of boolean elements.
class	BooleanCompositeIterator Composition of several BooleanIterators.

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

private BooleanIterator	BooleanAbstractFilteringIteratorDecorator.rawElems
private BooleanIterator[]	BooleanCompositeIterator.iters The iterators that are being sequenced

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

abstract BooleanIterator	BooleanStrategyType.booleanIterator() Compute a fresh BooleanIterator, which can be used to provide test data of type boolean.
BooleanIterator	BooleanExtensibleStrategyDecorator.booleanIterator()
BooleanIterator	BooleanExtensibleStrategy.booleanIterator()
BooleanIterator	BooleanAbstractFilteringStrategyDecorator.booleanIterator()
BooleanIterator	BooleanCompositeStrategy.booleanIterator()

Methods in org.jmlspecs.jmlunit.strategies with parameters of type BooleanIterator

protected void

BooleanStrategyTypeTest.checkBooleanIterator(BooleanIterator iter) Check for the expected values in the iterator.

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

BooleanAbstractFilteringIteratorDecorator(BooleanIterator iter)
Initialize this iterator decorator

BooleanAbstractFilteringIteratorDecorator(BooleanIterator iter, boolean ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

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

BooleanCompositeIterator(BooleanIterator iter)
Initialize this composite to iterate over the given iterator.

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

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

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