How to generate time using scalacheck generators?

Question

Is there a way to generate random dates for property tests using Scalacheck . I want to generate both future and past dates . But the existing Scalacheck.Gen class does not provide any predefined method to do so .

score 7 · Answer 1 · edited Jun 10 '20 at 08:41

7

The following will generate what you are looking for

implicit val localDateArb = Arbitrary(localDateGen)

def localDateGen: Gen[LocalDate] = {
    val rangeStart = LocalDate.MIN.toEpochDay
    val currentYear = LocalDate.now(UTC).getYear
    val rangeEnd = LocalDate.of(currentYear, 1, 1).toEpochDay
    Gen.choose(rangeStart, rangeEnd).map(i => LocalDate.ofEpochDay(i))
}

edited Jun 10 '20 at 08:41

Stephen Thompson

29
1
6

answered Sep 23 '16 at 02:50

Aravind Yarram

78,777
46
231
327

1

@truptirath looks like you should accept the answer, if it met your needs. – tilde May 20 '21 at 21:17

score 3 · Answer 2 · edited Jun 11 '20 at 18:05

3

For joda time, I have used like that:

lazy val localDateGen: Gen[LocalDate] = Gen.calendar map LocalDate.fromCalendarFields

edited Jun 11 '20 at 18:05

Stephen Thompson

29
1
6

answered Nov 11 '18 at 06:29

Дмитрий Завориин

27
1

score 2 · Answer 3 · answered May 25 '21 at 08:24

Actually, "to generate both future and past dates", the implementation below is more accurate:

def localDateGen: Gen[LocalDate] =
      Gen.choose(
        min = LocalDate.MIN.toEpochDay,
        max = LocalDate.MAX.toEpochDay
      ).map(LocalDate.ofEpochDay)
implicit val localDateArb = Arbitrary(localDateGen)

How to generate time using scalacheck generators?

3 Answers3