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

Packages that use DoubleAbstractStrategy

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 DoubleAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of DoubleAbstractStrategy in org.jmlspecs.jmlunit.strategies

(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$1
class	DoubleAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	DoubleBigStrategy Slightly more extensive test data of type double.
(package private) class	DoubleBigStrategy.DoubleBigStrategy$1
class	DoubleCompositeStrategy A composition of several DoubleStrategys
class	DoubleExtensibleStrategy Common code for extensible strategies for providing test data of type double.
class	DoubleExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type double) that allows for easy extension to the test data of the underlying strategy.
(package private) class	DoubleExtensibleStrategyDecorator.DoubleExtensibleStrategyDecorator$1
class	DoubleNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	DoubleStrategy Minimal test data of type double.

Uses of DoubleAbstractStrategy in org.jmlspecs.samples.jmltutorial

Subclasses of DoubleAbstractStrategy in org.jmlspecs.samples.jmltutorial

(package private) class

SqrtExample_JML_TestData.SqrtExample_JML_TestData$1

Uses of DoubleAbstractStrategy in org.jmlspecs.samples.prelimdesign

Subclasses of DoubleAbstractStrategy 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