Package net.jqwik.time.api.constraints

Annotation Interface 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. Only strings of format DateTimeFormatter.ISO_LOCAL_DATE are supported.

Applies to LocalDateTime, Instant, OffsetDateTime, ZonedDateTime, LocalDate, Date and 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
String	max
String	min

Element Details

min

String min

Default:

"1900-01-01"

max

String max

Default:

"2500-12-31"