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

Packages that use IntIterator

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
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.jmltutorial	This package contains samples of JML specifications from the tutorials.
org.jmlspecs.samples.misc	This package contains miscellaneous samples of JML specifications.
org.jmlspecs.samples.prelimdesign	This package contains samples of JML specifications from the paper Preliminary Design of JML.
org.jmlspecs.samples.reader	This package contains samples of JML specifications relating to some abstractions of input and output.
org.jmlspecs.samples.sets	This package contains samples of JML specifications relating to sets.

Uses of IntIterator in org.jmlspecs.jmlunit.strategies

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

class	IntAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type int.
(package private) class	IntAbstractFilteringStrategyDecorator.NewIter
class	IntAbstractIterator Common code for iterators over values of type int that implement the IntIterator interface.
class	IntArrayIterator A IntIterator over arrays of int elements.
class	IntCompositeIterator Composition of several IntIterators.
class	IntNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.

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

private IntIterator	IntAbstractFilteringIteratorDecorator.rawElems
private IntIterator[]	IntCompositeIterator.iters The iterators that are being sequenced

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

abstract IntIterator	IntStrategyType.intIterator() Compute a fresh IntIterator, which can be used to provide test data of type int.
IntIterator	IntExtensibleStrategy.intIterator()
IntIterator	IntExtensibleStrategyDecorator.intIterator()
protected IntIterator	NewObjectAbstractIterator_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
IntIterator	IntAbstractFilteringStrategyDecorator.intIterator()
IntIterator	IntCompositeStrategy.intIterator()

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

IntAbstractFilteringIteratorDecorator(IntIterator iter)
Initialize this iterator decorator

IntAbstractFilteringIteratorDecorator(IntIterator iter, int ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

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

IntNonNegativeIteratorDecorator(IntIterator iter)

IntCompositeIterator(IntIterator iter)
Initialize this composite to iterate over the given iterator.

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

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

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

Uses of IntIterator in org.jmlspecs.models

Methods in org.jmlspecs.models that return IntIterator

protected IntIterator	JMLListValueNode_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	JMLInteger_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	JMLFloat_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	JMLInfiniteInteger_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IntIterator in org.jmlspecs.models.resolve

Methods in org.jmlspecs.models.resolve that return IntIterator

protected IntIterator	NaturalNumber_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	StringOfObject_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IntIterator in org.jmlspecs.samples.jmlkluwer

Methods in org.jmlspecs.samples.jmlkluwer that return IntIterator

protected IntIterator	PriorityQueue_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	QueueEntry_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IntIterator in org.jmlspecs.samples.jmltutorial

Methods in org.jmlspecs.samples.jmltutorial that return IntIterator

protected IntIterator

Person_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IntIterator in org.jmlspecs.samples.misc

Methods in org.jmlspecs.samples.misc that return IntIterator

protected IntIterator	LinearSearch_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	Proof_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IntIterator in org.jmlspecs.samples.prelimdesign

Methods in org.jmlspecs.samples.prelimdesign that return IntIterator

protected IntIterator	IntMathOps4_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	IntMathOps_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	IntMathOps2_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IntIterator in org.jmlspecs.samples.reader

Methods in org.jmlspecs.samples.reader that return IntIterator

protected IntIterator

BlankReader_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IntIterator in org.jmlspecs.samples.sets

Methods in org.jmlspecs.samples.sets that return IntIterator

protected IntIterator	IntegerSetAsHashSet_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IntIterator	IntegerSetAsTree_JML_TestData.vintIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type int for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.