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

Packages that use ByteStrategyType

org.jmlspecs.jmlunit.strategies

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

Uses of ByteStrategyType in org.jmlspecs.jmlunit.strategies

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

class	ByteAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	ByteAbstractStrategy Common code for strategies for providing test data of type byte.
class	ByteBigStrategy Slightly more extensive test data of type byte.
(package private) class	ByteBigStrategy.ByteBigStrategy$1
class	ByteCompositeStrategy A composition of several ByteStrategys
class	ByteExtensibleStrategy Common code for extensible strategies for providing test data of type byte.
class	ByteExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type byte) that allows for easy extension to the test data of the underlying strategy.
(package private) class	ByteExtensibleStrategyDecorator.ByteExtensibleStrategyDecorator$1
class	ByteNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	ByteStrategy Minimal test data of type byte.

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

private ByteStrategyType	ByteAbstractFilteringStrategyDecorator.rawData The test data
private ByteStrategyType	ByteExtensibleStrategyDecorator.defaultData The default data, returned first in the iterations.
private ByteStrategyType	ByteExtensibleStrategyDecorator.addedData The added data, returned after the default data in the iterations.
private ByteStrategyType[]	ByteCompositeStrategy.strats The indefinite iterators being concatenated.

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

ByteAbstractFilteringStrategyDecorator(ByteStrategyType strat)

ByteExtensibleStrategyDecorator(ByteStrategyType strat)

ByteCompositeStrategy(ByteStrategyType s)
Initialize this composite to return the iterator given by the given argument strategy.

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

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

ByteNonNegativeStrategyDecorator(ByteStrategyType strat)