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

Packages that use DoubleExtensibleStrategyDecorator

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.samples.jmltutorial	This package contains samples of JML specifications from the tutorials.
org.jmlspecs.samples.prelimdesign	This package contains samples of JML specifications from the paper Preliminary Design of JML.

Uses of DoubleExtensibleStrategyDecorator in org.jmlspecs.jmlunit.strategies

Subclasses of DoubleExtensibleStrategyDecorator in org.jmlspecs.jmlunit.strategies

(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$1
class	DoubleBigStrategy Slightly more extensive test data of type double.

Uses of DoubleExtensibleStrategyDecorator in org.jmlspecs.samples.jmltutorial

Subclasses of DoubleExtensibleStrategyDecorator in org.jmlspecs.samples.jmltutorial

(package private) class

SqrtExample_JML_TestData.SqrtExample_JML_TestData$1

Uses of DoubleExtensibleStrategyDecorator in org.jmlspecs.samples.prelimdesign

Subclasses of DoubleExtensibleStrategyDecorator in org.jmlspecs.samples.prelimdesign

(package private) class	Point2D_JML_TestData.Point2D_JML_TestData$2
(package private) class	USMoney_JML_TestData.USMoney_JML_TestData$1