Package net.java.quickcheck

Interface Summary
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
QuickCheck QuickCheck is an implementation of the Haskell QuickCheck generator based test tool (http://www.cs.chalmers.se/~rjmh/QuickCheck/).
 

Exception Summary
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.
 



Copyright © 2011. All Rights Reserved.