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

Packages that use BooleanStrategyType

org.jmlspecs.jmlunit.strategies

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

Uses of BooleanStrategyType in org.jmlspecs.jmlunit.strategies

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

class	BooleanAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	BooleanAbstractStrategy Common code for strategies for providing test data of type boolean.
class	BooleanBigStrategy Test data of type boolean.
class	BooleanCompositeStrategy A composition of several BooleanStrategys
class	BooleanExtensibleStrategy Common code for extensible strategies for providing test data of type boolean.
class	BooleanExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type boolean) that allows for easy extension to the test data of the underlying strategy.
(package private) class	BooleanExtensibleStrategyDecorator.BooleanExtensibleStrategyDecorator$1
class	BooleanStrategy Test data of type boolean.

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

private BooleanStrategyType	BooleanExtensibleStrategyDecorator.defaultData The default data, returned first in the iterations.
private BooleanStrategyType	BooleanExtensibleStrategyDecorator.addedData The added data, returned after the default data in the iterations.
private BooleanStrategyType	BooleanAbstractFilteringStrategyDecorator.rawData The test data
private BooleanStrategyType[]	BooleanCompositeStrategy.strats The indefinite iterators being concatenated.

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

BooleanExtensibleStrategyDecorator(BooleanStrategyType strat)

BooleanAbstractFilteringStrategyDecorator(BooleanStrategyType strat)

BooleanCompositeStrategy(BooleanStrategyType s)
Initialize this composite to return the iterator given by the given argument strategy.

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

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