First portion of the Temporal implementation

boa_ast/Cargo.toml

@@ -13,6 +13,7 @@ rust-version.workspace = true
 [features]
 serde = ["dep:serde", "boa_interner/serde", "bitflags/serde", "num-bigint/serde"]
 arbitrary = ["dep:arbitrary", "boa_interner/arbitrary", "num-bigint/arbitrary"]
+experimental = []
 
 [dependencies]
 boa_interner.workspace = true

boa_ast/src/lib.rs

@@ -92,6 +92,8 @@ pub mod operations;
 pub mod pattern;
 pub mod property;
 pub mod statement;
+#[cfg(feature = "experimental")]
+pub mod temporal;
 pub mod visitor;
 
 use boa_interner::{Interner, ToIndentedString, ToInternedString};

boa_ast/src/temporal/mod.rs

@@ -0,0 +1,113 @@
+//! AST nodes for Temporal's implementation of ISO8601 grammar.
+
+/// An ISO Date Node consisting of non-validated date fields and calendar value.
+#[derive(Default, Debug)]
+pub struct IsoDate {
+    /// Date Year
+    pub year: i32,
+    /// Date Month
+    pub month: i32,
+    /// Date Day
+    pub day: i32,
+    /// The calendar value.
+    pub calendar: Option<String>,
+}
+
+/// The `IsoTime` node consists of non-validated time fields.
+#[derive(Default, Debug, Clone, Copy)]
+pub struct IsoTime {
+    /// An hour value between 0-23
+    pub hour: u8,
+    /// A minute value between 0-59
+    pub minute: u8,
+    /// A second value between 0-60
+    pub second: u8,
+    /// A millisecond value between 0-999
+    pub millisecond: u16,
+    /// A microsecond value between 0-999
+    pub microsecond: u16,
+    /// A nanosecond value between 0-999
+    pub nanosecond: u16,
+}
+
+impl IsoTime {
+    #[must_use]
+    #[allow(clippy::cast_possible_truncation, clippy::cast_sign_loss)]
+    /// A utility initialization function to create `ISOTime` from the `TimeSpec` components.
+    pub fn from_components(hour: u8, minute: u8, second: u8, fraction: f64) -> Self {
+        // Note: Precision on nanoseconds drifts, so opting for round over floor or ceil for now.
+        // e.g. 0.329402834 becomes 329.402833.999
+        let millisecond = fraction * 1000.0;
+        let micros = millisecond.rem_euclid(1.0) * 1000.0;
+        let nanos = micros.rem_euclid(1.0) * 1000.0;
+
+        Self {
+            hour,
+            minute,
+            second,
+            millisecond: millisecond.floor() as u16,
+            microsecond: micros.floor() as u16,
+            nanosecond: nanos.round() as u16,
+        }
+    }
+}
+
+/// The `IsoDateTime` node output by the ISO parser
+#[derive(Default, Debug)]
+pub struct IsoDateTime {
+    /// The `ISODate` record
+    pub date: IsoDate,
+    /// The `ISOTime` record
+    pub time: IsoTime,
+    /// The `TimeZone` value for this `ISODateTime`
+    pub tz: Option<TimeZone>,
+}
+
+/// `TimeZone` data
+#[derive(Default, Debug, Clone)]
+pub struct TimeZone {
+    /// TimeZoneIANAName
+    pub name: Option<String>,
+    /// TimeZoneOffset
+    pub offset: Option<UTCOffset>,
+}
+
+/// A full precision `UtcOffset`
+#[derive(Debug, Clone, Copy)]
+pub struct UTCOffset {
+    /// The `+`/`-` sign of this `UtcOffset`
+    pub sign: i8,
+    /// The hour value of the `UtcOffset`
+    pub hour: u8,
+    /// The minute value of the `UtcOffset`.
+    pub minute: u8,
+    /// The second value of the `UtcOffset`.
+    pub second: u8,
+    /// Any sub second components of the `UTCOffset`
+    pub fraction: f64,
+}
+
+/// An `IsoDuration` Node output by the ISO parser.
+#[derive(Debug, Default, Clone, Copy)]
+pub struct IsoDuration {
+    /// Years value.
+    pub years: i32,
+    /// Months value.
+    pub months: i32,
+    /// Weeks value.
+    pub weeks: i32,
+    /// Days value.
+    pub days: i32,
+    /// Hours value.
+    pub hours: i32,
+    /// Minutes value.
+    pub minutes: f64,
+    /// Seconds value.
+    pub seconds: f64,
+    /// Milliseconds value.
+    pub milliseconds: f64,
+    /// Microseconds value.
+    pub microseconds: f64,
+    /// Nanoseconds value.
+    pub nanoseconds: f64,
+}

boa_engine/Cargo.toml

@@ -47,7 +47,7 @@ trace = []
 annex-b = ["boa_parser/annex-b"]
 
 # Enable experimental features, like Stage 3 proposals.
-experimental = []
+experimental = ["boa_parser/experimental", "dep:icu_calendar"]
 
 [dependencies]
 boa_interner.workspace = true

boa_engine/src/bigint.rs

@@ -225,6 +225,17 @@ impl JsBigInt {
         Self::new(x.inner.as_ref().clone().add(y.inner.as_ref()))
     }
 
+    /// Utility function for performing `+` operation on more than two values.
+    #[inline]
+    #[cfg(feature = "experimental")]
+    pub(crate) fn add_n(values: &[Self]) -> Self {
+        let mut result = Self::zero();
+        for big_int in values {
+            result = Self::add(&result, big_int);
+        }
+        result
+    }
+
     /// Performs the `-` operation.
     #[inline]
     #[must_use]

boa_engine/src/builtins/date/mod.rs

@@ -7,7 +7,7 @@
 //! [spec]: https://tc39.es/ecma262/#sec-date-objects
 //! [mdn]: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Date
 
-mod utils;
+pub(crate) mod utils;
 use utils::{make_date, make_day, make_time, replace_params, time_clip, DateParameters};
 
 #[cfg(test)]

boa_engine/src/builtins/date/utils.rs

@@ -39,7 +39,7 @@ pub(super) const fn day_from_year(year: i64) -> i64 {
 /// Abstract operation [`MakeTime`][spec].
 ///
 /// [spec]: https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-maketime
-pub(super) fn make_time(hour: i64, min: i64, sec: i64, ms: i64) -> Option<i64> {
+pub(crate) fn make_time(hour: i64, min: i64, sec: i64, ms: i64) -> Option<i64> {
     // 1. If hour is not finite or min is not finite or sec is not finite or ms is not finite, return NaN.
     // 2. Let h be 𝔽(! ToIntegerOrInfinity(hour)).
     // 3. Let m be 𝔽(! ToIntegerOrInfinity(min)).
@@ -59,7 +59,7 @@ pub(super) fn make_time(hour: i64, min: i64, sec: i64, ms: i64) -> Option<i64> {
 /// Abstract operation [`MakeDay`][spec].
 ///
 /// [spec]: https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-makeday
-pub(super) fn make_day(mut year: i64, mut month: i64, date: i64) -> Option<i64> {
+pub(crate) fn make_day(mut year: i64, mut month: i64, date: i64) -> Option<i64> {
     // 1. If year is not finite or month is not finite or date is not finite, return NaN.
     // 2. Let y be 𝔽(! ToIntegerOrInfinity(year)).
     // 3. Let m be 𝔽(! ToIntegerOrInfinity(month)).
@@ -101,7 +101,7 @@ pub(super) fn make_day(mut year: i64, mut month: i64, date: i64) -> Option<i64>
 /// Abstract operation [`MakeDate`][spec].
 ///
 /// [spec]: https://tc39.es/ecma262/multipage/numbers-and-dates.html#sec-makedate
-pub(super) fn make_date(day: i64, time: i64) -> Option<i64> {
+pub(crate) fn make_date(day: i64, time: i64) -> Option<i64> {
     // 1. If day is not finite or time is not finite, return NaN.
     // 2. Let tv be day × msPerDay + time.
     // 3. If tv is not finite, return NaN.

boa_engine/src/builtins/mod.rs

@@ -43,6 +43,9 @@ pub mod intl;
 #[cfg(any(feature = "intl", feature = "experimental"))]
 pub(crate) mod options;
 
+#[cfg(feature = "experimental")]
+pub mod temporal;
+
 pub(crate) use self::{
     array::Array,
     async_function::AsyncFunction,
@@ -275,6 +278,22 @@ impl Realm {
             intl::segmenter::SegmentIterator::init(self);
             intl::PluralRules::init(self);
         }
+
+        #[cfg(feature = "experimental")]
+        {
+            temporal::TimeZone::init(self);
+            temporal::Temporal::init(self);
+            temporal::Now::init(self);
+            temporal::Instant::init(self);
+            temporal::Duration::init(self);
+            temporal::PlainDate::init(self);
+            temporal::PlainTime::init(self);
+            temporal::PlainDateTime::init(self);
+            temporal::PlainMonthDay::init(self);
+            temporal::PlainYearMonth::init(self);
+            temporal::ZonedDateTime::init(self);
+            temporal::Calendar::init(self);
+        }
     }
 }
 
@@ -374,6 +393,11 @@ pub(crate) fn set_default_global_bindings(context: &mut Context<'_>) -> JsResult
     #[cfg(feature = "intl")]
     global_binding::<intl::Intl>(context)?;
 
+    #[cfg(feature = "experimental")]
+    {
+        global_binding::<temporal::Temporal>(context)?;
+    }
+
     Ok(())
 }
 

boa_engine/src/builtins/options.rs

@@ -124,6 +124,53 @@ pub(crate) enum RoundingMode {
     HalfEven,
 }
 
+#[derive(Debug, Clone, Copy, PartialEq, Eq)]
+pub(crate) enum UnsignedRoundingMode {
+    Infinity,
+    Zero,
+    HalfInfinity,
+    HalfZero,
+    HalfEven,
+}
+
+impl RoundingMode {
+    pub(crate) const fn negate(self) -> Self {
+        use RoundingMode::{
+            Ceil, Expand, Floor, HalfCeil, HalfEven, HalfExpand, HalfFloor, HalfTrunc, Trunc,
+        };
+
+        match self {
+            Ceil => Self::Floor,
+            Floor => Self::Ceil,
+            HalfCeil => Self::HalfFloor,
+            HalfFloor => Self::HalfCeil,
+            Trunc => Self::Trunc,
+            Expand => Self::Expand,
+            HalfTrunc => Self::HalfTrunc,
+            HalfExpand => Self::HalfExpand,
+            HalfEven => Self::HalfEven,
+        }
+    }
+
+    pub(crate) const fn get_unsigned_round_mode(self, is_negative: bool) -> UnsignedRoundingMode {
+        use RoundingMode::{
+            Ceil, Expand, Floor, HalfCeil, HalfEven, HalfExpand, HalfFloor, HalfTrunc, Trunc,
+        };
+
+        match self {
+            Ceil if !is_negative => UnsignedRoundingMode::Infinity,
+            Ceil => UnsignedRoundingMode::Zero,
+            Floor if !is_negative => UnsignedRoundingMode::Zero,
+            Floor | Trunc | Expand => UnsignedRoundingMode::Infinity,
+            HalfCeil if !is_negative => UnsignedRoundingMode::HalfInfinity,
+            HalfCeil | HalfTrunc => UnsignedRoundingMode::HalfZero,
+            HalfFloor if !is_negative => UnsignedRoundingMode::HalfZero,
+            HalfFloor | HalfExpand => UnsignedRoundingMode::HalfInfinity,
+            HalfEven => UnsignedRoundingMode::HalfEven,
+        }
+    }
+}
+
 #[derive(Debug)]
 pub(crate) struct ParseRoundingModeError;