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