Package net.jqwik.time.api.constraints

Annotationsschnittstelle DayOfMonthRange

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE}) @Retention(RUNTIME) @Documented @API(status=EXPERIMENTAL, since="1.4.0") public @interface DayOfMonthRange
Constrain the range of generated day of month parameters.

Applies to LocalDateTime, Instant, OffsetDateTime, LocalDate, Calendar, Date, MonthDay, int and Integer parameters which are also annotated with @ForAll.

Siehe auch:

  • Optionale Elemente - Übersicht

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

  • Elementdetails

    • min

      int min
      Standard:
      1

    • max

      int max
      Standard:
      31