Package net.jqwik.time.api.constraints

Annotation Interface MonthRange

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

Constrain the range of generated month parameters.

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

See Also:

• ForAll
• DateRange
• DayOfMonthRange
• DayOfWeekRange
• MonthDayRange
• YearMonthRange
• YearRange

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
Month	max
Month	min

Element Details

min

Month min

Default:

JANUARY

max

Month max

Default:

DECEMBER