net.jqwik.api.constraints

Annotation Type Whitespace

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=RUNTIME)
 @Chars(value={9,10,11,12,13,28,29,30,31,32,5760,6158,8192,8193,8194,8195,8196,8197,8198,8200,8201,8202,8232,8233,8287,12288})
 @Documented
 @API(status=MAINTAINED,
     since="1.0")
public @interface Whitespace

Constrain the chars used to generate Strings or Characters to chars that will return true for Character.isWhitespace(char). 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