Package net.jqwik.time.api.constraints

Annotation Type DateRange

  • @Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
@Retention(RUNTIME)
@Documented
@API(status=EXPERIMENTAL,
     since="1.4.1")
public @interface DateRange
    Constrain the range of generated date parameters.

    Applies to LocalDateTime, LocalDate, Date or Calendar parameters which are also annotated with @ForAll.

    See Also:
    ForAll, DayOfMonthRange, DayOfWeekRange, MonthDayRange, MonthRange, YearMonthRange, YearRange

    • Optional Element Summary

      Optional Elements 
      Modifier and Type Optional Element Description
      java.lang.String max  
      java.lang.String min  

    • Element Detail

      • min

        java.lang.String min
        Default:
        "1900-01-01"

      • max

        java.lang.String max
        Default:
        "2500-12-31"