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

Packages that use CharStrategyType

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 CharStrategyType in org.jmlspecs.jmlunit.strategies

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

class	CharAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
class	CharAbstractStrategy Common code for strategies for providing test data of type char.
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.

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

private CharStrategyType	CharExtensibleStrategyDecorator.defaultData The default data, returned first in the iterations.
private CharStrategyType	CharExtensibleStrategyDecorator.addedData The added data, returned after the default data in the iterations.
private CharStrategyType	CharAbstractFilteringStrategyDecorator.rawData The test data
private CharStrategyType[]	CharCompositeStrategy.strats The indefinite iterators being concatenated.

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

CharExtensibleStrategyDecorator(CharStrategyType strat)

CharAbstractFilteringStrategyDecorator(CharStrategyType strat)

CharCompositeStrategy(CharStrategyType s)
Initialize this composite to return the iterator given by the given argument strategy.

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

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

Uses of CharStrategyType in org.jmlspecs.models

Classes in org.jmlspecs.models that implement CharStrategyType

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

Fields in org.jmlspecs.models declared as CharStrategyType

private CharStrategyType	JMLChar_JML_TestData.vcharStrategy The strategy for generating test data of type char.
private CharStrategyType	JMLString_JML_TestData.vcharIterStrategy The strategy for generating test data of type char.