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

Packages that use LongStrategyType

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.
org.jmlspecs.samples.jmlkluwer	This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design".
org.jmlspecs.samples.prelimdesign	This package contains samples of JML specifications from the paper Preliminary Design of JML.

Uses of LongStrategyType in org.jmlspecs.jmlunit.strategies

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

class	LongAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	LongAbstractStrategy Common code for strategies for providing test data of type long.
class	LongBigStrategy Slightly more extensive test data of type long.
(package private) class	LongBigStrategy.LongBigStrategy$1
class	LongCompositeStrategy A composition of several LongStrategys
class	LongExtensibleStrategy Common code for extensible strategies for providing test data of type long.
class	LongExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type long) that allows for easy extension to the test data of the underlying strategy.
(package private) class	LongExtensibleStrategyDecorator.LongExtensibleStrategyDecorator$1
class	LongNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	LongStrategy Minimal test data of type long.

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

private LongStrategyType	LongAbstractFilteringStrategyDecorator.rawData The test data
private LongStrategyType	LongExtensibleStrategyDecorator.defaultData The default data, returned first in the iterations.
private LongStrategyType	LongExtensibleStrategyDecorator.addedData The added data, returned after the default data in the iterations.
private LongStrategyType[]	LongCompositeStrategy.strats The indefinite iterators being concatenated.

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

LongAbstractFilteringStrategyDecorator(LongStrategyType strat)

LongExtensibleStrategyDecorator(LongStrategyType strat)

LongCompositeStrategy(LongStrategyType s)
Initialize this composite to return the iterator given by the given argument strategy.

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

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

LongNonNegativeStrategyDecorator(LongStrategyType strat)

Uses of LongStrategyType in org.jmlspecs.models.resolve

Classes in org.jmlspecs.models.resolve that implement LongStrategyType

(package private) class

NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$4

Fields in org.jmlspecs.models.resolve declared as LongStrategyType

private LongStrategyType

NaturalNumber_JML_TestData.vlongStrategy The strategy for generating test data of type long.

Uses of LongStrategyType in org.jmlspecs.samples.jmlkluwer

Classes in org.jmlspecs.samples.jmlkluwer that implement LongStrategyType

(package private) class

QueueEntry_JML_TestData.QueueEntry_JML_TestData$4

Fields in org.jmlspecs.samples.jmlkluwer declared as LongStrategyType

private LongStrategyType

QueueEntry_JML_TestData.vlongStrategy The strategy for generating test data of type long.

Uses of LongStrategyType in org.jmlspecs.samples.prelimdesign

Classes in org.jmlspecs.samples.prelimdesign that implement LongStrategyType

(package private) class

USMoney_JML_TestData.USMoney_JML_TestData$4

Fields in org.jmlspecs.samples.prelimdesign declared as LongStrategyType

private LongStrategyType

USMoney_JML_TestData.vlongStrategy The strategy for generating test data of type long.