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

Packages that use IndefiniteIterator

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.lang	This package is a collection of types used in the definition of the JML language.
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.dbc	This package contains samples of JML specifications written in the style of design by contract.
org.jmlspecs.samples.digraph	This package contains samples of JML specifications for directed graphs.
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.list.list1
org.jmlspecs.samples.list.list1.node
org.jmlspecs.samples.list.list2
org.jmlspecs.samples.list.list3
org.jmlspecs.samples.list.node
org.jmlspecs.samples.list.node2
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.
org.jmlspecs.samples.stacks	This package contains samples of JML specifications relating to stacks of various sorts.
org.jmlspecs.samples.table	This package contains samples of JML specifications relating to tables.

Uses of IndefiniteIterator in org.jmlspecs.jmlunit.strategies

Subinterfaces of IndefiniteIterator in org.jmlspecs.jmlunit.strategies

interface	BooleanIterator An extended indefinite iterator interface that can iterate over values of type boolean without casting.
interface	ByteIterator An extended indefinite iterator interface that can iterate over values of type byte without casting.
interface	CharIterator An extended indefinite iterator interface that can iterate over values of type char without casting.
interface	DoubleIterator An extended indefinite iterator interface that can iterate over values of type double without casting.
interface	FloatIterator An extended indefinite iterator interface that can iterate over values of type float without casting.
interface	IntIterator An extended indefinite iterator interface that can iterate over values of type int without casting.
interface	LongIterator An extended indefinite iterator interface that can iterate over values of type long without casting.
interface	ShortIterator An extended indefinite iterator interface that can iterate over values of type short without casting.

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

class	AbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator.
(package private) class	AbstractFilteringStrategyDecorator.NewIter
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.
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.
class	CharAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type char.
(package private) class	CharAbstractFilteringStrategyDecorator.NewIter
class	CharAbstractIterator Common code for iterators over values of type char that implement the CharIterator interface.
class	CharArrayIterator A CharIterator over arrays of char elements.
class	CharCompositeIterator Composition of several CharIterators.
(package private) class	CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1
class	CloneableObjectArrayAbstractIterator An iterator that provides test data by returning a clone of the current object from an array of cloneable objects passed to its constructor.
(package private) class	CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator A helper class used in testing it's surrounding class.
class	CompositeIterator Composition of several indefinite iterators.
class	DoubleAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type double.
(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2$1
(package private) class	DoubleAbstractFilteringStrategyDecorator.NewIter
class	DoubleAbstractIterator Common code for iterators over values of type double that implement the DoubleIterator interface.
class	DoubleArrayIterator A DoubleIterator over arrays of double elements.
class	DoubleCompositeIterator Composition of several DoubleIterators.
class	DoubleNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	EmptyNewObjectIterator An empty new object iterator.
class	FloatAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type float.
(package private) class	FloatAbstractFilteringStrategyDecorator.NewIter
class	FloatAbstractIterator Common code for iterators over values of type float that implement the FloatIterator interface.
class	FloatArrayIterator A FloatIterator over arrays of float elements.
class	FloatCompositeIterator Composition of several FloatIterators.
class	FloatNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	ImmutableObjectArrayIterator An iterator that provides test data by returning the current object from an array of immutable objects passed to its constructor.
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.
class	IteratorAbstractAdapter Make a java.util.Iterator into an IndefiniteIterator.
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.
(package private) class	NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1.NewIter
class	NewObjectAbstractIterator An iterator that provides test data by creating (in general) the objects each time the get() method is called.
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.NewObjectAbstractIterator_JML_TestData$2$1
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.NewObjectAbstractIterator_JML_TestData$2$2
(package private) class	NewObjectAbstractStrategy.NewObjectAbstractStrategy$1
class	NonNullIteratorDecorator An indefinite iterator that filters out null's that would be returned otherwise.
class	ObjectArrayAbstractIterator An indefinite iterator that provides test data from an array of objects passed to its constructor.
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 IndefiniteIterator

private IndefiniteIterator	AbstractFilteringIteratorDecorator.rawElems
private IndefiniteIterator[]	CompositeIterator.iters The iterators that are being sequenced

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

IndefiniteIterator	NewObjectAbstractExtensibleStrategyDecorator.iterator()
abstract IndefiniteIterator	StrategyType.iterator() Compute a fresh indefinite iterator, which can be used to provide test data of some reference type.
IndefiniteIterator	CachedObjectAbstractStrategy.iterator()
protected abstract IndefiniteIterator	CachedObjectAbstractStrategy.iteratorFor(Object[] data) Return an appropriate iterator for the data.
protected IndefiniteIterator	ImmutableObjectAbstractStrategy.iteratorFor(Object[] data)
IndefiniteIterator	NewObjectAbstractStrategy.iterator()
IndefiniteIterator	CharAbstractStrategy.iterator() Return the charIterator.
protected IndefiniteIterator	CloneableObjectAbstractStrategy.iteratorFor(Object[] data)
IndefiniteIterator	IntAbstractStrategy.iterator() Return the intIterator.
IndefiniteIterator	LongAbstractStrategy.iterator() Return the longIterator.
IndefiniteIterator	NonNullStrategyDecoratorTest.NonNullStrategyDecoratorTest$1.iterator()
IndefiniteIterator	AbstractFilteringStrategyDecorator.iterator()
protected IndefiniteIterator	ImmutableObjectArrayIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_ImmutableObjectArrayIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.ImmutableObjectArrayIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
IndefiniteIterator	DoubleAbstractStrategy.iterator() Return the doubleIterator.
IndefiniteIterator	BooleanAbstractStrategy.iterator() Return the booleanIterator.
IndefiniteIterator	FloatAbstractStrategy.iterator() Return the floatIterator.
IndefiniteIterator	ByteAbstractStrategy.iterator() Return the byteIterator.
IndefiniteIterator	NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1.iterator()
IndefiniteIterator	ShortAbstractStrategy.iterator() Return the shortIterator.
protected IndefiniteIterator	NewObjectAbstractIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_NewObjectAbstractIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.NewObjectAbstractIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	CloneableObjectArrayAbstractIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_CloneableObjectArrayAbstractIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.CloneableObjectArrayAbstractIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	DoubleAbstractFilteringIteratorDecorator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_DoubleAbstractFilteringIteratorDecoratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.DoubleAbstractFilteringIteratorDecorator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	CharIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_CharIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.CharIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	NonNullIteratorDecorator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_NonNullIteratorDecoratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.NonNullIteratorDecorator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	NonNullIteratorDecorator_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	NonNullIteratorDecorator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_IndefiniteIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.IndefiniteIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
IndefiniteIterator	AbstractExtensibleStrategyDecorator.iterator()
protected IndefiniteIterator	CompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_CompositeIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.CompositeIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	CompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_IndefiniteIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.IndefiniteIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	IntArrayIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_IntArrayIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.IntArrayIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	DoubleCompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_DoubleCompositeIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.DoubleCompositeIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	DoubleCompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_DoubleIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.jmlunit.strategies.DoubleIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
IndefiniteIterator	ObjectStrategy.ObjectStrategy$1.iterator()
IndefiniteIterator	CompositeStrategy.iterator()

Methods in org.jmlspecs.jmlunit.strategies with parameters of type IndefiniteIterator

static long	IndefiniteIteratorUtilities.size(IndefiniteIterator iter) Return the size of the given indefinite iterator
static boolean	IndefiniteIteratorUtilities.contains(IndefiniteIterator iter, Object o) Does the given iterator return something equals to the given object?
static boolean	IndefiniteIteratorUtilities.containsNull(IndefiniteIterator iter) Does the given iterator return null?
static boolean	IndefiniteIteratorUtilities.distinctValues(IndefiniteIterator iter) Does the given iterator have distinct values it returns?

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

AbstractFilteringIteratorDecorator(IndefiniteIterator iter)
Initialize this iterator decorator

AbstractFilteringIteratorDecorator(IndefiniteIterator iter, Object ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

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

CompositeIterator(IndefiniteIterator iter)
Initialize this composite to iterate over the given iterator.

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

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

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

NonNullIteratorDecorator(IndefiniteIterator iter)

Uses of IndefiniteIterator in org.jmlspecs.lang

Methods in org.jmlspecs.lang that return IndefiniteIterator

protected IndefiniteIterator	JMLDataGroup_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLDataGroup_JML_TestData.vorg_jmlspecs_lang_JMLDataGroupIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.lang.JMLDataGroup for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.models

Methods in org.jmlspecs.models that return IndefiniteIterator

protected IndefiniteIterator	JMLChar_JML_TestData.vjava_lang_CharacterIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Character for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLChar_JML_TestData.vorg_jmlspecs_models_JMLCharIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLChar for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLChar_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLObjectToValueMapIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLObjectToValueMap for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueSetIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLValueSet for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueToValueMapIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLValueToValueMap for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueValuePairIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLValueValuePair for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueToValueRelationIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLValueToValueRelation for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLObjectToValueRelationIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLObjectToValueRelation for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueToValueMap_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLListValueNode_JML_TestData.vorg_jmlspecs_models_JMLTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLListValueNode_JML_TestData.vorg_jmlspecs_models_JMLListValueNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLListValueNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLListValueNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLInteger_JML_TestData.vjava_lang_StringIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.String for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLInteger_JML_TestData.vorg_jmlspecs_models_JMLIntegerIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLInteger for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLInteger_JML_TestData.vjava_lang_IntegerIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Integer for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLInteger_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLFloat_JML_TestData.vorg_jmlspecs_models_JMLFloatIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLFloat for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLFloat_JML_TestData.vjava_lang_StringIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.String for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLFloat_JML_TestData.vjava_lang_FloatIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Float for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLFloat_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLValueToObjectRelationIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLValueToObjectRelation for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLObjectObjectPairIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLObjectObjectPair for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLObjectSetIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLObjectSet for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLObjectToObjectRelationIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLObjectToObjectRelation for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLObjectToObjectRelation_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLInfiniteInteger_JML_TestData.vorg_jmlspecs_models_JMLInfiniteIntegerIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLInfiniteInteger for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLInfiniteInteger_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueObjectPair_JML_TestData.vorg_jmlspecs_models_JMLTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueObjectPair_JML_TestData.vorg_jmlspecs_models_JMLValueObjectPairIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLValueObjectPair for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueObjectPair_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLString_JML_TestData.vorg_jmlspecs_models_JMLStringIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLString for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLString_JML_TestData.vjava_lang_StringIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.String for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLString_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueSet_JML_TestData.vjava_util_CollectionIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.util.Collection for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueSet_JML_TestData.vorg_jmlspecs_models_JMLValueSetIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLValueSet for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueSet_JML_TestData.vorg_jmlspecs_models_JMLTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueSet_JML_TestData.vorg_jmlspecs_models_JMLCollectionIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLCollection for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLValueSet_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	JMLNullSafe_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.models.resolve

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

protected IndefiniteIterator	NaturalNumber_JML_TestData.vorg_jmlspecs_models_resolve_NaturalNumberIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.resolve.NaturalNumber for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	NaturalNumber_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	NaturalNumber_JML_TestData.vjava_math_BigIntegerIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.math.BigInteger for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	StringOfObject_JML_TestData.vorg_jmlspecs_models_resolve_StringOfObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.resolve.StringOfObject for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	StringOfObject_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	StringOfObject_JML_TestData.vjava_util_CollectionIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.util.Collection for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.dbc

Methods in org.jmlspecs.samples.dbc that return IndefiniteIterator

protected IndefiniteIterator	Complex_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Complex_JML_TestData.vorg_jmlspecs_samples_dbc_ComplexIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.dbc.Complex for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.digraph

Methods in org.jmlspecs.samples.digraph that return IndefiniteIterator

protected IndefiniteIterator	TransposableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_TransposableDigraphIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.TransposableDigraph for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TransposableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.NodeType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SearchableNode_JML_TestData.vorg_jmlspecs_samples_digraph_SearchableNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.SearchableNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SearchableNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SearchableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.NodeType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SearchableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_SearchableDigraphIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.SearchableDigraph for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SearchableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_SearchableNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.SearchableNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	NodeType_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	NodeType_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.NodeType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TransposableNode_JML_TestData.vorg_jmlspecs_samples_digraph_TransposableNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.TransposableNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TransposableNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Arc_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.NodeType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Arc_JML_TestData.vorg_jmlspecs_samples_digraph_ArcIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.digraph.Arc for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Arc_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.jmlkluwer

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

protected IndefiniteIterator	PriorityQueue_JML_TestData.vorg_jmlspecs_samples_jmlkluwer_PriorityQueueIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.jmlkluwer.PriorityQueue for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	PriorityQueue_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	QueueEntry_JML_TestData.vorg_jmlspecs_samples_jmlkluwer_QueueEntryIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.jmlkluwer.QueueEntry for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	QueueEntry_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.jmltutorial

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

protected IndefiniteIterator	Person_JML_TestData.vorg_jmlspecs_samples_jmltutorial_PersonIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.jmltutorial.Person for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Person_JML_TestData.vjava_lang_StringIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.String for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.list.list1

Methods in org.jmlspecs.samples.list.list1 that return IndefiniteIterator

protected IndefiniteIterator	ListIterator_JML_TestData.vorg_jmlspecs_samples_list_list1_E_SLListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list1.E_SLList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	ListIterator_JML_TestData.vorg_jmlspecs_samples_list_list1_ListIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list1.ListIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	DLList_JML_TestData.vorg_jmlspecs_samples_list_list1_DLListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list1.DLList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	DLList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SLList_JML_TestData.vorg_jmlspecs_samples_list_list1_SLListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list1.SLList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SLList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	E_SLList_JML_TestData.vorg_jmlspecs_samples_list_list1_E_SLListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list1.E_SLList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	E_SLList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.list.list1.node

Methods in org.jmlspecs.samples.list.list1.node that return IndefiniteIterator

protected IndefiniteIterator	DLNode_JML_TestData.vorg_jmlspecs_samples_list_list1_node_DLNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list1.node.DLNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	DLNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SLNode_JML_TestData.vorg_jmlspecs_samples_list_list1_node_SLNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list1.node.SLNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	SLNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.list.list2

Methods in org.jmlspecs.samples.list.list2 that return IndefiniteIterator

protected IndefiniteIterator	OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list2_OneWayListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list2.OneWayList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	OneWayList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_list2_TwoWayIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list2.TwoWayIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_node_TwoWayNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.node.TwoWayNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	E_OneWayList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	E_OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list2_E_OneWayListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list2.E_OneWayList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayList_JML_TestData.vorg_jmlspecs_samples_list_list2_TwoWayListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list2.TwoWayList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.list.list3

Methods in org.jmlspecs.samples.list.list3 that return IndefiniteIterator

protected IndefiniteIterator	OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list3_OneWayListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list3.OneWayList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	OneWayList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_list3_TwoWayIteratorIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list3.TwoWayIterator for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_node_TwoWayNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.node.TwoWayNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	E_OneWayList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	E_OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list3_E_OneWayListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list3.E_OneWayList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayList_JML_TestData.vorg_jmlspecs_samples_list_list3_TwoWayListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.list3.TwoWayList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.list.node

Methods in org.jmlspecs.samples.list.node that return IndefiniteIterator

protected IndefiniteIterator	TwoWayNode_JML_TestData.vorg_jmlspecs_samples_list_node_TwoWayNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.node.TwoWayNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	OneWayNode_JML_TestData.vorg_jmlspecs_samples_list_node_OneWayNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.node.OneWayNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	OneWayNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.list.node2

Methods in org.jmlspecs.samples.list.node2 that return IndefiniteIterator

protected IndefiniteIterator	TwoWayNode_JML_TestData.vorg_jmlspecs_samples_list_node2_TwoWayNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.node2.TwoWayNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TwoWayNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	OneWayNode_JML_TestData.vorg_jmlspecs_samples_list_node2_OneWayNodeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.list.node2.OneWayNode for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	OneWayNode_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.misc

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

protected IndefiniteIterator	LinearSearch_JML_TestData.vorg_jmlspecs_samples_misc_LinearSearchIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.misc.LinearSearch for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Proof_JML_TestData.vorg_jmlspecs_samples_misc_ProofIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.misc.Proof for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Counter_JML_TestData.vorg_jmlspecs_samples_misc_CounterIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.misc.Counter for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Meter_JML_TestData.vorg_jmlspecs_samples_misc_MeterIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.misc.Meter for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.prelimdesign

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

protected IndefiniteIterator	USMoney_JML_TestData.vorg_jmlspecs_samples_prelimdesign_USMoneyIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.prelimdesign.USMoney for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	USMoney_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	USMoney_JML_TestData.vorg_jmlspecs_samples_prelimdesign_MoneyIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.prelimdesign.Money for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Account_JML_TestData.vorg_jmlspecs_samples_prelimdesign_MoneyOpsIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.prelimdesign.MoneyOps for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Account_JML_TestData.vjava_lang_StringIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.String for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Account_JML_TestData.vorg_jmlspecs_samples_prelimdesign_AccountIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.prelimdesign.Account for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	PlusAccount_JML_TestData.vorg_jmlspecs_samples_prelimdesign_PlusAccountIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.prelimdesign.PlusAccount for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	PlusAccount_JML_TestData.vjava_lang_StringIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.String for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	PlusAccount_JML_TestData.vorg_jmlspecs_samples_prelimdesign_MoneyOpsIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.prelimdesign.MoneyOps for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	Point2D_JML_TestData.vorg_jmlspecs_samples_prelimdesign_Point2DIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.prelimdesign.Point2D for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.reader

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

protected IndefiniteIterator

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

Uses of IndefiniteIterator in org.jmlspecs.samples.sets

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

protected IndefiniteIterator	IntegerSetAsHashSet_JML_TestData.vorg_jmlspecs_samples_sets_IntegerSetAsHashSetIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.sets.IntegerSetAsHashSet for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	IntegerSetAsTree_JML_TestData.vorg_jmlspecs_samples_sets_IntegerSetAsTreeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.sets.IntegerSetAsTree for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.stacks

Methods in org.jmlspecs.samples.stacks that return IndefiniteIterator

protected IndefiniteIterator	BoundedStackInterface_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	BoundedStackInterface_JML_TestData.vorg_jmlspecs_samples_stacks_BoundedStackInterfaceIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.stacks.BoundedStackInterface for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	UnboundedStackAsArrayList_JML_TestData.vorg_jmlspecs_samples_stacks_UnboundedStackAsArrayListIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.stacks.UnboundedStackAsArrayList for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	UnboundedStackAsArrayList_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.

Uses of IndefiniteIterator in org.jmlspecs.samples.table

Methods in org.jmlspecs.samples.table that return IndefiniteIterator

protected IndefiniteIterator	TableImplementation_JML_TestData.vorg_jmlspecs_samples_table_EntryIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.table.Entry for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TableImplementation_JML_TestData.vorg_jmlspecs_models_JMLTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	TableImplementation_JML_TestData.vorg_jmlspecs_samples_table_TableImplementationIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.table.TableImplementation for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	EntryImplementation_JML_TestData.vorg_jmlspecs_samples_table_EntryImplementationIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.samples.table.EntryImplementation for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	EntryImplementation_JML_TestData.vjava_lang_ObjectIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type java.lang.Object for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.
protected IndefiniteIterator	EntryImplementation_JML_TestData.vorg_jmlspecs_models_JMLTypeIter(String methodName, int loopsThisSurrounds) Return a new, freshly allocated indefinite iterator that produces test data of type org.jmlspecs.models.JMLType for testing the method named by the String methodName in a loop that encloses loopsThisSurrounds many other loops.