Uses of Package
net.java.quickcheck

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.
 



Copyright © 2011. All Rights Reserved.