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

Packages that use ShortStrategyType

org.jmlspecs.jmlunit.strategies

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

Uses of ShortStrategyType in org.jmlspecs.jmlunit.strategies

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

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

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

private ShortStrategyType	ShortExtensibleStrategyDecorator.defaultData The default data, returned first in the iterations.
private ShortStrategyType	ShortExtensibleStrategyDecorator.addedData The added data, returned after the default data in the iterations.
private ShortStrategyType	ShortAbstractFilteringStrategyDecorator.rawData The test data
private ShortStrategyType[]	ShortCompositeStrategy.strats The indefinite iterators being concatenated.

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

ShortExtensibleStrategyDecorator(ShortStrategyType strat)

ShortAbstractFilteringStrategyDecorator(ShortStrategyType strat)

ShortCompositeStrategy(ShortStrategyType s)
Initialize this composite to return the iterator given by the given argument strategy.

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

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

ShortNonNegativeStrategyDecorator(ShortStrategyType strat)