Package net.jqwik.time.api.arbitraries

Interface LocalDateArbitrary

All Superinterfaces:
net.jqwik.api.Arbitrary<LocalDate>
All Known Implementing Classes:
DefaultLocalDateArbitrary
@API(status=EXPERIMENTAL, since="1.4.0") public interface LocalDateArbitrary extends net.jqwik.api.Arbitrary<LocalDate>
Fluent interface to configure the generation of local date values. All generated dates use the Gregorian Calendar, even if they are before October 15, 1582. By default, local 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
    LocalDateArbitrary
    atTheEarliest(LocalDate min)
    Set the allowed lower min (included) bounder of generated local date values.
    LocalDateArbitrary
    atTheLatest(LocalDate max)
    Set the allowed upper max (included) bounder of generated local date values.
    default LocalDateArbitrary
    between(LocalDate min, LocalDate max)
    Set the allowed lower min (included) and upper max (included) bounder of generated local date values.
    LocalDateArbitrary
    dayOfMonthBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
    default LocalDateArbitrary
    monthBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated month values.
    LocalDateArbitrary
    monthBetween(Month min, Month max)
    Set the allowed lower min (included) and upper max (included) bounder of generated month values.
    LocalDateArbitrary
    onlyDaysOfWeek(DayOfWeek... daysOfWeek)
    Set an array of allowed daysOfWeek.
    LocalDateArbitrary
    onlyMonths(Month... months)
    Set an array of allowed months.
    default LocalDateArbitrary
    yearBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated year values.
    LocalDateArbitrary
    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 LocalDateArbitrary between(LocalDate min, LocalDate max)
      Set the allowed lower min (included) and upper max (included) bounder of generated local date values.

    • atTheEarliest

      LocalDateArbitrary atTheEarliest(LocalDate min)
      Set the allowed lower min (included) bounder of generated local date values.

    • atTheLatest

      LocalDateArbitrary atTheLatest(LocalDate max)
      Set the allowed upper max (included) bounder of generated local date values.

    • yearBetween

      LocalDateArbitrary 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(LocalDate, LocalDate) assuming Jan 1 and Dec 31 as first and last day of those years.

    • yearBetween

      default LocalDateArbitrary 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(LocalDate, LocalDate) assuming Jan 1 and Dec 31 as first and last day of those years.

    • monthBetween

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

    • monthBetween

      default LocalDateArbitrary 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

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

    • dayOfMonthBetween

      LocalDateArbitrary 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

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