Uses of Interface

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.


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.