|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CharacteristicException | |
---|---|
net.java.quickcheck |
Uses of CharacteristicException in net.java.quickcheck |
---|
Methods in net.java.quickcheck that throw CharacteristicException | ||
---|---|---|
static
|
QuickCheck.forAll(Generator<T> generator,
Characteristic<T> characteristic)
Check the Characteristic for all values generated by the given
Generator . |
|
static
|
QuickCheck.forAll(int runs,
Generator<T> generator,
Characteristic<T> characteristic)
Check the Characteristic for all values generated by the given
Generator . |
|
static
|
QuickCheck.forAllVerbose(Generator<T> generator,
Characteristic<T> characteristic)
Check the Characteristic for all values generated by the given
Generator . |
|
static
|
QuickCheck.forAllVerbose(int runs,
Generator<T> generator,
Characteristic<T> characteristic)
Check the Characteristic for all values generated by the given
Generator . |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |