From f5868f222cb5ee28acc0f57160ff3bef9e92266f Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Thu, 23 Jan 2025 13:43:02 +0100 Subject: [PATCH] Started using --- src/core/aviation.Timespan.scala | 2 +- src/core/aviation.Timing.scala | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/aviation.Timespan.scala b/src/core/aviation.Timespan.scala index f2c5678..eeeb5f9 100644 --- a/src/core/aviation.Timespan.scala +++ b/src/core/aviation.Timespan.scala @@ -34,7 +34,7 @@ object Timespan: def milliseconds(period: Timespan & FixedDuration): Long = period.hours*3600000L + period.minutes*60000L + period.seconds*1000L - def apply(denomination: StandardTime, n: Int): Timespan = (denomination: @unchecked) match + def apply(denomination: StandardTime, n: Int): Timespan = denomination.runtimeChecked match case StandardTime.Year => Timespan(n, 0, 0, 0, 0, 0) case StandardTime.Month => Timespan(0, n, 0, 0, 0, 0) case StandardTime.Day => Timespan(0, 0, n, 0, 0, 0) diff --git a/src/core/aviation.Timing.scala b/src/core/aviation.Timing.scala index 6fca0f8..94497dd 100644 --- a/src/core/aviation.Timing.scala +++ b/src/core/aviation.Timing.scala @@ -88,7 +88,7 @@ object Timing: infix def in (using RomanCalendar)(timezone: Timezone): LocalTime = val zonedTime = jt.Instant.ofEpochMilli(instant).nn.atZone(jt.ZoneId.of(timezone.name.s)).nn - val date = (zonedTime.getMonthValue: @unchecked) match + val date = zonedTime.getMonthValue.runtimeChecked match case MonthName(month) => unsafely(Date(zonedTime.getYear, month, zonedTime.getDayOfMonth)) val time = ((zonedTime.getHour, zonedTime.getMinute, zonedTime.getSecond): @unchecked) match