|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use org.jmlspecs.jmlunit.strategies | |
| org.jmlspecs.jmlunit.strategies | The types in this package are used in providing test data for JML/JUnit testing. |
| org.jmlspecs.lang | This package is a collection of types used in the definition of the JML language. |
| 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. |
| org.jmlspecs.models.resolve | This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models. |
| org.jmlspecs.samples.dbc | This package contains samples of JML specifications written in the style of design by contract. |
| org.jmlspecs.samples.digraph | This package contains samples of JML specifications for directed graphs. |
| org.jmlspecs.samples.jmlkluwer | This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design". |
| org.jmlspecs.samples.jmlrefman | This package contains samples of JML specifications from the JML Reference Manual. |
| org.jmlspecs.samples.jmltutorial | This package contains samples of JML specifications from the tutorials. |
| org.jmlspecs.samples.list.list1 | |
| org.jmlspecs.samples.list.list1.node | |
| org.jmlspecs.samples.list.list2 | |
| org.jmlspecs.samples.list.node | |
| org.jmlspecs.samples.list.node2 | |
| org.jmlspecs.samples.misc | This package contains miscellaneous samples of JML specifications. |
| org.jmlspecs.samples.prelimdesign | This package contains samples of JML specifications from the paper Preliminary Design of JML. |
| org.jmlspecs.samples.reader | This package contains samples of JML specifications relating to some abstractions of input and output. |
| org.jmlspecs.samples.sets | This package contains samples of JML specifications relating to sets. |
| org.jmlspecs.samples.stacks | This package contains samples of JML specifications relating to stacks of various sorts. |
| org.jmlspecs.samples.table | This package contains samples of JML specifications relating to tables. |
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.jmlunit.strategies | |
| AbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension to the test data of the underlying strategy. |
|
| AbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator. |
|
| AbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| BooleanAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type boolean. |
|
| BooleanAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| BooleanAbstractIterator
Common code for iterators over values of type boolean that implement the BooleanIterator interface. |
|
| BooleanAbstractStrategy
Common code for strategies for providing test data of type boolean. |
|
| BooleanExtensibleStrategy
Common code for extensible strategies for providing test data of type boolean. |
|
| BooleanIterator
An extended indefinite iterator interface that can iterate over values of type boolean without casting. |
|
| BooleanStrategy
Test data of type boolean. |
|
| BooleanStrategyType
The interface of strategies that provide test data of type boolean. |
|
| ByteAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type byte. |
|
| ByteAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| ByteAbstractIterator
Common code for iterators over values of type byte that implement the ByteIterator interface. |
|
| ByteAbstractStrategy
Common code for strategies for providing test data of type byte. |
|
| ByteExtensibleStrategy
Common code for extensible strategies for providing test data of type byte. |
|
| 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. |
|
| ByteIterator
An extended indefinite iterator interface that can iterate over values of type byte without casting. |
|
| ByteStrategy
Minimal test data of type byte. |
|
| ByteStrategyType
The interface of strategies that provide test data of type byte. |
|
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CharAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type char. |
|
| CharAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| CharAbstractIterator
Common code for iterators over values of type char that implement the CharIterator interface. |
|
| CharAbstractStrategy
Common code for strategies for providing test data of type char. |
|
| CharExtensibleStrategy
Common code for extensible strategies for providing test data of type char. |
|
| 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. |
|
| CharIterator
An extended indefinite iterator interface that can iterate over values of type char without casting. |
|
| CharStrategy
Minimal test data of type char. |
|
| CharStrategyType
The interface of strategies that provide test data of type char. |
|
| CloneableObjectAbstractExtensibleStrategyDecorator
A decorator for cloneable object strategies that allows for easy extension with cloneable test data. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| CloneableObjectAbstractStrategyTest
Hand-coded JUnit test for testing CloneableObjectAbstractStrategy. |
|
| CloneableObjectArrayAbstractIterator
An iterator that provides test data by returning a clone of the current object from an array of cloneable objects passed to its constructor. |
|
| CloneableObjectArrayAbstractIterator_JML_TestData
Supply test data for the JML and JUnit based testing of CloneableObjectArrayAbstractIterator. |
|
| DoubleAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type double. |
|
| DoubleAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| DoubleAbstractIterator
Common code for iterators over values of type double that implement the DoubleIterator interface. |
|
| DoubleAbstractStrategy
Common code for strategies for providing test data of type double. |
|
| DoubleBigStrategy
Slightly more extensive test data of type double. |
|
| DoubleExtensibleStrategy
Common code for extensible strategies for providing test data of type double. |
|
| DoubleExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type double) that allows for easy extension to the test data of the underlying strategy. |
|
| DoubleIterator
An extended indefinite iterator interface that can iterate over values of type double without casting. |
|
| DoubleStrategy
Minimal test data of type double. |
|
| DoubleStrategyType
The interface of strategies that provide test data of type double. |
|
| FloatAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type float. |
|
| FloatAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| FloatAbstractIterator
Common code for iterators over values of type float that implement the FloatIterator interface. |
|
| FloatAbstractStrategy
Common code for strategies for providing test data of type float. |
|
| FloatExtensibleStrategy
Common code for extensible strategies for providing test data of type float. |
|
| FloatExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type float) that allows for easy extension to the test data of the underlying strategy. |
|
| FloatIterator
An extended indefinite iterator interface that can iterate over values of type float without casting. |
|
| FloatStrategy
Minimal test data of type float. |
|
| FloatStrategyType
The interface of strategies that provide test data of type float. |
|
| ImmutableObjectAbstractStrategy
A strategy for producing test data of reference types with immutable objects, such as String. |
|
| ImmutableObjectAbstractStrategyTest
Hand-coded JUnit test for testing ImmutableObjectAbstractStrategy. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type int. |
|
| IntAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| IntAbstractIterator
Common code for iterators over values of type int that implement the IntIterator interface. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
|
| IntExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type int) that allows for easy extension to the test data of the underlying strategy. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategy
Minimal test data of type int. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| LongAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type long. |
|
| LongAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| LongAbstractIterator
Common code for iterators over values of type long that implement the LongIterator interface. |
|
| LongAbstractStrategy
Common code for strategies for providing test data of type long. |
|
| LongExtensibleStrategy
Common code for extensible strategies for providing test data of type long. |
|
| LongExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type long) that allows for easy extension to the test data of the underlying strategy. |
|
| LongIterator
An extended indefinite iterator interface that can iterate over values of type long without casting. |
|
| LongStrategy
Minimal test data of type long. |
|
| LongStrategyType
The interface of strategies that provide test data of type long. |
|
| NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
|
| NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1
|
|
| NewObjectAbstractIterator
An iterator that provides test data by creating (in general) the objects each time the get() method is called. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| ObjectArrayAbstractIterator
An indefinite iterator that provides test data from an array of objects passed to its constructor. |
|
| ObjectStrategy
A minimal, extensible strategy for producing test data of type Object. |
|
| ShortAbstractFilteringIteratorDecorator
An filtering decorator for an indefinite iterator over type short. |
|
| ShortAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
|
| ShortAbstractIterator
Common code for iterators over values of type short that implement the ShortIterator interface. |
|
| ShortAbstractStrategy
Common code for strategies for providing test data of type short. |
|
| ShortExtensibleStrategy
Common code for extensible strategies for providing test data of type short. |
|
| ShortExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type short) that allows for easy extension to the test data of the underlying strategy. |
|
| ShortIterator
An extended indefinite iterator interface that can iterate over values of type short without casting. |
|
| ShortStrategy
Minimal test data of type short. |
|
| ShortStrategyType
The interface of strategies that provide test data of type short. |
|
| StrategyType
Strategies for providing test data. |
|
| StringStrategy
A strategy for producing test data of type String. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.lang | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| ImmutableObjectAbstractStrategy
A strategy for producing test data of reference types with immutable objects, such as String. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
|
| ObjectStrategy
A minimal, extensible strategy for producing test data of type Object. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.models | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CharAbstractStrategy
Common code for strategies for providing test data of type char. |
|
| CharExtensibleStrategy
Common code for extensible strategies for providing test data of type char. |
|
| CharIterator
An extended indefinite iterator interface that can iterate over values of type char without casting. |
|
| CharStrategy
Minimal test data of type char. |
|
| CharStrategyType
The interface of strategies that provide test data of type char. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| FloatIterator
An extended indefinite iterator interface that can iterate over values of type float without casting. |
|
| FloatStrategyType
The interface of strategies that provide test data of type float. |
|
| ImmutableObjectAbstractStrategy
A strategy for producing test data of reference types with immutable objects, such as String. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategy
Minimal test data of type int. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| ObjectStrategy
A minimal, extensible strategy for producing test data of type Object. |
|
| StrategyType
Strategies for providing test data. |
|
| StringStrategy
A strategy for producing test data of type String. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.models.resolve | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| ImmutableObjectAbstractStrategy
A strategy for producing test data of reference types with immutable objects, such as String. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategy
Minimal test data of type int. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| LongAbstractStrategy
Common code for strategies for providing test data of type long. |
|
| LongExtensibleStrategy
Common code for extensible strategies for providing test data of type long. |
|
| LongIterator
An extended indefinite iterator interface that can iterate over values of type long without casting. |
|
| LongStrategy
Minimal test data of type long. |
|
| LongStrategyType
The interface of strategies that provide test data of type long. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.dbc | |
| IndefiniteIterator
Indefinite iterators. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.digraph | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| ObjectStrategy
A minimal, extensible strategy for producing test data of type Object. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.jmlkluwer | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntBigStrategy
Slightly more extensive test data of type int. |
|
| IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
|
| IntExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type int) that allows for easy extension to the test data of the underlying strategy. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategy
Minimal test data of type int. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| LongAbstractStrategy
Common code for strategies for providing test data of type long. |
|
| LongBigStrategy
Slightly more extensive test data of type long. |
|
| LongExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type long) that allows for easy extension to the test data of the underlying strategy. |
|
| LongIterator
An extended indefinite iterator interface that can iterate over values of type long without casting. |
|
| LongStrategyType
The interface of strategies that provide test data of type long. |
|
| NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| ObjectStrategy
A minimal, extensible strategy for producing test data of type Object. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.jmlrefman | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.jmltutorial | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| DoubleAbstractStrategy
Common code for strategies for providing test data of type double. |
|
| DoubleBigStrategy
Slightly more extensive test data of type double. |
|
| DoubleExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type double) that allows for easy extension to the test data of the underlying strategy. |
|
| DoubleIterator
An extended indefinite iterator interface that can iterate over values of type double without casting. |
|
| DoubleStrategyType
The interface of strategies that provide test data of type double. |
|
| ImmutableObjectAbstractStrategy
A strategy for producing test data of reference types with immutable objects, such as String. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
| StringStrategy
A strategy for producing test data of type String. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.list.list1 | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.list.list1.node | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.list.list2 | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| ObjectStrategy
A minimal, extensible strategy for producing test data of type Object. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.list.node | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.list.node2 | |
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.misc | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategy
Minimal test data of type int. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.prelimdesign | |
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| DoubleAbstractStrategy
Common code for strategies for providing test data of type double. |
|
| DoubleBigStrategy
Slightly more extensive test data of type double. |
|
| DoubleExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type double) that allows for easy extension to the test data of the underlying strategy. |
|
| DoubleIterator
An extended indefinite iterator interface that can iterate over values of type double without casting. |
|
| DoubleStrategyType
The interface of strategies that provide test data of type double. |
|
| ImmutableObjectAbstractStrategy
A strategy for producing test data of reference types with immutable objects, such as String. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntBigStrategy
Slightly more extensive test data of type int. |
|
| IntExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type int) that allows for easy extension to the test data of the underlying strategy. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| LongAbstractStrategy
Common code for strategies for providing test data of type long. |
|
| LongBigStrategy
Slightly more extensive test data of type long. |
|
| LongExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type long) that allows for easy extension to the test data of the underlying strategy. |
|
| LongIterator
An extended indefinite iterator interface that can iterate over values of type long without casting. |
|
| LongStrategyType
The interface of strategies that provide test data of type long. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
| StringStrategy
A strategy for producing test data of type String. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.reader | |
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategy
Minimal test data of type int. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.sets | |
| IndefiniteIterator
Indefinite iterators. |
|
| IntAbstractStrategy
Common code for strategies for providing test data of type int. |
|
| IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
|
| IntIterator
An extended indefinite iterator interface that can iterate over values of type int without casting. |
|
| IntStrategy
Minimal test data of type int. |
|
| IntStrategyType
The interface of strategies that provide test data of type int. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.stacks | |
| IndefiniteIterator
Indefinite iterators. |
|
| NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| ObjectStrategy
A minimal, extensible strategy for producing test data of type Object. |
|
| StrategyType
Strategies for providing test data. |
|
| Classes in org.jmlspecs.jmlunit.strategies used by org.jmlspecs.samples.table | |
| AbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension to the test data of the underlying strategy. |
|
| CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
|
| CloneableObjectAbstractExtensibleStrategyDecorator
A decorator for cloneable object strategies that allows for easy extension with cloneable test data. |
|
| CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
|
| IndefiniteIterator
Indefinite iterators. |
|
| JMLTypeStrategy
A strategy for generating test data of type JMLType. |
|
| NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
|
| StrategyType
Strategies for providing test data. |
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||