net.jqwik.api.constraints

Annotation Type UniqueChars

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Documented
 @API(status=EXPERIMENTAL,
     since="1.8.0")
public @interface UniqueChars

Add a uniqueness constraint to a String parameter, i.e., there won't be any duplicate characters in a generated String.

See Also:

ForAll