com.pholser.junit.quickcheck.generator

Annotation Type Distinct

@Target(value={PARAMETER,FIELD,ANNOTATION_TYPE,TYPE_USE})
 @Retention(value=RUNTIME)
 @GeneratorConfiguration
public @interface Distinct

Mark a parameter of a Property method with this annotation to make values generated for the parameter distinct from each other.

This annotation is recognized on array parameters and parameters of type Collection and Map.

Using this annotation with Size on Set or Map leads to strict size constraint.