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

Packages that use CharIterator

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.

Uses of CharIterator in org.jmlspecs.jmlunit.strategies

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

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.

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

private CharIterator	CharAbstractFilteringIteratorDecorator.rawElems
private CharIterator[]	CharCompositeIterator.iters The iterators that are being sequenced

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

abstract CharIterator	CharStrategyType.charIterator() Compute a fresh CharIterator, which can be used to provide test data of type char.
CharIterator	CharExtensibleStrategy.charIterator()
CharIterator	CharExtensibleStrategyDecorator.charIterator()
CharIterator	CharAbstractFilteringStrategyDecorator.charIterator()
CharIterator	CharCompositeStrategy.charIterator()

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

CharAbstractFilteringIteratorDecorator(CharIterator iter)
Initialize this iterator decorator

CharAbstractFilteringIteratorDecorator(CharIterator iter, char ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

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

CharCompositeIterator(CharIterator iter)
Initialize this composite to iterate over the given iterator.

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

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

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

Uses of CharIterator in org.jmlspecs.models

Methods in org.jmlspecs.models that return CharIterator

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