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

Packages that use ShortAbstractStrategy

org.jmlspecs.jmlunit.strategies

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

Uses of ShortAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of ShortAbstractStrategy in org.jmlspecs.jmlunit.strategies

class	ShortAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	ShortBigStrategy Slightly more extensive test data of type short.
(package private) class	ShortBigStrategy.ShortBigStrategy$1
class	ShortCompositeStrategy A composition of several ShortStrategys
class	ShortExtensibleStrategy Common code for extensible strategies for providing test data of type short.
class	ShortExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type short) that allows for easy extension to the test data of the underlying strategy.
(package private) class	ShortExtensibleStrategyDecorator.ShortExtensibleStrategyDecorator$1
class	ShortNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	ShortStrategy Minimal test data of type short.