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

Packages that use FloatAbstractStrategy

org.jmlspecs.jmlunit.strategies

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

Uses of FloatAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of FloatAbstractStrategy in org.jmlspecs.jmlunit.strategies

class	FloatAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	FloatBigStrategy Slightly more extensive test data of type float.
(package private) class	FloatBigStrategy.FloatBigStrategy$1
class	FloatCompositeStrategy A composition of several FloatStrategys
class	FloatExtensibleStrategy Common code for extensible strategies for providing test data of type float.
class	FloatExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type float) that allows for easy extension to the test data of the underlying strategy.
(package private) class	FloatExtensibleStrategyDecorator.FloatExtensibleStrategyDecorator$1
class	FloatNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	FloatStrategy Minimal test data of type float.