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

Packages that use NewObjectAbstractExtensibleStrategyDecorator

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.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.list.list2
org.jmlspecs.samples.stacks	This package contains samples of JML specifications relating to stacks of various sorts.

Uses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.jmlunit.strategies

Subclasses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.jmlunit.strategies

class	CollectionStrategy A small extensible strategy for producing test data of type Collection.
class	JMLCollectionStrategy A strategy for generating test data of type JMLCollection.
(package private) class	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$2
class	ObjectStrategy A minimal, extensible strategy for producing test data of type Object.
(package private) class	ObjectStrategyTest.ObjectStrategyTest$1

Uses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.lang

Subclasses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.lang

(package private) class

JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$1

Uses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.models

Subclasses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.models

(package private) class	JMLNullSafe_JML_TestData.JMLNullSafe_JML_TestData$1
(package private) class	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5

Uses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.samples.digraph

Subclasses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.samples.digraph

(package private) class	Arc_JML_TestData.Arc_JML_TestData$3
(package private) class	NodeType_JML_TestData.NodeType_JML_TestData$1

Uses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.samples.jmlkluwer

Subclasses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.samples.jmlkluwer

(package private) class	PriorityQueue_JML_TestData.PriorityQueue_JML_TestData$3
(package private) class	QueueEntry_JML_TestData.QueueEntry_JML_TestData$3

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

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

(package private) class

E_OneWayList_JML_TestData.E_OneWayList_JML_TestData$1

Uses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.samples.stacks

Subclasses of NewObjectAbstractExtensibleStrategyDecorator in org.jmlspecs.samples.stacks

(package private) class	BoundedStackInterface_JML_TestData.BoundedStackInterface_JML_TestData$1
(package private) class	UnboundedStackAsArrayList_JML_TestData.UnboundedStackAsArrayList_JML_TestData$2