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

Packages that use CharAbstractStrategy

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.

Uses of CharAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of CharAbstractStrategy in org.jmlspecs.jmlunit.strategies

class	CharAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	CharBigStrategy Slightly more extensive test data of type char.
(package private) class	CharBigStrategy.CharBigStrategy$1
class	CharCompositeStrategy A composition of several CharStrategys
class	CharExtensibleStrategy Common code for extensible strategies for providing test data of type char.
class	CharExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type char) that allows for easy extension to the test data of the underlying strategy.
(package private) class	CharExtensibleStrategyDecorator.CharExtensibleStrategyDecorator$1
class	CharStrategy Minimal test data of type char.

Uses of CharAbstractStrategy in org.jmlspecs.models

Subclasses of CharAbstractStrategy in org.jmlspecs.models

(package private) class	JMLChar_JML_TestData.JMLChar_JML_TestData$4
(package private) class	JMLString_JML_TestData.JMLString_JML_TestData$3