net.jqwik.time.api.constraints

Annotation Type DayOfWeekRange

@Target(value={ANNOTATION_TYPE,PARAMETER,TYPE_USE})
 @Retention(value=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 and Description
java.time.DayOfWeek	max
java.time.DayOfWeek	min

Element Detail

min

public abstract java.time.DayOfWeek min

Default:

java.time.DayOfWeek.MONDAY

max

public abstract java.time.DayOfWeek max

Default:

java.time.DayOfWeek.SUNDAY