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

Packages that use CachedObjectAbstractStrategy

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.digraph	This package contains samples of JML specifications for directed graphs.
org.jmlspecs.samples.jmlkluwer	This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design".
org.jmlspecs.samples.jmlrefman	This package contains samples of JML specifications from the JML Reference Manual.
org.jmlspecs.samples.jmltutorial	This package contains samples of JML specifications from the tutorials.
org.jmlspecs.samples.list.list1
org.jmlspecs.samples.list.list1.node
org.jmlspecs.samples.list.list2
org.jmlspecs.samples.list.node
org.jmlspecs.samples.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.table	This package contains samples of JML specifications relating to tables.

Uses of CachedObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies

(package private) class	CharIterator_JML_TestData.CharIterator_JML_TestData$1
(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
(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
(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2
(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	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
(package private) class	ImmutableObjectExtensibleStrategyDecorator.ImmutableObjectExtensibleStrategyDecorator$1
(package private) class	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1
(package private) class	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2
(package private) class	JMLCollectionUnextensibleStrategy A strategy for providing test data of type JMLCollection.
(package private) class	JMLTypeUnextensibleStrategy A strategy for providing test data of type JMLType.
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2
(package private) class	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$1
(package private) class	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$3
class	StringStrategy A strategy for producing test data of type String.
(package private) class	StringStrategyTest.StringStrategyTest$1

Uses of CachedObjectAbstractStrategy in org.jmlspecs.lang

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.lang

(package private) class

JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$2

Uses of CachedObjectAbstractStrategy in org.jmlspecs.models

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.models

(package private) class	JMLChar_JML_TestData.JMLChar_JML_TestData$1
(package private) class	JMLChar_JML_TestData.JMLChar_JML_TestData$2
(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	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	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	JMLString_JML_TestData.JMLString_JML_TestData$1
(package private) class	JMLString_JML_TestData.JMLString_JML_TestData$2
(package private) class	JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$1
(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

Uses of CachedObjectAbstractStrategy in org.jmlspecs.models.resolve

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.models.resolve

(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	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

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.digraph

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.digraph

(package private) class	Arc_JML_TestData.Arc_JML_TestData$1
(package private) class	Arc_JML_TestData.Arc_JML_TestData$2
(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$3
(package private) class	SearchableNode_JML_TestData.SearchableNode_JML_TestData$1
(package private) class	TransposableDigraph_JML_TestData.TransposableDigraph_JML_TestData$2
(package private) class	TransposableNode_JML_TestData.TransposableNode_JML_TestData$1

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer

(package private) class

QueueEntry_JML_TestData.QueueEntry_JML_TestData$2

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlrefman

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmlrefman

(package private) class

SumArrayLoop_JML_TestData.SumArrayLoop_JML_TestData$1

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmltutorial

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.jmltutorial

(package private) class

Person_JML_TestData.Person_JML_TestData$2

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1

(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	SLList_JML_TestData.SLList_JML_TestData$1

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1.node

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list1.node

(package private) class	DLNode_JML_TestData.DLNode_JML_TestData$1
(package private) class	SLNode_JML_TestData.SLNode_JML_TestData$1

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list2

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.list2

(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	TwoWayList_JML_TestData.TwoWayList_JML_TestData$1

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.node

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.list.node

(package private) class	OneWayNode_JML_TestData.OneWayNode_JML_TestData$1
(package private) class	TwoWayNode_JML_TestData.TwoWayNode_JML_TestData$1

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.misc

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.misc

(package private) class

Proof_JML_TestData.Proof_JML_TestData$2

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign

(package private) class	Account_JML_TestData.Account_JML_TestData$2
(package private) class	PlusAccount_JML_TestData.PlusAccount_JML_TestData$2
(package private) class	USMoney_JML_TestData.USMoney_JML_TestData$2
(package private) class	USMoney_JML_TestData.USMoney_JML_TestData$3

Uses of CachedObjectAbstractStrategy in org.jmlspecs.samples.table

Subclasses of CachedObjectAbstractStrategy in org.jmlspecs.samples.table

(package private) class	EntryImplementation_JML_TestData.EntryImplementation_JML_TestData$1
(package private) class	TableImplementation_JML_TestData.TableImplementation_JML_TestData$1