Package com.pholser.junit.quickcheck

Annotation Types Summary

Annotation Type	Description
ForAll	Deprecated Rather than writing property-based tests as Theory methods with parameters marked with this annotation, write them as Property methods on classes run with the JUnitQuickcheck runner.
From	Mark a parameter of a Property method with this annotation to have random values supplied to it via the specified Generator.
Produced	Mark a parameter of a Property method with this annotation to have random values supplied to it via one of the Generators specified by the aggregated From annotations.
Property	Mark a method on a class that is run with the JUnitQuickcheck runner with this annotation to have it run as a property-based test.
When	Mark a parameter of a Property method with this annotation to specify metadata about values generated for that parameter.