Package net.jqwik.api.constraints

Annotationsschnittstelle 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.

Siehe auch:

  • Verschachtelte Klassen - Übersicht

    Verschachtelte Klassen
    Modifizierer und Typ
    Klasse
    Beschreibung
    static class 
    UniqueElements.NOT_SET
     

  • Optionale Elemente - Übersicht

    Optionale Elemente
    Modifizierer und Typ
    Optionales Element
    Beschreibung
    Class<? extends Function<? extends @Nullable Object,?>>
    by
     

  • Elementdetails

    • by

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