Package net.jqwik.time.api.constraints

Annotation Type 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 LocalDate, Calendar, Date, MonthDay, int and Integer parameters which are also annotated with @ForAll.

See Also:

ForAll, DateRange, DayOfWeekRange, LeapYears, MonthDayRange, MonthRange, YearMonthRange, YearRange

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
int	max
int	min

Element Detail

min

int min

Default:

1

max

int max

Default:

31