Package net.jqwik.api.constraints
Annotation Type UpperChars
-
@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @CharRange(from='A', to='Z') @Documented @API(status=MAINTAINED, since="1.0") public @interface UpperChars
Constrain the chars used to generate Strings or Characters to upper and lower case chars. 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
,LowerChars
,AlphaChars