Package net.jqwik.api.constraints

Annotation Interface CharRange

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Repeatable(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:

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    char
    to
     

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    char
    from
     

  • Element Details

    • to

      char to

    • from

      char from
      Default:
      '\u0000'