Package net.jqwik.time.api.arbitraries

Interface DateArbitrary

All Superinterfaces:
net.jqwik.api.Arbitrary<Date>
All Known Implementing Classes:
DefaultDateArbitrary
@API(status=EXPERIMENTAL, since="1.4.0") public interface DateArbitrary extends net.jqwik.api.Arbitrary<Date>
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
    DateArbitrary
    atTheEarliest(Date min)
    Set the allowed lower min (included) bounder of generated date values.
    DateArbitrary
    atTheLatest(Date max)
    Set the allowed upper max (included) bounder of generated date values.
    default DateArbitrary
    between(Date min, Date max)
    Set the allowed lower min (included) and upper max (included) bounder of generated date values.
    DateArbitrary
    dayOfMonthBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated day of month values.
    default DateArbitrary
    monthBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated month values.
    DateArbitrary
    monthBetween(Month min, Month max)
    Set the allowed lower min (included) and upper max (included) bounder of generated month values.
    DateArbitrary
    onlyDaysOfWeek(DayOfWeek... daysOfWeek)
    Set an array of allowed daysOfWeek.
    DateArbitrary
    onlyMonths(Month... months)
    Set an array of allowed months.
    default DateArbitrary
    yearBetween(int min, int max)
    Set the allowed lower min (included) and upper max (included) bounder of generated year values.
    DateArbitrary
    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 DateArbitrary between(Date min, Date max)
      Set the allowed lower min (included) and upper max (included) bounder of generated date values.

    • atTheEarliest

      DateArbitrary atTheEarliest(Date min)
      Set the allowed lower min (included) bounder of generated date values.

    • atTheLatest

      DateArbitrary atTheLatest(Date max)
      Set the allowed upper max (included) bounder of generated date values.

    • yearBetween

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

    • yearBetween

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

    • monthBetween

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

    • monthBetween

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

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

    • dayOfMonthBetween

      DateArbitrary 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

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