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

Packages that use DoubleAbstractFilteringIteratorDecorator_JML_Test

org.jmlspecs.jmlunit.strategies

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

Uses of DoubleAbstractFilteringIteratorDecorator_JML_Test in org.jmlspecs.jmlunit.strategies

Subclasses of DoubleAbstractFilteringIteratorDecorator_JML_Test in org.jmlspecs.jmlunit.strategies

protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestAdvance Test for the advance method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestApprove Test for the approve method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestAtEnd Test for the atEnd method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestClone Test for the clone method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestGet Test for the get method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestGetDouble Test for the getDouble method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestInitialize Test for the initialize method.
protected static class	DoubleAbstractFilteringIteratorDecorator_JML_Test.TestToString Test for the toString method.