Package net.jqwik.api.constraints

Annotationsschnittstelle 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.
Siehe auch:

  • Erforderliche Elemente - Übersicht

    Erforderliche Elemente
    Modifizierer und Typ
    Erforderliches Element
    Beschreibung
    char
    to
     

  • Optionale Elemente - Übersicht

    Optionale Elemente
    Modifizierer und Typ
    Optionales Element
    Beschreibung
    char
    from
     

  • Elementdetails

    • from

      char from
      Standard:
      '\u0000'

    • to

      char to