ideal • runtime • calendars • test

test case test months()

jan : month of(0)

assert jan • ordinal == 0

assert jan • index base 1 == 1

assert jan • min days == 31

assert jan • max days == 31

assert jan • to string == "JANUARY"

assert jan == month of(0)

assert jan == JANUARY

feb : month of(1)

assert feb • ordinal == 1

assert feb • index base 1 == 2

assert feb • min days == 28

assert feb • max days == 29

assert feb • to string == "FEBRUARY"

assert feb == month of(1)

assert feb == FEBRUARY

mar : month of(2)

assert mar • ordinal == 2

assert mar • index base 1 == 3

assert mar • min days == 31

assert mar • max days == 31

assert mar • to string == "MARCH"

assert mar == month of(2)

assert mar == MARCH

nov : month of(10)

assert nov • ordinal == 10

assert nov • index base 1 == 11

assert nov • min days == 30

assert nov • max days == 30

assert nov • to string == "NOVEMBER"

assert nov == month of(10)

assert nov == NOVEMBER

test case test days()

aug11 : day of(2021, AUGUST, 11)

assert aug11 • year == 2021

assert aug11 • month == AUGUST

assert aug11 • day == 11

assert aug11 == day of(2021, AUGUST, 11)

mar30 : day of(1993, MARCH, 30)

assert mar30 • year == 1993

assert mar30 • month == MARCH

assert mar30 • day == 30

assert mar30 == day of(1993, MARCH, 30)

feb28 : day of(2016, FEBRUARY, 28)

assert feb28 == day of(2016, FEBRUARY, 28)

assert feb28 • add days(1) == day of(2016, FEBRUARY, 29)

assert feb28 • add days(2) == day of(2016, MARCH, 1)

jan1 : day of(2000, JANUARY, 1)

assert jan1 == day of(2000, JANUARY, 1)

assert jan1 • add days(-1) == day of(1999, DECEMBER, 31)

assert jan1 • add days(-365) == day of(1999, JANUARY, 1)

assert jan1 • add days(-365 * 2) == day of(1998, JANUARY, 1)

Test equivalence relation.

test case test equivalence()

day0 : today()

day1 : day of(day0 • year, day0 • month, day0 • day)

assert day0 == day1