com.pholser.junit.quickcheck

Annotation Type Produced

@Target(value={PARAMETER,FIELD,ANNOTATION_TYPE})
 @Retention(value=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:

From

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
From[]	value

Element Detail

value

public abstract From[] value