|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use net.java.quickcheck | |
---|---|
net.java.quickcheck | |
net.java.quickcheck.characteristic | |
net.java.quickcheck.generator | |
net.java.quickcheck.generator.iterable | |
net.java.quickcheck.generator.support |
Classes in net.java.quickcheck used by net.java.quickcheck | |
---|---|
Characteristic
A characteristic specifies an aspect of a system under test. |
|
CharacteristicException
Indicates that a characteristic specification was not true for a given instance. |
|
ExtendibleGenerator
Generator which depends upon other generator instances. |
|
FrequencyGenerator
Create a frequency generator. |
|
Generator
A generator creates instances of type T supposed to be checked against a Characteristic specification. |
|
GeneratorException
GeneratorException is thrown if the creation of a new instance failed. |
|
ObjectGenerator.ReturnValue
|
Classes in net.java.quickcheck used by net.java.quickcheck.characteristic | |
---|---|
Characteristic
A characteristic specifies an aspect of a system under test. |
Classes in net.java.quickcheck used by net.java.quickcheck.generator | |
---|---|
ExtendibleGenerator
Generator which depends upon other generator instances. |
|
FrequencyGenerator
Create a frequency generator. |
|
Generator
A generator creates instances of type T supposed to be checked against a Characteristic specification. |
|
ObjectGenerator
Declarative object generator definition. |
|
StatefulGenerator
Any generator keeping state information has to implemet this interface. |
Classes in net.java.quickcheck used by net.java.quickcheck.generator.iterable | |
---|---|
Generator
A generator creates instances of type T supposed to be checked against a Characteristic specification. |
Classes in net.java.quickcheck used by net.java.quickcheck.generator.support | |
---|---|
ExtendibleGenerator
Generator which depends upon other generator instances. |
|
FrequencyGenerator
Create a frequency generator. |
|
Generator
A generator creates instances of type T supposed to be checked against a Characteristic specification. |
|
GeneratorException
GeneratorException is thrown if the creation of a new instance failed. |
|
ObjectGenerator
Declarative object generator definition. |
|
ObjectGenerator.ReturnValue
|
|
StatefulGenerator
Any generator keeping state information has to implemet this interface. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |