KaneAI - World’s First E2E Software Testing Agent.Book a Demo Join TestMu Conference

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

Best Kotest code snippet using io.kotest.property.arbitrary.dates.Arb.Companion.localTime

dates.kt

Source:dates.kt

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)...

Arb.Companion.localTime

Using AI Code Generation

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()

Arb.Companion.localTime

Using AI Code Generation

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)

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.