Package net.jqwik.api.constraints

Annotationsschnittstelle UniqueChars

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
@Retention(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.

Siehe auch:

• ForAll