|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Characteristic | |
---|---|
net.java.quickcheck | |
net.java.quickcheck.characteristic |
Uses of Characteristic in net.java.quickcheck |
---|
Methods in net.java.quickcheck that return Characteristic | |
---|---|
Characteristic<?> |
CharacteristicException.getCharateristic()
|
Methods in net.java.quickcheck with parameters of type Characteristic | ||
---|---|---|
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 . |
Constructors in net.java.quickcheck with parameters of type Characteristic | |
---|---|
CharacteristicException(String message,
Throwable cause,
Characteristic<?> charateristic)
|
|
CharacteristicException(String message,
Throwable cause,
Characteristic<?> charateristic,
Object instance)
|
Uses of Characteristic in net.java.quickcheck.characteristic |
---|
Classes in net.java.quickcheck.characteristic that implement Characteristic | |
---|---|
class |
AbstractCharacteristic<T>
AbstractCharacteristic is an implementation of Characteristic
with Classification handling. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |