Package net.jqwik.api.constraints

Annotation Interface 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:

  • Nested Class Summary

    Nested Classes
    Modifier and Type
    Class
    Description
    static class 
    UniqueElements.NOT_SET
     

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    Class<? extends Function<? extends @Nullable Object,?>>
    by
     

  • Element Details

    • by

      Class<? extends Function<? extends @Nullable Object,?>> by
      Default:
      net.jqwik.api.constraints.UniqueElements.NOT_SET.class