Package net.jqwik.time.api.constraints

Annotationsschnittstelle InstantRange

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=EXPERIMENTAL, since="1.5.4") public @interface InstantRange
Constrain the range of generated instant parameters. Only strings of format DateTimeFormatter.ISO_INSTANT are supported.

Applies to Instant parameters which are also annotated with @ForAll.

Siehe auch:

  • Optionale Elemente - Übersicht

    Optionale Elemente
    Modifizierer und Typ
    Optionales Element
    Beschreibung
    String
    max
     
    String
    min
     

  • Elementdetails

    • min

      String min
      Standard:
      "1900-01-01T00:00:00Z"

    • max

      String max
      Standard:
      "2500-12-31T23:59:59.0Z"