Package net.jqwik.time.api.constraints

Annotation Interface DayOfWeekRange

@Target({ANNOTATION_TYPE,PARAMETER,TYPE_USE})
@Retention(RUNTIME)
@Documented
@API(status=EXPERIMENTAL,
     since="1.4.0")
public @interface DayOfWeekRange

Constrain the range of generated day of week parameters.

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

See Also:

• ForAll
• DateRange
• DayOfMonthRange
• MonthDayRange
• MonthRange
• YearMonthRange
• YearRange

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
DayOfWeek	max
DayOfWeek	min

Element Details

min

DayOfWeek min

Default:

MONDAY

max

DayOfWeek max

Default:

SUNDAY