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

Packages that use IntStrategyType

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.jmltutorial	This package contains samples of JML specifications from the tutorials.
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 IntStrategyType in org.jmlspecs.jmlunit.strategies

Classes in org.jmlspecs.jmlunit.strategies that implement IntStrategyType

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

Fields in org.jmlspecs.jmlunit.strategies declared as IntStrategyType

private IntStrategyType	IntExtensibleStrategyDecorator.defaultData The default data, returned first in the iterations.
private IntStrategyType	IntExtensibleStrategyDecorator.addedData The added data, returned after the default data in the iterations.
private IntStrategyType	NewObjectAbstractIterator_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	IntAbstractFilteringStrategyDecorator.rawData The test data
private IntStrategyType[]	IntCompositeStrategy.strats The indefinite iterators being concatenated.

Constructors in org.jmlspecs.jmlunit.strategies with parameters of type IntStrategyType

IntExtensibleStrategyDecorator(IntStrategyType strat)

IntAbstractFilteringStrategyDecorator(IntStrategyType strat)

IntNonNegativeStrategyDecorator(IntStrategyType strat)

IntCompositeStrategy(IntStrategyType s)
Initialize this composite to return the iterator given by the given argument strategy.

IntCompositeStrategy(IntStrategyType s1, IntStrategyType s2)
Initialize this composite to return the iterator given by the given argument strategies, in order.

IntCompositeStrategy(IntStrategyType[] strats)
Initialize this composite to return the iterator given by the given argument strategies, in order.

Uses of IntStrategyType in org.jmlspecs.models

Classes in org.jmlspecs.models that implement IntStrategyType

(package private) class

JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$3

Fields in org.jmlspecs.models declared as IntStrategyType

private IntStrategyType	JMLListValueNode_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	JMLInteger_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	JMLFloat_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	JMLInfiniteInteger_JML_TestData.vintStrategy The strategy for generating test data of type int.

Uses of IntStrategyType in org.jmlspecs.models.resolve

Classes in org.jmlspecs.models.resolve that implement IntStrategyType

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

Fields in org.jmlspecs.models.resolve declared as IntStrategyType

private IntStrategyType

StringOfObject_JML_TestData.vintStrategy The strategy for generating test data of type int.

Uses of IntStrategyType in org.jmlspecs.samples.jmlkluwer

Classes in org.jmlspecs.samples.jmlkluwer that implement IntStrategyType

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

Fields in org.jmlspecs.samples.jmlkluwer declared as IntStrategyType

private IntStrategyType	PriorityQueue_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	QueueEntry_JML_TestData.vintStrategy The strategy for generating test data of type int.

Uses of IntStrategyType in org.jmlspecs.samples.jmltutorial

Fields in org.jmlspecs.samples.jmltutorial declared as IntStrategyType

private IntStrategyType

Person_JML_TestData.vintStrategy The strategy for generating test data of type int.

Uses of IntStrategyType in org.jmlspecs.samples.misc

Classes in org.jmlspecs.samples.misc that implement IntStrategyType

(package private) class

Proof_JML_TestData.Proof_JML_TestData$1

Fields in org.jmlspecs.samples.misc declared as IntStrategyType

private IntStrategyType	LinearSearch_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	Proof_JML_TestData.vintStrategy The strategy for generating test data of type int.

Uses of IntStrategyType in org.jmlspecs.samples.prelimdesign

Classes in org.jmlspecs.samples.prelimdesign that implement IntStrategyType

(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

Fields in org.jmlspecs.samples.prelimdesign declared as IntStrategyType

private IntStrategyType	IntMathOps4_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	IntMathOps_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	IntMathOps2_JML_TestData.vintStrategy The strategy for generating test data of type int.

Uses of IntStrategyType in org.jmlspecs.samples.reader

Classes in org.jmlspecs.samples.reader that implement IntStrategyType

(package private) class

BlankReader_JML_TestData.BlankReader_JML_TestData$2

Fields in org.jmlspecs.samples.reader declared as IntStrategyType

private IntStrategyType

BlankReader_JML_TestData.vintStrategy The strategy for generating test data of type int.

Uses of IntStrategyType in org.jmlspecs.samples.sets

Classes in org.jmlspecs.samples.sets that implement IntStrategyType

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

Fields in org.jmlspecs.samples.sets declared as IntStrategyType

private IntStrategyType	IntegerSetAsHashSet_JML_TestData.vintStrategy The strategy for generating test data of type int.
private IntStrategyType	IntegerSetAsTree_JML_TestData.vintStrategy The strategy for generating test data of type int.