Uses of Interface

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.


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.