Package net.jqwik.api.constraints

Annotation Type UniqueElements

  • @Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
@Retention(RUNTIME)
@Documented
@API(status=MAINTAINED,
     since="1.4.0")
public @interface UniqueElements
    Add a uniqueness constraint to a Collection, Stream or Array parameter. Applies to List, Set, Stream, and arrays which are also annotated with @ForAll.

    Unlike the old and meanwhile removed annotation Unique this annotation is added to the collection/array/stream parameter and NOT to the element type.

    See Also:
    ForAll

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.lang.Class<? extends java.util.function.Function<?,​java.lang.Object>> by  

    • Element Detail

      • by

        java.lang.Class<? extends java.util.function.Function<?,​java.lang.Object>> by
        Default:
        net.jqwik.api.constraints.UniqueElements.NOT_SET.class