Uses of Interface
org.jmlspecs.jmlunit.strategies.FloatStrategyType

Packages that use FloatStrategyType

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.

Uses of FloatStrategyType in org.jmlspecs.jmlunit.strategies

Classes in org.jmlspecs.jmlunit.strategies that implement FloatStrategyType

class	FloatAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	FloatAbstractStrategy Common code for strategies for providing test data of type float.
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.

Fields in org.jmlspecs.jmlunit.strategies declared as FloatStrategyType

private FloatStrategyType	FloatExtensibleStrategyDecorator.defaultData The default data, returned first in the iterations.
private FloatStrategyType	FloatExtensibleStrategyDecorator.addedData The added data, returned after the default data in the iterations.
private FloatStrategyType	FloatAbstractFilteringStrategyDecorator.rawData The test data
private FloatStrategyType[]	FloatCompositeStrategy.strats The indefinite iterators being concatenated.

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

FloatExtensibleStrategyDecorator(FloatStrategyType strat)

FloatAbstractFilteringStrategyDecorator(FloatStrategyType strat)

FloatNonNegativeStrategyDecorator(FloatStrategyType strat)

FloatCompositeStrategy(FloatStrategyType s)
Initialize this composite to return the iterator given by the given argument strategy.

FloatCompositeStrategy(FloatStrategyType s1, FloatStrategyType s2)
Initialize this composite to return the iterator given by the given argument strategies, in order.

FloatCompositeStrategy(FloatStrategyType[] strats)
Initialize this composite to return the iterator given by the given argument strategies, in order.

Uses of FloatStrategyType in org.jmlspecs.models

Fields in org.jmlspecs.models declared as FloatStrategyType

private FloatStrategyType

JMLFloat_JML_TestData.vfloatStrategy The strategy for generating test data of type float.