Package net.jqwik.api.constraints

Annotationsschnittstelle Chars

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Repeatable(CharsList.class) @Documented @API(status=MAINTAINED, since="1.0") public @interface Chars
Constrain the chars used to generate Strings or Characters to chars contained in value. 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[]
    value
     

  • Elementdetails

    • value

      char[] value