Package com.pholser.junit.quickcheck

Annotation Interface Produced

@Target({PARAMETER,FIELD,ANNOTATION_TYPE,TYPE_USE}) @Retention(RUNTIME) public @interface 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.

Alternatively, you can specify many generators via many repetitions of From, without using this container annotation.

On a given generation, one of the specified generators will be chosen at random with probability in proportion to From.frequency().

See Also:

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    From[]
    value
     

  • Element Details

    • value

      From[] value