|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |