How to use Arb.Companion.localTime method of io.kotest.property.arbitrary.dates class

1package io.kotest.property.arbitrary2import io.kotest.property.Arb3import java.time.Instant4import java.time.LocalDate5import java.time.LocalDateTime6import java.time.LocalTime7import java.time.Period8import java.time.Year.isLeap9import java.time.YearMonth10import java.time.temporal.ChronoUnit11import java.time.temporal.TemporalQueries.localDate12import java.time.temporal.TemporalQueries.localTime13import kotlin.random.Random14/**15 * Arberates a random [Period]s.16 *17 * This generator creates randomly generated Periods, with years less than or equal to [maxYear].18 *19 * If [maxYear] is 0, only random months and days will be generated.20 *21 * Months will always be in range [0..11]22 * Days will always be in range [0..31]23 */24fun Arb.Companion.period(maxYear: Int = 10): Arb<Period> = arbitrary(listOf(Period.ZERO)) {25   Period.of(26      (0..maxYear).random(it.random),27      (0..11).random(it.random),28      (0..31).random(it.random)29   )30}31fun Arb.Companion.localDate() = Arb.Companion.localDate(LocalDate.of(1970, 1, 1), LocalDate.of(2030, 12, 31))32/**33 * Arberates a stream of random LocalDates34 *35 * This generator creates randomly generated LocalDates, in the range [[minDate, maxDate]].36 *37 * If any of the years in the range contain a leap year, the date [29/02/YEAR] will always be a constant value of this38 * generator.39 *40 * @see [localDateTime]41 * @see [localTime]42 */43fun Arb.Companion.localDate(44   minDate: LocalDate = LocalDate.of(1970, 1, 1),45   maxDate: LocalDate = LocalDate.of(2030, 12, 31)46): Arb<LocalDate> {47   val leapYears = (minDate.year..maxDate.year).filter { isLeap(it.toLong()) }48   val february28s = leapYears.map { LocalDate.of(it, 2, 28) }49   val february29s = february28s.map { it.plusDays(1) }50   return arbitrary(february28s + february29s + minDate + maxDate) {51      minDate.plusDays(it.random.nextLong(ChronoUnit.DAYS.between(minDate, maxDate)))52   }.filter { it in minDate..maxDate }53}54/**55 * Arberates a stream of random LocalTimes56 *57 * This generator creates randomly generated LocalTimes.58 *59 * @see [localDateTime]60 * @see [localDate]61 */62fun Arb.Companion.localTime(): Arb<LocalTime> = arbitrary(listOf(LocalTime.of(23, 59, 59), LocalTime.of(0, 0, 0))) {63   LocalTime.of(it.random.nextInt(24), it.random.nextInt(60), it.random.nextInt(60))64}65/**66 * Arberates a stream of random LocalDateTimes67 *68 * This generator creates randomly generated LocalDates, in the range [[minYear, maxYear]].69 *70 * If any of the years in the range contain a leap year, the date [29/02/YEAR] will always be a constant value of this71 * generator.72 *73 * @see [localDateTime]74 * @see [localTime]75 */76fun Arb.Companion.localDateTime(77   minYear: Int? = null,78   maxYear: Int79): Arb<LocalDateTime> {80   return localDateTime(minYear ?: 1970, maxYear)81}82/**83 * Arberates a stream of random LocalDateTimes84 *85 * This generator creates randomly generated LocalDates, in the range [[minYear, maxYear]].86 *87 * If any of the years in the range contain a leap year, the date [29/02/YEAR] will always be a constant value of this88 * generator.89 *90 * @see [localDateTime]91 * @see [localTime]92 */93fun Arb.Companion.localDateTime(94   minYear: Int,95   maxYear: Int? = null96): Arb<LocalDateTime> {97   return localDateTime(minYear, maxYear ?: 2030)98}99/**100 * Arberates a stream of random LocalDateTimes101 *102 * This generator creates randomly generated LocalDates, in the range [[minYear, maxYear]].103 *104 * If any of the years in the range contain a leap year, the date [29/02/YEAR] will always be a constant value of this105 * generator.106 *107 * @see [localDateTime]108 * @see [localTime]109 */110fun Arb.Companion.localDateTime(111   minYear: Int,112   maxYear: Int113): Arb<LocalDateTime> {114   return localDateTime(115      minLocalDateTime = LocalDateTime.of(minYear, 1, 1, 0, 0),116      maxLocalDateTime = LocalDateTime.of(maxYear, 12, 31, 23, 59)117   )118}119/**120 * Arberates a stream of random LocalDateTimes121 *122 * This generator creates randomly generated LocalDates, in the range [[minLocalDateTime, maxLocalDateTime]].123 *124 * If any of the years in the range contain a leap year, the date [29/02/YEAR] will always be a constant value of this125 * generator.126 *127 * @see [localDateTime]128 * @see [localTime]129 */130fun Arb.Companion.localDateTime(131   minLocalDateTime: LocalDateTime = LocalDateTime.of(1970, 1, 1, 0, 0),132   maxLocalDateTime: LocalDateTime = LocalDateTime.of(2030, 12, 31, 23, 59)133): Arb<LocalDateTime> {134   return arbitrary(135      edgecaseFn = {136         generateSequence {137            val date = localDate(minLocalDateTime.toLocalDate(), maxLocalDateTime.toLocalDate()).edgecase(it)138            val time = localTime().edgecase(it)139            if (date == null || time == null) null else date.atTime(time)140         }.find { !it.isBefore(minLocalDateTime) && !it.isAfter(maxLocalDateTime) }141      },142      sampleFn = {143         generateSequence {144            val date = localDate(minLocalDateTime.toLocalDate(), maxLocalDateTime.toLocalDate()).single(it)145            val time = localTime().single(it)146            date.atTime(time)147         }.first { !it.isBefore(minLocalDateTime) && !it.isAfter(maxLocalDateTime) }148      }149   )150}151/**152 * Arberates a stream of random YearMonth153 *154 * If any of the years in the range contain a leap year, the date [02/YEAR] will always be a constant value of this155 * generator.156 *157 * This generator creates randomly generated YearMonth, in the range [[minYearMonth, maxYearMonth]].158 *159 * @see [yearMonth]160 */161fun Arb.Companion.yearMonth(162   minYearMonth: YearMonth = YearMonth.of(1970, 1),163   maxYearMonth: YearMonth = YearMonth.of(2030, 12)164): Arb<YearMonth> {165   val leapYears = (minYearMonth.year..maxYearMonth.year).filter { isLeap(it.toLong()) }166   val february = leapYears.map { YearMonth.of(it, 2) }167   return arbitrary(february + minYearMonth + maxYearMonth) {168      minYearMonth.plusMonths(it.random.nextLong(ChronoUnit.MONTHS.between(minYearMonth, maxYearMonth)))169   }.filter { it in minYearMonth..maxYearMonth }170}171typealias InstantRange = ClosedRange<Instant>172fun InstantRange.random(random: Random): Instant {173   try {174      val seconds = (start.epochSecond..endInclusive.epochSecond).random(random)175      val nanos = when {176         seconds == start.epochSecond && seconds == endInclusive.epochSecond -> start.nano..endInclusive.nano177         seconds == start.epochSecond -> start.nano..999_999_999178         seconds == endInclusive.epochSecond -> 0..endInclusive.nano179         else -> 0..999_999_999180      }.random(random)181      return Instant.ofEpochSecond(seconds, nanos.toLong())182   } catch (e: IllegalArgumentException) {183      throw NoSuchElementException(e.message)184   }185}186/**187 * Arberates a stream of random [Instant]188 */189fun Arb.Companion.instant(range: InstantRange): Arb<Instant> =190   arbitrary(listOf(range.start, range.endInclusive)) {191      range.random(it.random)192   }193/**194 * Arberates a stream of random [Instant]195 */196fun Arb.Companion.instant(197   minValue: Instant = Instant.MIN,198   maxValue: Instant = Instant.MAX199) = instant(minValue..maxValue)...

1val arbLocalTime = localTime()2val arbLocalDate = localDate()3val arbLocalDateTime = localDateTime()4val arbZonedDateTime = zonedDateTime()5val arbZoneId = zoneId()6val arbZoneOffset = zoneOffset()7val arbYear = year()8val arbYearMonth = yearMonth()9val arbMonthDay = monthDay()10val arbOffsetTime = offsetTime()11val arbOffsetDateTime = offsetDateTime()12val arbInstant = instant()13val arbDuration = duration()14val arbPeriod = period()15val arbChronoLocalDate = chronoLocalDate()16val arbChronoLocalDateTime = chronoLocalDateTime()17val arbChronoZonedDateTime = chronoZonedDateTime()

1val localTimeGen = Arb.localTime()2val localTime = localTimeGen.next()3println(localTime)4val localDateTimeGen = Arb.localDateTime()5val localDateTime = localDateTimeGen.next()6println(localDateTime)7val instantGen = Arb.instant()8val instant = instantGen.next()9println(instant)10val zoneIdGen = Arb.zoneId()11val zoneId = zoneIdGen.next()12println(zoneId)13val zoneOffsetGen = Arb.zoneOffset()14val zoneOffset = zoneOffsetGen.next()15println(zoneOffset)16val yearGen = Arb.year()17val year = yearGen.next()18println(year)19val yearMonthGen = Arb.yearMonth()20val yearMonth = yearMonthGen.next()21println(yearMonth)22val monthGen = Arb.month()23val month = monthGen.next()24println(month)25val monthDayGen = Arb.monthDay()26val monthDay = monthDayGen.next()27println(monthDay)28val dayOfWeekGen = Arb.dayOfWeek()29val dayOfWeek = dayOfWeekGen.next()30println(dayOfWeek)31val dayOfMonthGen = Arb.dayOfMonth()32val dayOfMonth = dayOfMonthGen.next()33println(dayOfMonth)34val dayOfYearGen = Arb.dayOfYear()35val dayOfYear = dayOfYearGen.next()36println(dayOfYear)