Package net.jqwik.time.api.arbitraries

Schnittstelle ZonedDateTimeArbitrary

Alle Superschnittstellen:
Arbitrary<ZonedDateTime>
@API(status=EXPERIMENTAL, since="1.6.3") public interface ZonedDateTimeArbitrary extends Arbitrary<ZonedDateTime>
Fluent interface to configure the generation of zoned date time values. All generated zoned date times use the Gregorian Calendar, even if they are before October 15, 1582. By default, zoned date times with years between 1900 and 2500 are generated.

  • Methodendetails Linksymbol

    • between Linksymbol

      default ZonedDateTimeArbitrary between(LocalDateTime min, LocalDateTime max)
      Set the allowed lower min (included) and upper max (included) bounder of the local part of generated zoned date time values. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.

    • atTheEarliest Linksymbol

      ZonedDateTimeArbitrary atTheEarliest(LocalDateTime min)
      Set the allowed lower min (included) bounder of the local part of generated zoned date time values. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.

    • atTheLatest Linksymbol

      ZonedDateTimeArbitrary atTheLatest(LocalDateTime max)
      Set the allowed upper max (included) bounder of the local part of generated zoned date time values. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.

    • dateBetween Linksymbol

      ZonedDateTimeArbitrary dateBetween(LocalDate min, LocalDate max)
      Set the allowed lower min (included) and upper max (included) bounder of generated zoned date values.

    • yearBetween Linksymbol

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

    • yearBetween Linksymbol

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

    • monthBetween Linksymbol

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

    • monthBetween Linksymbol

      default ZonedDateTimeArbitrary 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 Linksymbol

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

    • dayOfMonthBetween Linksymbol

      ZonedDateTimeArbitrary 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 Linksymbol

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

    • timeBetween Linksymbol

      ZonedDateTimeArbitrary timeBetween(LocalTime min, LocalTime max)
      Set the allowed lower min (included) and upper max (included) bounder of generated zoned time values. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.

    • hourBetween Linksymbol

      ZonedDateTimeArbitrary hourBetween(int min, int max)
      Set the allowed lower min (included) and upper max (included) bounder of generated hour values. The hours can be between 0 and 23.

    • minuteBetween Linksymbol

      ZonedDateTimeArbitrary minuteBetween(int min, int max)
      Set the allowed lower min (included) and upper max (included) bounder of generated minute values. The minutes can be between 0 and 59.

    • secondBetween Linksymbol

      ZonedDateTimeArbitrary secondBetween(int min, int max)
      Set the allowed lower min (included) and upper max (included) bounder of generated second values. The minutes can be between 0 and 59.

    • ofPrecision Linksymbol

      ZonedDateTimeArbitrary ofPrecision(ChronoUnit ofPrecision)
      Constrain the precision of generated values. Default value: Seconds. If you don't explicitly set the precision and use min/max values with precision milliseconds/microseconds/nanoseconds, the precision of your min/max value is implicitly set.