|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |