JML

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

Packages that use LongIterator
org.jmlspecs.jmlunit.strategies The types in this package are used in providing test data for JML/JUnit testing. 
org.jmlspecs.models.resolve This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models. 
org.jmlspecs.samples.jmlkluwer This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design". 
org.jmlspecs.samples.prelimdesign This package contains samples of JML specifications from the paper Preliminary Design of JML
 

Uses of LongIterator in org.jmlspecs.jmlunit.strategies
 

Classes in org.jmlspecs.jmlunit.strategies that implement LongIterator
 class LongAbstractFilteringIteratorDecorator
          An filtering decorator for an indefinite iterator over type long.
(package private)  class LongAbstractFilteringStrategyDecorator.NewIter
           
 class LongAbstractIterator
          Common code for iterators over values of type long that implement the LongIterator interface.
 class LongArrayIterator
          A LongIterator over arrays of long elements.
 class LongCompositeIterator
          Composition of several LongIterators.
 class LongNonNegativeIteratorDecorator
          An indefinite iterator that filters out negative test data.
 

Fields in org.jmlspecs.jmlunit.strategies declared as LongIterator
private  LongIterator LongAbstractFilteringIteratorDecorator.rawElems
           
private  LongIterator[] LongCompositeIterator.iters
          The iterators that are being sequenced
 

Methods in org.jmlspecs.jmlunit.strategies that return LongIterator
abstract  LongIterator LongStrategyType.longIterator()
          Compute a fresh LongIterator, which can be used to provide test data of type long.
 LongIterator LongExtensibleStrategy.longIterator()
           
 LongIterator LongAbstractFilteringStrategyDecorator.longIterator()
           
 LongIterator LongExtensibleStrategyDecorator.longIterator()
           
 LongIterator LongCompositeStrategy.longIterator()
           
 

Constructors in org.jmlspecs.jmlunit.strategies with parameters of type LongIterator
LongAbstractFilteringIteratorDecorator(LongIterator iter)
          Initialize this iterator decorator
LongAbstractFilteringIteratorDecorator(LongIterator iter, long ignored)
          Partially intialize this iterator decorator, with a call to initialize needed after this call.
LongAbstractFilteringStrategyDecorator.NewIter(LongIterator iter)
          Initialize this iterator in two steps, to avoid downcalls during initialization that lead to null pointer exceptions.
LongCompositeIterator(LongIterator iter)
          Initialize this composite to iterate over the given iterator.
LongCompositeIterator(LongIterator iter1, LongIterator iter2)
          Initialize this composite to iterate over the given iterators, in order.
LongCompositeIterator(LongIterator[] iters)
          Initialize this composite to iterate over clones of the given iterators, in order.
LongCompositeIterator(int currentIterator, LongIterator[] iters)
          Initialize this composite to iterate over clones of the given iterators, in order, starting at the given current iterator.
LongNonNegativeIteratorDecorator(LongIterator iter)
           
 

Uses of LongIterator in org.jmlspecs.models.resolve
 

Methods in org.jmlspecs.models.resolve that return LongIterator
protected  LongIterator NaturalNumber_JML_TestData.vlongIter(String methodName, int loopsThisSurrounds)
          Return a new, freshly allocated indefinite iterator that produces test data of type long for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
 

Uses of LongIterator in org.jmlspecs.samples.jmlkluwer
 

Methods in org.jmlspecs.samples.jmlkluwer that return LongIterator
protected  LongIterator QueueEntry_JML_TestData.vlongIter(String methodName, int loopsThisSurrounds)
          Return a new, freshly allocated indefinite iterator that produces test data of type long for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
 

Uses of LongIterator in org.jmlspecs.samples.prelimdesign
 

Methods in org.jmlspecs.samples.prelimdesign that return LongIterator
protected  LongIterator USMoney_JML_TestData.vlongIter(String methodName, int loopsThisSurrounds)
          Return a new, freshly allocated indefinite iterator that produces test data of type long for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
 


JML

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.