Uses of Interface

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.


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.