1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
package xyz.driver.core
import org.scalacheck.{Arbitrary, Gen}
import org.scalatest.prop.Checkers
import org.scalatest.{FlatSpec, Matchers}
import xyz.driver.core.date.Date
class DateTest extends FlatSpec with Matchers with Checkers {
val dateGenerator = for {
year <- Gen.choose(0, 3000)
month <- Gen.choose(0, 11)
day <- Gen.choose(1, 31)
} yield Date(year, date.Month(month), day)
implicit val arbitraryDate = Arbitrary[Date](dateGenerator)
"Date" should "correctly convert to and from String" in {
import xyz.driver.core.generators.nextDate
import date._
for (date <- 1 to 100 map (_ => nextDate())) {
Some(date) should be(Date.fromString(date.toString))
}
}
it should "have ordering defined correctly" in {
Seq(
Date.fromString("2013-05-10"),
Date.fromString("2020-02-15"),
Date.fromString("2017-03-05"),
Date.fromString("2013-05-12")).sorted should
contain theSameElementsInOrderAs Seq(
Date.fromString("2013-05-10"),
Date.fromString("2013-05-12"),
Date.fromString("2017-03-05"),
Date.fromString("2020-02-15"))
check { dates: List[Date] =>
dates.sorted.sliding(2).filter(_.size == 2).forall {
case Seq(a, b) =>
if (a.year == b.year) {
if (a.month == b.month) {
a.day <= b.day
} else {
a.month < b.month
}
} else {
a.year < b.year
}
}
}
}
}
|
