Package net.jqwik.api.constraints

Annotation Interface Chars

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
@Retention(RUNTIME)
@Repeatable(CharsList.class)
@Documented
@API(status=MAINTAINED,
     since="1.0")
public @interface Chars

Constrain the chars used to generate Strings or Characters to chars contained in value. Applies to String or Character parameters which are also annotated with @ForAll. When used with String parameters it can be combined with other char constraining annotations. In that case the set of possible characters is expanded by each annotation.

See Also:

• ForAll
• CharRange

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
char[]	value

Element Details

value

char[] value