Package net.jqwik.time.api.arbitraries

Interface CalendarArbitrary

All Superinterfaces:
net.jqwik.api.Arbitrary<Calendar>
All Known Implementing Classes:
DefaultCalendarArbitrary
@API(status=EXPERIMENTAL, since="1.4.0") public interface CalendarArbitrary extends net.jqwik.api.Arbitrary<Calendar>
Fluent interface to configure the generation of date values. All generated dates use the Gregorian Calendar, even if they are before October 15, 1582. By default, dates with years between 1900 and 2500 are generated.

  • Nested Class Summary

    Nested classes/interfaces inherited from interface net.jqwik.api.Arbitrary

    net.jqwik.api.Arbitrary.ArbitraryFacade

  • Method Summary

    Modifier and Type
    Method
    Description
    CalendarArbitrary
    atTheEarliest(Calendar min)
    Set the allowed lower min (included) bounder of generated calendar values.
    CalendarArbitrary
    atTheLatest(Calendar max)
    Set the allowed upper max (included) bounder of generated calendar values.
    default CalendarArbitrary
    between(Calendar min, Calendar max)
    Set the allowed lower min (included) and upper max (included) bounder of generated calendar values.
    CalendarArbitrary
    dayOfMonthBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
    default CalendarArbitrary
    monthBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated month values.
    CalendarArbitrary
    monthBetween(Month min, Month max)
    Set the allowed lower min (included) and upper max (included) bounder of generated month values.
    CalendarArbitrary
    onlyDaysOfWeek(DayOfWeek... daysOfWeek)
    Set an array of allowed daysOfWeek.
    CalendarArbitrary
    onlyMonths(Month... months)
    Set an array of allowed months.
    default CalendarArbitrary
    yearBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated year values.
    CalendarArbitrary
    yearBetween(Year min, Year max)
    Set the allowed lower min (included) and upper max (included) bounder of generated year values.

    Methods inherited from interface net.jqwik.api.Arbitrary

    allValues, array, asGeneric, collect, dontShrink, edgeCases, edgeCases, edgeCases, exhaustive, exhaustive, filter, filter, fixGenSize, flatMap, forEachValue, generator, generator, generatorWithEmbeddedEdgeCases, ignoreException, ignoreException, ignoreExceptions, ignoreExceptions, injectDuplicates, injectNull, isGeneratorMemoizable, iterator, list, map, optional, optional, sample, sampleStream, set, stream, tuple1, tuple2, tuple3, tuple4, tuple5, withoutEdgeCases

  • Method Details

    • between

      default CalendarArbitrary between(Calendar min, Calendar max)
      Set the allowed lower min (included) and upper max (included) bounder of generated calendar values.

    • atTheEarliest

      CalendarArbitrary atTheEarliest(Calendar min)
      Set the allowed lower min (included) bounder of generated calendar values.

    • atTheLatest

      CalendarArbitrary atTheLatest(Calendar max)
      Set the allowed upper max (included) bounder of generated calendar values.

    • yearBetween

      CalendarArbitrary yearBetween(Year min, Year max)
      Set the allowed lower min (included) and upper max (included) bounder of generated year values. The years can be between 1 and Year.MAX_VALUE.

      Calling this method is equivalent to calling between(Calendar, Calendar) assuming Jan 1 and Dec 31 as first and last day of those years.

    • yearBetween

      default CalendarArbitrary yearBetween(int min, int max)
      Set the allowed lower min (included) and upper max (included) bounder of generated year values. The int values can be between 1 and Year.MAX_VALUE.

      Calling this method is equivalent to calling between(Calendar, Calendar) assuming Jan 1 and Dec 31 as first and last day of those years.

    • monthBetween

      CalendarArbitrary monthBetween(Month min, Month max)
      Set the allowed lower min (included) and upper max (included) bounder of generated month values.

    • monthBetween

      default CalendarArbitrary monthBetween(int min, int max)
      Set the allowed lower min (included) and upper max (included) bounder of generated month values. The int values can be between 1 and 12.

    • onlyMonths

      CalendarArbitrary onlyMonths(Month... months)
      Set an array of allowed months.

    • dayOfMonthBetween

      CalendarArbitrary dayOfMonthBetween(int min, int max)
      Set the allowed lower min (included) and upper max (included) bounder of generated day of month values. The int values can be between 1 and 31.

    • onlyDaysOfWeek

      CalendarArbitrary onlyDaysOfWeek(DayOfWeek... daysOfWeek)
      Set an array of allowed daysOfWeek.