|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use StrategyType | |
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.list3 | |
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. |
Uses of StrategyType in org.jmlspecs.jmlunit.strategies |
Subinterfaces of StrategyType in org.jmlspecs.jmlunit.strategies | |
interface |
BooleanStrategyType
The interface of strategies that provide test data of type boolean. |
interface |
ByteStrategyType
The interface of strategies that provide test data of type byte. |
interface |
CharStrategyType
The interface of strategies that provide test data of type char. |
interface |
DoubleStrategyType
The interface of strategies that provide test data of type double. |
interface |
FloatStrategyType
The interface of strategies that provide test data of type float. |
interface |
IntStrategyType
The interface of strategies that provide test data of type int. |
interface |
LongStrategyType
The interface of strategies that provide test data of type long. |
interface |
ShortStrategyType
The interface of strategies that provide test data of type short. |
Classes in org.jmlspecs.jmlunit.strategies that implement StrategyType | |
class |
AbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension to the test data of the underlying strategy. |
class |
AbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
class |
BooleanAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
class |
BooleanAbstractStrategy
Common code for strategies for providing test data of type boolean. |
class |
BooleanBigStrategy
Test data of type boolean. |
class |
BooleanCompositeStrategy
A composition of several BooleanStrategys |
class |
BooleanExtensibleStrategy
Common code for extensible strategies for providing test data of type boolean. |
class |
BooleanExtensibleStrategyDecorator
A decorator for strategies (which provide test data of type type boolean) that allows for easy extension to the test data of the underlying strategy. |
(package private) class |
BooleanExtensibleStrategyDecorator.BooleanExtensibleStrategyDecorator$1
|
class |
BooleanStrategy
Test data of type boolean. |
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. |
class |
CachedObjectAbstractStrategy
A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user. |
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
|
(package private) class |
CharIterator_JML_TestData.CharIterator_JML_TestData$1
|
class |
CharStrategy
Minimal test data of type char. |
class |
CloneableObjectAbstractExtensibleStrategyDecorator
A decorator for cloneable object strategies that allows for easy extension with cloneable test data. |
(package private) class |
CloneableObjectAbstractExtensibleStrategyDecorator.CloneableObjectAbstractExtensibleStrategyDecorator$1
|
class |
CloneableObjectAbstractStrategy
A strategy for producing test data of cloneable reference types. |
(package private) class |
CloneableObjectAbstractStrategyTest.CloneableObjectAbstractStrategyTest$1
|
protected class |
CloneableObjectAbstractStrategyTest.SingletonCOAS
A class that just provides null and one more value of type double[] |
protected class |
CloneableObjectAbstractStrategyTest.SmallestCOAS
A class that just provides null |
(package private) class |
CloneableObjectArrayAbstractIterator_JML_TestData.CloneableObjectArrayAbstractIterator_JML_TestData$1
|
class |
CollectionStrategy
A small extensible strategy for producing test data of type Collection. |
(package private) class |
CollectionStrategy.CollectionStrategy$1
|
(package private) class |
CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$1
|
(package private) class |
CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$2
|
(package private) class |
CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$3
|
class |
CompositeStrategy
A composition of several strategies |
(package private) class |
DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$1
|
(package private) class |
DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2
|
class |
DoubleAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
class |
DoubleAbstractStrategy
Common code for strategies for providing test data of type double. |
class |
DoubleBigStrategy
Slightly more extensive test data of type double. |
(package private) class |
DoubleBigStrategy.DoubleBigStrategy$1
|
(package private) class |
DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$1
|
(package private) class |
DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$2
|
(package private) class |
DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$3
|
class |
DoubleCompositeStrategy
A composition of several DoubleStrategys |
class |
DoubleExtensibleStrategy
Common code for extensible strategies for providing test data of type double. |
class |
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. |
(package private) class |
DoubleExtensibleStrategyDecorator.DoubleExtensibleStrategyDecorator$1
|
class |
DoubleNonNegativeStrategyDecorator
A decorator for strategies that filters out that filters out negative test data. |
class |
DoubleStrategy
Minimal test data of type double. |
class |
FloatAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
class |
FloatAbstractStrategy
Common code for strategies for providing test data of type float. |
class |
FloatBigStrategy
Slightly more extensive test data of type float. |
(package private) class |
FloatBigStrategy.FloatBigStrategy$1
|
class |
FloatCompositeStrategy
A composition of several FloatStrategys |
class |
FloatExtensibleStrategy
Common code for extensible strategies for providing test data of type float. |
class |
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. |
(package private) class |
FloatExtensibleStrategyDecorator.FloatExtensibleStrategyDecorator$1
|
class |
FloatNonNegativeStrategyDecorator
A decorator for strategies that filters out that filters out negative test data. |
class |
FloatStrategy
Minimal test data of type float. |
class |
ImmutableObjectAbstractStrategy
A strategy for producing test data of reference types with immutable objects, such as String. |
(package private) class |
ImmutableObjectAbstractStrategyTest.ImmutableObjectAbstractStrategyTest$1
|
protected class |
ImmutableObjectAbstractStrategyTest.SingletonIOAS
A class that just provides null and one more value |
protected class |
ImmutableObjectAbstractStrategyTest.SmallestIOAS
A class that just provides null |
(package private) class |
ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$1
|
(package private) class |
ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$2
|
class |
ImmutableObjectExtensibleStrategyDecorator
A decorator for immutable object strategies that allows for easy extension with immutable test data. |
(package private) class |
ImmutableObjectExtensibleStrategyDecorator.ImmutableObjectExtensibleStrategyDecorator$1
|
class |
IntAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
class |
IntAbstractStrategy
Common code for strategies for providing test data of type int. |
(package private) class |
IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1
|
(package private) class |
IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2
|
class |
IntBigStrategy
Slightly more extensive test data of type int. |
(package private) class |
IntBigStrategy.IntBigStrategy$1
|
class |
IntCompositeStrategy
A composition of several IntStrategys |
class |
IntExtensibleStrategy
Common code for extensible strategies for providing test data of type int. |
class |
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. |
(package private) class |
IntExtensibleStrategyDecorator.IntExtensibleStrategyDecorator$1
|
class |
IntNonNegativeStrategyDecorator
A decorator for strategies that filters out that filters out negative test data. |
class |
IntStrategy
Minimal test data of type int. |
class |
JMLCollectionStrategy
A strategy for generating test data of type JMLCollection. |
(package private) class |
JMLCollectionUnextensibleStrategy
A strategy for providing test data of type JMLCollection. |
class |
JMLTypeStrategy
A strategy for generating test data of type JMLType. |
(package private) class |
JMLTypeUnextensibleStrategy
A strategy for providing test data of type JMLType. |
class |
LongAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
class |
LongAbstractStrategy
Common code for strategies for providing test data of type long. |
class |
LongBigStrategy
Slightly more extensive test data of type long. |
(package private) class |
LongBigStrategy.LongBigStrategy$1
|
class |
LongCompositeStrategy
A composition of several LongStrategys |
class |
LongExtensibleStrategy
Common code for extensible strategies for providing test data of type long. |
class |
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. |
(package private) class |
LongExtensibleStrategyDecorator.LongExtensibleStrategyDecorator$1
|
class |
LongNonNegativeStrategyDecorator
A decorator for strategies that filters out that filters out negative test data. |
class |
LongStrategy
Minimal test data of type long. |
class |
NewObjectAbstractExtensibleStrategyDecorator
A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy. |
(package private) class |
NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1
|
(package private) class |
NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$1
|
(package private) class |
NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2
|
class |
NewObjectAbstractStrategy
A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument. |
protected class |
NewObjectAbstractStrategyTest.SingletonNOAS
A class that just provides null and one more object |
protected class |
NewObjectAbstractStrategyTest.SmallestNOAS
A class that just provides null |
(package private) class |
NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$1
|
(package private) class |
NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$2
|
(package private) class |
NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$3
|
class |
NonNullStrategyDecorator
A decorator that filters out null test data. |
(package private) class |
NonNullStrategyDecoratorTest.NonNullStrategyDecoratorTest$1
|
class |
ObjectStrategy
A minimal, extensible strategy for producing test data of type Object . |
(package private) class |
ObjectStrategy.ObjectStrategy$1
|
(package private) class |
ObjectStrategyTest.ObjectStrategyTest$1
|
class |
ShortAbstractFilteringStrategyDecorator
A decorator for strategies that filters out data that is not approved. |
class |
ShortAbstractStrategy
Common code for strategies for providing test data of type short. |
class |
ShortBigStrategy
Slightly more extensive test data of type short. |
(package private) class |
ShortBigStrategy.ShortBigStrategy$1
|
class |
ShortCompositeStrategy
A composition of several ShortStrategys |
class |
ShortExtensibleStrategy
Common code for extensible strategies for providing test data of type short. |
class |
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. |
(package private) class |
ShortExtensibleStrategyDecorator.ShortExtensibleStrategyDecorator$1
|
class |
ShortNonNegativeStrategyDecorator
A decorator for strategies that filters out that filters out negative test data. |
class |
ShortStrategy
Minimal test data of type short. |
class |
StringStrategy
A strategy for producing test data of type String. |
(package private) class |
StringStrategyTest.StringStrategyTest$1
|
Fields in org.jmlspecs.jmlunit.strategies declared as StrategyType | |
private StrategyType |
NewObjectAbstractExtensibleStrategyDecorator.defaultData
The default data, returned first in the iterations. |
private StrategyType |
NewObjectAbstractExtensibleStrategyDecorator.addedData
The added data, returned after the default data in the iterations. |
private StrategyType |
AbstractFilteringStrategyDecorator.rawData
The test data |
private StrategyType |
ImmutableObjectArrayIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_ImmutableObjectArrayIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.ImmutableObjectArrayIterator. |
private StrategyType |
NewObjectAbstractIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_NewObjectAbstractIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.NewObjectAbstractIterator. |
private StrategyType |
CloneableObjectArrayAbstractIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_CloneableObjectArrayAbstractIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.CloneableObjectArrayAbstractIterator. |
private StrategyType |
DoubleAbstractFilteringIteratorDecorator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_DoubleAbstractFilteringIteratorDecoratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.DoubleAbstractFilteringIteratorDecorator. |
private StrategyType |
CharIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_CharIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.CharIterator. |
private StrategyType |
NonNullIteratorDecorator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_NonNullIteratorDecoratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.NonNullIteratorDecorator. |
private StrategyType |
NonNullIteratorDecorator_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
NonNullIteratorDecorator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_IndefiniteIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.IndefiniteIterator. |
private StrategyType |
AbstractExtensibleStrategyDecorator.defaultData
The default data, returned first in the iterations. |
private StrategyType |
AbstractExtensibleStrategyDecorator.addedData
The added data, returned after the default data in the iterations. |
private StrategyType |
CompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_CompositeIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.CompositeIterator. |
private StrategyType |
CompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_IndefiniteIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.IndefiniteIterator. |
private StrategyType |
IntArrayIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_IntArrayIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.IntArrayIterator. |
private StrategyType |
DoubleCompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_DoubleCompositeIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.DoubleCompositeIterator. |
private StrategyType |
DoubleCompositeIterator_JML_TestData.vorg_jmlspecs_jmlunit_strategies_DoubleIteratorStrategy
The strategy for generating test data of type org.jmlspecs.jmlunit.strategies.DoubleIterator. |
private StrategyType[] |
CompositeStrategy.strats
The indefinite iterators being concatenated. |
Methods in org.jmlspecs.jmlunit.strategies that return StrategyType | |
protected abstract StrategyType |
AbstractExtensibleStrategyDecorator.addedDataStrategy(Object[] added)
|
protected StrategyType |
ImmutableObjectExtensibleStrategyDecorator.addedDataStrategy(Object[] added)
|
protected StrategyType |
CloneableObjectAbstractExtensibleStrategyDecorator.addedDataStrategy(Object[] added)
|
Constructors in org.jmlspecs.jmlunit.strategies with parameters of type StrategyType | |
NewObjectAbstractExtensibleStrategyDecorator(StrategyType strat)
|
|
AbstractFilteringStrategyDecorator(StrategyType strat)
|
|
AbstractExtensibleStrategyDecorator(StrategyType strat)
|
|
ImmutableObjectExtensibleStrategyDecorator(StrategyType strat)
|
|
CloneableObjectAbstractExtensibleStrategyDecorator(StrategyType strat)
|
|
NonNullStrategyDecorator(StrategyType strat)
|
|
CompositeStrategy(StrategyType s)
Initialize this composite to return the iterator given by the given argument strategy. |
|
CompositeStrategy(StrategyType s1,
StrategyType s2)
Initialize this composite to return the iterator given by the given argument strategies, in order. |
|
CompositeStrategy(StrategyType[] strats)
Initialize this composite to return the iterator given by the given argument strategies, in order. |
Uses of StrategyType in org.jmlspecs.lang |
Classes in org.jmlspecs.lang that implement StrategyType | |
(package private) class |
JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$1
|
(package private) class |
JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$2
|
Fields in org.jmlspecs.lang declared as StrategyType | |
private StrategyType |
JMLDataGroup_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLDataGroup_JML_TestData.vorg_jmlspecs_lang_JMLDataGroupStrategy
The strategy for generating test data of type org.jmlspecs.lang.JMLDataGroup. |
Uses of StrategyType in org.jmlspecs.models |
Fields in org.jmlspecs.models declared as StrategyType | |
private StrategyType |
JMLChar_JML_TestData.vjava_lang_CharacterStrategy
The strategy for generating test data of type java.lang.Character. |
private StrategyType |
JMLChar_JML_TestData.vorg_jmlspecs_models_JMLCharStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLChar. |
private StrategyType |
JMLChar_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLObjectToValueMapStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLObjectToValueMap. |
private StrategyType |
JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueSetStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLValueSet. |
private StrategyType |
JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueToValueMapStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLValueToValueMap. |
private StrategyType |
JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueValuePairStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLValueValuePair. |
private StrategyType |
JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLValueToValueRelationStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLValueToValueRelation. |
private StrategyType |
JMLValueToValueMap_JML_TestData.vorg_jmlspecs_models_JMLObjectToValueRelationStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLObjectToValueRelation. |
private StrategyType |
JMLValueToValueMap_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLListValueNode_JML_TestData.vorg_jmlspecs_models_JMLTypeStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLType. |
private StrategyType |
JMLListValueNode_JML_TestData.vorg_jmlspecs_models_JMLListValueNodeStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLListValueNode. |
private StrategyType |
JMLListValueNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLInteger_JML_TestData.vjava_lang_StringStrategy
The strategy for generating test data of type java.lang.String. |
private StrategyType |
JMLInteger_JML_TestData.vorg_jmlspecs_models_JMLIntegerStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLInteger. |
private StrategyType |
JMLInteger_JML_TestData.vjava_lang_IntegerStrategy
The strategy for generating test data of type java.lang.Integer. |
private StrategyType |
JMLInteger_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLFloat_JML_TestData.vorg_jmlspecs_models_JMLFloatStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLFloat. |
private StrategyType |
JMLFloat_JML_TestData.vjava_lang_StringStrategy
The strategy for generating test data of type java.lang.String. |
private StrategyType |
JMLFloat_JML_TestData.vjava_lang_FloatStrategy
The strategy for generating test data of type java.lang.Float. |
private StrategyType |
JMLFloat_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLValueToObjectRelationStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLValueToObjectRelation. |
private StrategyType |
JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLObjectObjectPairStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLObjectObjectPair. |
private StrategyType |
JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLObjectSetStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLObjectSet. |
private StrategyType |
JMLObjectToObjectRelation_JML_TestData.vorg_jmlspecs_models_JMLObjectToObjectRelationStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLObjectToObjectRelation. |
private StrategyType |
JMLObjectToObjectRelation_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLInfiniteInteger_JML_TestData.vorg_jmlspecs_models_JMLInfiniteIntegerStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLInfiniteInteger. |
private StrategyType |
JMLInfiniteInteger_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLValueObjectPair_JML_TestData.vorg_jmlspecs_models_JMLValueObjectPairStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLValueObjectPair. |
private StrategyType |
JMLValueObjectPair_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLString_JML_TestData.vorg_jmlspecs_models_JMLStringStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLString. |
private StrategyType |
JMLString_JML_TestData.vjava_lang_StringStrategy
The strategy for generating test data of type java.lang.String. |
private StrategyType |
JMLString_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLValueSet_JML_TestData.vorg_jmlspecs_models_JMLValueSetStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLValueSet. |
private StrategyType |
JMLValueSet_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
JMLNullSafe_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.models.resolve |
Classes in org.jmlspecs.models.resolve that implement StrategyType | |
(package private) class |
NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$1
|
(package private) class |
NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$2
|
(package private) class |
NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$3
|
(package private) class |
NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$4
|
(package private) class |
NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$5
|
(package private) class |
StringOfObject_JML_TestData.StringOfObject_JML_TestData$1
|
(package private) class |
StringOfObject_JML_TestData.StringOfObject_JML_TestData$2
|
(package private) class |
StringOfObject_JML_TestData.StringOfObject_JML_TestData$3
|
(package private) class |
StringOfObject_JML_TestData.StringOfObject_JML_TestData$4
|
Fields in org.jmlspecs.models.resolve declared as StrategyType | |
private StrategyType |
NaturalNumber_JML_TestData.vorg_jmlspecs_models_resolve_NaturalNumberStrategy
The strategy for generating test data of type org.jmlspecs.models.resolve.NaturalNumber. |
private StrategyType |
NaturalNumber_JML_TestData.vorg_jmlspecs_models_resolve_NatSmallStrategy
The strategy for generating test data of type org.jmlspecs.models.resolve.NaturalNumber. |
private StrategyType |
NaturalNumber_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
NaturalNumber_JML_TestData.vjava_math_BigIntegerStrategy
The strategy for generating test data of type java.math.BigInteger. |
private StrategyType |
StringOfObject_JML_TestData.vorg_jmlspecs_models_resolve_StringOfObjectStrategy
The strategy for generating test data of type org.jmlspecs.models.resolve.StringOfObject. |
private StrategyType |
StringOfObject_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
StringOfObject_JML_TestData.vjava_util_CollectionStrategy
The strategy for generating test data of type java.util.Collection. |
Uses of StrategyType in org.jmlspecs.samples.dbc |
Classes in org.jmlspecs.samples.dbc that implement StrategyType | |
(package private) class |
Complex_JML_TestData.Complex_JML_TestData$1
|
(package private) class |
Complex_JML_TestData.Complex_JML_TestData$2
|
Fields in org.jmlspecs.samples.dbc declared as StrategyType | |
private StrategyType |
Complex_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
Complex_JML_TestData.vorg_jmlspecs_samples_dbc_ComplexStrategy
The strategy for generating test data of type org.jmlspecs.samples.dbc.Complex. |
Uses of StrategyType in org.jmlspecs.samples.digraph |
Fields in org.jmlspecs.samples.digraph declared as StrategyType | |
private StrategyType |
TransposableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_TransposableDigraphStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.TransposableDigraph. |
private StrategyType |
TransposableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.NodeType. |
private StrategyType |
SearchableNode_JML_TestData.vorg_jmlspecs_samples_digraph_SearchableNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.SearchableNode. |
private StrategyType |
SearchableNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
SearchableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.NodeType. |
private StrategyType |
SearchableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_SearchableDigraphStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.SearchableDigraph. |
private StrategyType |
SearchableDigraph_JML_TestData.vorg_jmlspecs_samples_digraph_SearchableNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.SearchableNode. |
private StrategyType |
NodeType_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
NodeType_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.NodeType. |
private StrategyType |
TransposableNode_JML_TestData.vorg_jmlspecs_samples_digraph_TransposableNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.TransposableNode. |
private StrategyType |
TransposableNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
Arc_JML_TestData.vorg_jmlspecs_samples_digraph_NodeTypeStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.NodeType. |
private StrategyType |
Arc_JML_TestData.vorg_jmlspecs_samples_digraph_ArcStrategy
The strategy for generating test data of type org.jmlspecs.samples.digraph.Arc. |
private StrategyType |
Arc_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.jmlkluwer |
Classes in org.jmlspecs.samples.jmlkluwer that implement StrategyType | |
(package private) class |
PriorityQueue_JML_TestData.PriorityQueue_JML_TestData$1
|
(package private) class |
PriorityQueue_JML_TestData.PriorityQueue_JML_TestData$2
|
(package private) class |
PriorityQueue_JML_TestData.PriorityQueue_JML_TestData$3
|
(package private) class |
QueueEntry_JML_TestData.QueueEntry_JML_TestData$1
|
(package private) class |
QueueEntry_JML_TestData.QueueEntry_JML_TestData$2
|
(package private) class |
QueueEntry_JML_TestData.QueueEntry_JML_TestData$3
|
(package private) class |
QueueEntry_JML_TestData.QueueEntry_JML_TestData$4
|
Fields in org.jmlspecs.samples.jmlkluwer declared as StrategyType | |
private StrategyType |
PriorityQueue_JML_TestData.vorg_jmlspecs_samples_jmlkluwer_PriorityQueueStrategy
The strategy for generating test data of type org.jmlspecs.samples.jmlkluwer.PriorityQueue. |
private StrategyType |
PriorityQueue_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
QueueEntry_JML_TestData.vorg_jmlspecs_samples_jmlkluwer_QueueEntryStrategy
The strategy for generating test data of type org.jmlspecs.samples.jmlkluwer.QueueEntry. |
private StrategyType |
QueueEntry_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.jmlrefman |
Classes in org.jmlspecs.samples.jmlrefman that implement StrategyType | |
(package private) class |
SumArrayLoop_JML_TestData.SumArrayLoop_JML_TestData$1
|
Uses of StrategyType in org.jmlspecs.samples.jmltutorial |
Classes in org.jmlspecs.samples.jmltutorial that implement StrategyType | |
(package private) class |
Person_JML_TestData.Person_JML_TestData$1
|
(package private) class |
Person_JML_TestData.Person_JML_TestData$2
|
(package private) class |
SqrtExample_JML_TestData.SqrtExample_JML_TestData$1
|
Fields in org.jmlspecs.samples.jmltutorial declared as StrategyType | |
private StrategyType |
Person_JML_TestData.vorg_jmlspecs_samples_jmltutorial_PersonStrategy
The strategy for generating test data of type org.jmlspecs.samples.jmltutorial.Person. |
private StrategyType |
Person_JML_TestData.vjava_lang_StringStrategy
The strategy for generating test data of type java.lang.String. |
Uses of StrategyType in org.jmlspecs.samples.list.list1 |
Classes in org.jmlspecs.samples.list.list1 that implement StrategyType | |
(package private) class |
DLList_JML_TestData.DLList_JML_TestData$1
|
(package private) class |
E_SLList_JML_TestData.E_SLList_JML_TestData$1
|
(package private) class |
ListIterator_JML_TestData.ListIterator_JML_TestData$1
|
(package private) class |
ListIterator_JML_TestData.ListIterator_JML_TestData$2
|
(package private) class |
SLList_JML_TestData.SLList_JML_TestData$1
|
Fields in org.jmlspecs.samples.list.list1 declared as StrategyType | |
private StrategyType |
ListIterator_JML_TestData.vorg_jmlspecs_samples_list_list1_E_SLListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list1.E_SLList. |
private StrategyType |
ListIterator_JML_TestData.vorg_jmlspecs_samples_list_list1_ListIteratorStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list1.ListIterator. |
private StrategyType |
DLList_JML_TestData.vorg_jmlspecs_samples_list_list1_DLListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list1.DLList. |
private StrategyType |
DLList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
SLList_JML_TestData.vorg_jmlspecs_samples_list_list1_SLListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list1.SLList. |
private StrategyType |
SLList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
E_SLList_JML_TestData.vorg_jmlspecs_samples_list_list1_E_SLListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list1.E_SLList. |
private StrategyType |
E_SLList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.list.list1.node |
Classes in org.jmlspecs.samples.list.list1.node that implement StrategyType | |
(package private) class |
DLNode_JML_TestData.DLNode_JML_TestData$1
|
(package private) class |
SLNode_JML_TestData.SLNode_JML_TestData$1
|
Fields in org.jmlspecs.samples.list.list1.node declared as StrategyType | |
private StrategyType |
DLNode_JML_TestData.vorg_jmlspecs_samples_list_list1_node_DLNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list1.node.DLNode. |
private StrategyType |
DLNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
SLNode_JML_TestData.vorg_jmlspecs_samples_list_list1_node_SLNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list1.node.SLNode. |
private StrategyType |
SLNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.list.list2 |
Classes in org.jmlspecs.samples.list.list2 that implement StrategyType | |
(package private) class |
E_OneWayList_JML_TestData.E_OneWayList_JML_TestData$1
|
(package private) class |
E_OneWayList_JML_TestData.E_OneWayList_JML_TestData$2
|
(package private) class |
OneWayList_JML_TestData.OneWayList_JML_TestData$1
|
(package private) class |
TwoWayIterator_JML_TestData.TwoWayIterator_JML_TestData$1
|
(package private) class |
TwoWayIterator_JML_TestData.TwoWayIterator_JML_TestData$2
|
(package private) class |
TwoWayList_JML_TestData.TwoWayList_JML_TestData$1
|
Fields in org.jmlspecs.samples.list.list2 declared as StrategyType | |
private StrategyType |
OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list2_OneWayListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list2.OneWayList. |
private StrategyType |
OneWayList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_list2_TwoWayIteratorStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list2.TwoWayIterator. |
private StrategyType |
TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_node_TwoWayNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.node.TwoWayNode. |
private StrategyType |
E_OneWayList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
E_OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list2_E_OneWayListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list2.E_OneWayList. |
private StrategyType |
TwoWayList_JML_TestData.vorg_jmlspecs_samples_list_list2_TwoWayListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list2.TwoWayList. |
private StrategyType |
TwoWayList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.list.list3 |
Fields in org.jmlspecs.samples.list.list3 declared as StrategyType | |
private StrategyType |
OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list3_OneWayListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list3.OneWayList. |
private StrategyType |
OneWayList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_list3_TwoWayIteratorStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list3.TwoWayIterator. |
private StrategyType |
TwoWayIterator_JML_TestData.vorg_jmlspecs_samples_list_node_TwoWayNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.node.TwoWayNode. |
private StrategyType |
E_OneWayList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
E_OneWayList_JML_TestData.vorg_jmlspecs_samples_list_list3_E_OneWayListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list3.E_OneWayList. |
private StrategyType |
TwoWayList_JML_TestData.vorg_jmlspecs_samples_list_list3_TwoWayListStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.list3.TwoWayList. |
private StrategyType |
TwoWayList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.list.node |
Classes in org.jmlspecs.samples.list.node that implement StrategyType | |
(package private) class |
OneWayNode_JML_TestData.OneWayNode_JML_TestData$1
|
(package private) class |
TwoWayNode_JML_TestData.TwoWayNode_JML_TestData$1
|
Fields in org.jmlspecs.samples.list.node declared as StrategyType | |
private StrategyType |
TwoWayNode_JML_TestData.vorg_jmlspecs_samples_list_node_TwoWayNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.node.TwoWayNode. |
private StrategyType |
TwoWayNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
OneWayNode_JML_TestData.vorg_jmlspecs_samples_list_node_OneWayNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.node.OneWayNode. |
private StrategyType |
OneWayNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.list.node2 |
Fields in org.jmlspecs.samples.list.node2 declared as StrategyType | |
private StrategyType |
TwoWayNode_JML_TestData.vorg_jmlspecs_samples_list_node2_TwoWayNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.node2.TwoWayNode. |
private StrategyType |
TwoWayNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
OneWayNode_JML_TestData.vorg_jmlspecs_samples_list_node2_OneWayNodeStrategy
The strategy for generating test data of type org.jmlspecs.samples.list.node2.OneWayNode. |
private StrategyType |
OneWayNode_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.misc |
Classes in org.jmlspecs.samples.misc that implement StrategyType | |
(package private) class |
Counter_JML_TestData.Counter_JML_TestData$1
|
(package private) class |
LinearSearch_JML_TestData.LinearSearch_JML_TestData$1
|
(package private) class |
Meter_JML_TestData.Meter_JML_TestData$1
|
(package private) class |
Proof_JML_TestData.Proof_JML_TestData$1
|
(package private) class |
Proof_JML_TestData.Proof_JML_TestData$2
|
(package private) class |
Proof_JML_TestData.Proof_JML_TestData$3
|
Fields in org.jmlspecs.samples.misc declared as StrategyType | |
private StrategyType |
LinearSearch_JML_TestData.vorg_jmlspecs_samples_misc_LinearSearchStrategy
The strategy for generating test data of type org.jmlspecs.samples.misc.LinearSearch. |
private StrategyType |
Proof_JML_TestData.vorg_jmlspecs_samples_misc_ProofStrategy
The strategy for generating test data of type org.jmlspecs.samples.misc.Proof. |
private StrategyType |
Counter_JML_TestData.vorg_jmlspecs_samples_misc_CounterStrategy
The strategy for generating test data of type org.jmlspecs.samples.misc.Counter. |
private StrategyType |
Meter_JML_TestData.vorg_jmlspecs_samples_misc_MeterStrategy
The strategy for generating test data of type org.jmlspecs.samples.misc.Meter. |
Uses of StrategyType in org.jmlspecs.samples.prelimdesign |
Fields in org.jmlspecs.samples.prelimdesign declared as StrategyType | |
private StrategyType |
USMoney_JML_TestData.vorg_jmlspecs_samples_prelimdesign_USMoneyStrategy
The strategy for generating test data of type org.jmlspecs.samples.prelimdesign.USMoney. |
private StrategyType |
USMoney_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
USMoney_JML_TestData.vorg_jmlspecs_samples_prelimdesign_MoneyStrategy
The strategy for generating test data of type org.jmlspecs.samples.prelimdesign.Money. |
private StrategyType |
Account_JML_TestData.vorg_jmlspecs_samples_prelimdesign_MoneyOpsStrategy
The strategy for generating test data of type org.jmlspecs.samples.prelimdesign.MoneyOps. |
private StrategyType |
Account_JML_TestData.vjava_lang_StringStrategy
The strategy for generating test data of type java.lang.String. |
private StrategyType |
Account_JML_TestData.vorg_jmlspecs_samples_prelimdesign_AccountStrategy
The strategy for generating test data of type org.jmlspecs.samples.prelimdesign.Account. |
private StrategyType |
PlusAccount_JML_TestData.vorg_jmlspecs_samples_prelimdesign_PlusAccountStrategy
The strategy for generating test data of type org.jmlspecs.samples.prelimdesign.PlusAccount. |
private StrategyType |
PlusAccount_JML_TestData.vjava_lang_StringStrategy
The strategy for generating test data of type java.lang.String. |
private StrategyType |
PlusAccount_JML_TestData.vorg_jmlspecs_samples_prelimdesign_MoneyOpsStrategy
The strategy for generating test data of type org.jmlspecs.samples.prelimdesign.MoneyOps. |
private StrategyType |
Point2D_JML_TestData.vorg_jmlspecs_samples_prelimdesign_Point2DStrategy
The strategy for generating test data of type org.jmlspecs.samples.prelimdesign.Point2D. |
Uses of StrategyType in org.jmlspecs.samples.reader |
Classes in org.jmlspecs.samples.reader that implement StrategyType | |
(package private) class |
BlankReader_JML_TestData.BlankReader_JML_TestData$1
|
(package private) class |
BlankReader_JML_TestData.BlankReader_JML_TestData$2
|
Fields in org.jmlspecs.samples.reader declared as StrategyType | |
private StrategyType |
BlankReader_JML_TestData.vorg_jmlspecs_samples_reader_BlankReaderStrategy
The strategy for generating test data of type org.jmlspecs.samples.reader.BlankReader. |
Uses of StrategyType in org.jmlspecs.samples.sets |
Classes in org.jmlspecs.samples.sets that implement StrategyType | |
(package private) class |
IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$1
|
(package private) class |
IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$2
|
(package private) class |
IntegerSetAsTree_JML_TestData.IntegerSetAsTree_JML_TestData$1
|
(package private) class |
IntegerSetAsTree_JML_TestData.IntegerSetAsTree_JML_TestData$2
|
Fields in org.jmlspecs.samples.sets declared as StrategyType | |
private StrategyType |
IntegerSetAsHashSet_JML_TestData.vorg_jmlspecs_samples_sets_IntegerSetAsHashSetStrategy
The strategy for generating test data of type org.jmlspecs.samples.sets.IntegerSetAsHashSet. |
private StrategyType |
IntegerSetAsTree_JML_TestData.vorg_jmlspecs_samples_sets_IntegerSetAsTreeStrategy
The strategy for generating test data of type org.jmlspecs.samples.sets.IntegerSetAsTree. |
Uses of StrategyType in org.jmlspecs.samples.stacks |
Classes in org.jmlspecs.samples.stacks that implement StrategyType | |
(package private) class |
BoundedStackInterface_JML_TestData.BoundedStackInterface_JML_TestData$1
|
(package private) class |
BoundedStackInterface_JML_TestData.BoundedStackInterface_JML_TestData$2
|
(package private) class |
UnboundedStackAsArrayList_JML_TestData.UnboundedStackAsArrayList_JML_TestData$1
|
(package private) class |
UnboundedStackAsArrayList_JML_TestData.UnboundedStackAsArrayList_JML_TestData$2
|
Fields in org.jmlspecs.samples.stacks declared as StrategyType | |
private StrategyType |
BoundedStackInterface_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
BoundedStackInterface_JML_TestData.vorg_jmlspecs_samples_stacks_BoundedStackInterfaceStrategy
The strategy for generating test data of type org.jmlspecs.samples.stacks.BoundedStackInterface. |
private StrategyType |
UnboundedStackAsArrayList_JML_TestData.vorg_jmlspecs_samples_stacks_UnboundedStackAsArrayListStrategy
The strategy for generating test data of type org.jmlspecs.samples.stacks.UnboundedStackAsArrayList. |
private StrategyType |
UnboundedStackAsArrayList_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
Uses of StrategyType in org.jmlspecs.samples.table |
Classes in org.jmlspecs.samples.table that implement StrategyType | |
(package private) class |
EntryImplementation_JML_TestData.EntryImplementation_JML_TestData$1
|
(package private) class |
EntryImplementation_JML_TestData.EntryImplementation_JML_TestData$2
|
(package private) class |
TableImplementation_JML_TestData.TableImplementation_JML_TestData$1
|
(package private) class |
TableImplementation_JML_TestData.TableImplementation_JML_TestData$2
|
(package private) class |
TableImplementation_JML_TestData.TableImplementation_JML_TestData$3
|
Fields in org.jmlspecs.samples.table declared as StrategyType | |
private StrategyType |
TableImplementation_JML_TestData.vorg_jmlspecs_samples_table_EntryStrategy
The strategy for generating test data of type org.jmlspecs.samples.table.Entry. |
private StrategyType |
TableImplementation_JML_TestData.vorg_jmlspecs_models_JMLTypeStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLType. |
private StrategyType |
TableImplementation_JML_TestData.vorg_jmlspecs_samples_table_TableImplementationStrategy
The strategy for generating test data of type org.jmlspecs.samples.table.TableImplementation. |
private StrategyType |
EntryImplementation_JML_TestData.vorg_jmlspecs_samples_table_EntryImplementationStrategy
The strategy for generating test data of type org.jmlspecs.samples.table.EntryImplementation. |
private StrategyType |
EntryImplementation_JML_TestData.vjava_lang_ObjectStrategy
The strategy for generating test data of type java.lang.Object. |
private StrategyType |
EntryImplementation_JML_TestData.vorg_jmlspecs_models_JMLTypeStrategy
The strategy for generating test data of type org.jmlspecs.models.JMLType. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |