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

Packages that use CloneableObjectAbstractStrategy

org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
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.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 CloneableObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of CloneableObjectAbstractStrategy in org.jmlspecs.jmlunit.strategies

(package private) class	CharIterator_JML_TestData.CharIterator_JML_TestData$1
(package private) class	CloneableObjectAbstractExtensibleStrategyDecorator.CloneableObjectAbstractExtensibleStrategyDecorator$1
(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
(package private) class	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$1
(package private) class	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$2
(package private) class	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1
(package private) class	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2
(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

Uses of CloneableObjectAbstractStrategy in org.jmlspecs.models

Subclasses of CloneableObjectAbstractStrategy in org.jmlspecs.models

(package private) class	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$2
(package private) class	JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$1
(package private) class	JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$2
(package private) class	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$4

Uses of CloneableObjectAbstractStrategy in org.jmlspecs.models.resolve

Subclasses of CloneableObjectAbstractStrategy in org.jmlspecs.models.resolve

(package private) class	StringOfObject_JML_TestData.StringOfObject_JML_TestData$2
(package private) class	StringOfObject_JML_TestData.StringOfObject_JML_TestData$3

Uses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.digraph

Subclasses of CloneableObjectAbstractStrategy 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 CloneableObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer

Subclasses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.jmlkluwer

(package private) class

QueueEntry_JML_TestData.QueueEntry_JML_TestData$2

Uses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.jmlrefman

Subclasses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.jmlrefman

(package private) class

SumArrayLoop_JML_TestData.SumArrayLoop_JML_TestData$1

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

Subclasses of CloneableObjectAbstractStrategy 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 CloneableObjectAbstractStrategy in org.jmlspecs.samples.list.list1.node

Subclasses of CloneableObjectAbstractStrategy 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 CloneableObjectAbstractStrategy in org.jmlspecs.samples.list.list2

Subclasses of CloneableObjectAbstractStrategy 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 CloneableObjectAbstractStrategy in org.jmlspecs.samples.list.node

Subclasses of CloneableObjectAbstractStrategy 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 CloneableObjectAbstractStrategy in org.jmlspecs.samples.misc

Subclasses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.misc

(package private) class

Proof_JML_TestData.Proof_JML_TestData$2

Uses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign

Subclasses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.prelimdesign

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

Uses of CloneableObjectAbstractStrategy in org.jmlspecs.samples.table

Subclasses of CloneableObjectAbstractStrategy 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