Uses of Class
org.jmlspecs.jmlunit.strategies.NewObjectAbstractIterator

Packages that use NewObjectAbstractIterator

org.jmlspecs.jmlunit.strategies

The types in this package are used in providing test data for JML/JUnit testing.

Uses of NewObjectAbstractIterator in org.jmlspecs.jmlunit.strategies

Subclasses of NewObjectAbstractIterator in org.jmlspecs.jmlunit.strategies

class	EmptyNewObjectIterator An empty new object iterator.
(package private) class	NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1.NewIter
(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

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

NewObjectAbstractIterator_JML_Test.TestInitialize(NewObjectAbstractIterator receiver$)
Initialize this instance.

NewObjectAbstractIterator_JML_Test.TestAdvance(NewObjectAbstractIterator receiver$)
Initialize this instance.

NewObjectAbstractIterator_JML_Test.TestAtEnd(NewObjectAbstractIterator receiver$)
Initialize this instance.

NewObjectAbstractIterator_JML_Test.TestGet(NewObjectAbstractIterator receiver$)
Initialize this instance.

NewObjectAbstractIterator_JML_Test.TestMake(NewObjectAbstractIterator receiver$, int n)
Initialize this instance.

NewObjectAbstractIterator_JML_Test.TestClone(NewObjectAbstractIterator receiver$)
Initialize this instance.