Uses of Class
org.jmlspecs.jmlunit.strategies.ByteAbstractStrategy

Packages that use ByteAbstractStrategy

org.jmlspecs.jmlunit.strategies

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

Uses of ByteAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of ByteAbstractStrategy in org.jmlspecs.jmlunit.strategies

class	ByteAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
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.