net.jqwik.api.constraints

Annotation Type CharRange

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

Constrain the chars used to generate Strings or Characters to chars in the range from from to to. 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, Chars

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
char	to

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
char	from

Element Detail

to

public abstract char to

from

public abstract char from

Default:

0