Package de.cuioss.test.generator.internal.net.java.quickcheck

Interface Summary

Interface	Description
Characteristic<T>	A characteristic specifies an aspect of a system under test.
ExtendibleGenerator<I,T>	Generator which depends upon other generator instances.
FrequencyGenerator<T>	Create a frequency generator.
Generator<T>	A generator creates instances of type T supposed to be checked against a Characteristic specification.
ObjectGenerator<T>	Declarative object generator definition.
ObjectGenerator.ReturnValue<R>
StatefulGenerator<T>	Any generator keeping state information has to implemet this interface.

Class Summary

Class	Description
NullWriter	This Writer writes all data to the famous /dev/null.
QuickCheck	QuickCheck is an implementation of the Haskell QuickCheck generator based test tool (...).

Exception Summary

Exception	Description
CharacteristicException	Indicates that a characteristic specification was not true for a given instance.
GeneratorException	GeneratorException is thrown if the creation of a new instance failed.