net.jqwik.api.constraints.Whitespace Maven / Gradle / Ivy
package net.jqwik.api.constraints;
import java.lang.annotation.*;
import org.apiguardian.api.*;
import static org.apiguardian.api.API.Status.*;
/**
* Constrain the chars used to generate Strings or Characters to chars
* that will return {@code true} for {@link Character#isWhitespace(char)}.
*
* Applies to String or Character parameters which are also annotated with {@code @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 net.jqwik.api.ForAll
* @see Chars
*/
@Target({ ElementType.ANNOTATION_TYPE, ElementType.PARAMETER, ElementType.TYPE_USE })
@Retention(RetentionPolicy.RUNTIME)
@Documented
@API(status = MAINTAINED, since = "1.0")
public @interface Whitespace {
}