net.jqwik.api.constraints

Annotation Type UniqueElements

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=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 and Description
java.lang.Class<? extends java.util.function.Function<?,java.lang.Object>>	by

Element Detail

by

public abstract java.lang.Class<? extends java.util.function.Function<?,java.lang.Object>> by

Default:

net.jqwik.api.constraints.UniqueElements.NOT_SET.class