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

Packages that use IntAbstractStrategy

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.jmlkluwer	This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design".
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.

Uses of IntAbstractStrategy in org.jmlspecs.jmlunit.strategies

Subclasses of IntAbstractStrategy in org.jmlspecs.jmlunit.strategies

class	IntAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
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.
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$1

Uses of IntAbstractStrategy in org.jmlspecs.models

Subclasses of IntAbstractStrategy in org.jmlspecs.models

(package private) class

JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$3

Uses of IntAbstractStrategy in org.jmlspecs.models.resolve

Subclasses of IntAbstractStrategy in org.jmlspecs.models.resolve

(package private) class	NaturalNumber_JML_TestData.NaturalNumber_JML_TestData$5
(package private) class	StringOfObject_JML_TestData.StringOfObject_JML_TestData$4

Uses of IntAbstractStrategy in org.jmlspecs.samples.jmlkluwer

Subclasses of IntAbstractStrategy in org.jmlspecs.samples.jmlkluwer

(package private) class	PriorityQueue_JML_TestData.PriorityQueue_JML_TestData$2
(package private) class	QueueEntry_JML_TestData.QueueEntry_JML_TestData$1

Uses of IntAbstractStrategy in org.jmlspecs.samples.misc

Subclasses of IntAbstractStrategy in org.jmlspecs.samples.misc

(package private) class

Proof_JML_TestData.Proof_JML_TestData$1

Uses of IntAbstractStrategy in org.jmlspecs.samples.prelimdesign

Subclasses of IntAbstractStrategy in org.jmlspecs.samples.prelimdesign

(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

Uses of IntAbstractStrategy in org.jmlspecs.samples.reader

Subclasses of IntAbstractStrategy in org.jmlspecs.samples.reader

(package private) class

BlankReader_JML_TestData.BlankReader_JML_TestData$2

Uses of IntAbstractStrategy in org.jmlspecs.samples.sets

Subclasses of IntAbstractStrategy in org.jmlspecs.samples.sets

(package private) class	IntegerSetAsHashSet_JML_TestData.IntegerSetAsHashSet_JML_TestData$1
(package private) class	IntegerSetAsTree_JML_TestData.IntegerSetAsTree_JML_TestData$1