JML

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

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
 

Classes in org.jmlspecs.models that implement StrategyType
(package private)  class JMLChar_JML_TestData.JMLChar_JML_TestData$1
           
(package private)  class JMLChar_JML_TestData.JMLChar_JML_TestData$2
           
(package private)  class JMLChar_JML_TestData.JMLChar_JML_TestData$3
           
(package private)  class JMLChar_JML_TestData.JMLChar_JML_TestData$4
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$1
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$2
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$3
           
(package private)  class JMLFloat_JML_TestData.JMLFloat_JML_TestData$4
           
(package private)  class JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$1
           
(package private)  class JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$2
           
(package private)  class JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$3
           
(package private)  class JMLInteger_JML_TestData.JMLInteger_JML_TestData$1
           
(package private)  class JMLInteger_JML_TestData.JMLInteger_JML_TestData$2
           
(package private)  class JMLInteger_JML_TestData.JMLInteger_JML_TestData$3
           
(package private)  class JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$1
           
(package private)  class JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$2
           
(package private)  class JMLNullSafe_JML_TestData.JMLNullSafe_JML_TestData$1
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$1
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$2
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$3
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$4
           
(package private)  class JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5
           
(package private)  class JMLString_JML_TestData.JMLString_JML_TestData$1
           
(package private)  class JMLString_JML_TestData.JMLString_JML_TestData$2
           
(package private)  class JMLString_JML_TestData.JMLString_JML_TestData$3
           
(package private)  class JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$1
           
(package private)  class JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$2
           
(package private)  class JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$1
           
(package private)  class JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$2
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$1
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$2
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$3
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$4
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$5
           
(package private)  class JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$6
           
 

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
 

Classes in org.jmlspecs.samples.digraph that implement StrategyType
(package private)  class Arc_JML_TestData.Arc_JML_TestData$1
           
(package private)  class Arc_JML_TestData.Arc_JML_TestData$2
           
(package private)  class Arc_JML_TestData.Arc_JML_TestData$3
           
(package private)  class NodeType_JML_TestData.NodeType_JML_TestData$1
           
(package private)  class NodeType_JML_TestData.NodeType_JML_TestData$2
           
(package private)  class SearchableDigraph_JML_TestData.SearchableDigraph_JML_TestData$1
           
(package private)  class SearchableDigraph_JML_TestData.SearchableDigraph_JML_TestData$2
           
(package private)  class SearchableDigraph_JML_TestData.SearchableDigraph_JML_TestData$3
           
(package private)  class SearchableNode_JML_TestData.SearchableNode_JML_TestData$1
           
(package private)  class TransposableDigraph_JML_TestData.TransposableDigraph_JML_TestData$1
           
(package private)  class TransposableDigraph_JML_TestData.TransposableDigraph_JML_TestData$2
           
(package private)  class TransposableNode_JML_TestData.TransposableNode_JML_TestData$1
           
(package private)  class TransposableNode_JML_TestData.TransposableNode_JML_TestData$2
           
 

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
 

Classes in org.jmlspecs.samples.prelimdesign that implement StrategyType
(package private)  class Account_JML_TestData.Account_JML_TestData$1
           
(package private)  class Account_JML_TestData.Account_JML_TestData$2
           
(package private)  class Account_JML_TestData.Account_JML_TestData$3
           
(package private)  class IntMathOps2_JML_TestData.IntMathOps2_JML_TestData$1
           
(package private)  class IntMathOps4_JML_TestData.IntMathOps4_JML_TestData$1
           
(package private)  class IntMathOps_JML_TestData.IntMathOps_JML_TestData$1
           
(package private)  class PlusAccount_JML_TestData.PlusAccount_JML_TestData$1
           
(package private)  class PlusAccount_JML_TestData.PlusAccount_JML_TestData$2
           
(package private)  class PlusAccount_JML_TestData.PlusAccount_JML_TestData$3
           
(package private)  class Point2D_JML_TestData.Point2D_JML_TestData$1
           
(package private)  class Point2D_JML_TestData.Point2D_JML_TestData$2
           
(package private)  class USMoney_JML_TestData.USMoney_JML_TestData$1
           
(package private)  class USMoney_JML_TestData.USMoney_JML_TestData$2
           
(package private)  class USMoney_JML_TestData.USMoney_JML_TestData$3
           
(package private)  class USMoney_JML_TestData.USMoney_JML_TestData$4
           
 

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

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.