Package net.jqwik.api.constraints
Annotation Interface 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: