123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166 |
- /*
- * Copyright (c) 2021, Idan Horowitz <idan.horowitz@serenityos.org>
- * Copyright (c) 2021, Linus Groh <linusg@serenityos.org>
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
- #include <LibJS/Runtime/AbstractOperations.h>
- #include <LibJS/Runtime/GlobalObject.h>
- #include <LibJS/Runtime/Object.h>
- #include <LibJS/Runtime/Temporal/Calendar.h>
- #include <LibJS/Runtime/Temporal/PlainTime.h>
- #include <LibJS/Runtime/Temporal/PlainTimeConstructor.h>
- namespace JS::Temporal {
- // 4 Temporal.PlainTime Objects, https://tc39.es/proposal-temporal/#sec-temporal-plaintime-objects
- PlainTime::PlainTime(u8 iso_hour, u8 iso_minute, u8 iso_second, u16 iso_millisecond, u16 iso_microsecond, u16 iso_nanosecond, Calendar& calendar, Object& prototype)
- : Object(prototype)
- , m_iso_hour(iso_hour)
- , m_iso_minute(iso_minute)
- , m_iso_second(iso_second)
- , m_iso_millisecond(iso_millisecond)
- , m_iso_microsecond(iso_microsecond)
- , m_iso_nanosecond(iso_nanosecond)
- , m_calendar(calendar)
- {
- }
- void PlainTime::visit_edges(Visitor& visitor)
- {
- visitor.visit(&m_calendar);
- }
- // 4.5.5 IsValidTime ( hour, minute, second, millisecond, microsecond, nanosecond ), https://tc39.es/proposal-temporal/#sec-temporal-isvalidtime
- bool is_valid_time(u8 hour, u8 minute, u8 second, u16 millisecond, u16 microsecond, u16 nanosecond)
- {
- // 1. Assert: hour, minute, second, millisecond, microsecond, and nanosecond are integers.
- // 2. If hour < 0 or hour > 23, then
- if (hour > 23) {
- // a. Return false.
- return false;
- }
- // 3. If minute < 0 or minute > 59, then
- if (minute > 59) {
- // a. Return false.
- return false;
- }
- // 4. If second < 0 or second > 59, then
- if (second > 59) {
- // a. Return false.
- return false;
- }
- // 5. If millisecond < 0 or millisecond > 999, then
- if (millisecond > 999) {
- // a. Return false.
- return false;
- }
- // 6. If microsecond < 0 or microsecond > 999, then
- if (microsecond > 999) {
- // a. Return false.
- return false;
- }
- // 7. If nanosecond < 0 or nanosecond > 999, then
- if (nanosecond > 999) {
- // a. Return false.
- return false;
- }
- // 8. Return true.
- return true;
- }
- // 4.5.6 BalanceTime ( hour, minute, second, millisecond, microsecond, nanosecond ), https://tc39.es/proposal-temporal/#sec-temporal-balancetime
- DaysAndTime balance_time(i64 hour, i64 minute, i64 second, i64 millisecond, i64 microsecond, i64 nanosecond)
- {
- // 1. Assert: hour, minute, second, millisecond, microsecond, and nanosecond are integers.
- // 2. Set microsecond to microsecond + floor(nanosecond / 1000).
- microsecond += nanosecond / 1000;
- // 3. Set nanosecond to nanosecond modulo 1000.
- nanosecond %= 1000;
- // 4. Set millisecond to millisecond + floor(microsecond / 1000).
- millisecond += microsecond / 1000;
- // 5. Set microsecond to microsecond modulo 1000.
- microsecond %= 1000;
- // 6. Set second to second + floor(millisecond / 1000).
- second += millisecond / 1000;
- // 7. Set millisecond to millisecond modulo 1000.
- millisecond %= 1000;
- // 8. Set minute to minute + floor(second / 60).
- minute += second / 60;
- // 9. Set second to second modulo 60.
- second %= 60;
- // 10. Set hour to hour + floor(minute / 60).
- hour += minute / 60;
- // 11. Set minute to minute modulo 60.
- minute %= 60;
- // 12. Let days be floor(hour / 24).
- u8 days = hour / 24;
- // 13. Set hour to hour modulo 24.
- hour %= 24;
- // 14. Return the new Record { [[Days]]: days, [[Hour]]: hour, [[Minute]]: minute, [[Second]]: second, [[Millisecond]]: millisecond, [[Microsecond]]: microsecond, [[Nanosecond]]: nanosecond }.
- return DaysAndTime {
- .days = static_cast<i32>(days),
- .hour = static_cast<u8>(hour),
- .minute = static_cast<u8>(minute),
- .second = static_cast<u8>(second),
- .millisecond = static_cast<u16>(millisecond),
- .microsecond = static_cast<u16>(microsecond),
- .nanosecond = static_cast<u16>(nanosecond),
- };
- }
- // 4.5.8 CreateTemporalTime ( hour, minute, second, millisecond, microsecond, nanosecond [ , newTarget ] ), https://tc39.es/proposal-temporal/#sec-temporal-createtemporaltime
- PlainTime* create_temporal_time(GlobalObject& global_object, u8 hour, u8 minute, u8 second, u16 millisecond, u16 microsecond, u16 nanosecond, FunctionObject* new_target)
- {
- auto& vm = global_object.vm();
- // 1. Assert: hour, minute, second, millisecond, microsecond and nanosecond are integers.
- // 2. If ! IsValidTime(hour, minute, second, millisecond, microsecond, nanosecond) is false, throw a RangeError exception.
- if (!is_valid_time(hour, minute, second, millisecond, microsecond, nanosecond)) {
- vm.throw_exception<RangeError>(global_object, ErrorType::TemporalInvalidPlainTime);
- return {};
- }
- // 3. If newTarget is not present, set it to %Temporal.PlainTime%.
- if (!new_target)
- new_target = global_object.temporal_plain_time_constructor();
- // 4. Let object be ? OrdinaryCreateFromConstructor(newTarget, "%Temporal.PlainTime.prototype%", « [[InitializedTemporalTime]], [[ISOHour]], [[ISOMinute]], [[ISOSecond]], [[ISOMillisecond]], [[ISOMicrosecond]], [[ISONanosecond]], [[Calendar]] »).
- // 5. Set object.[[ISOHour]] to hour.
- // 6. Set object.[[ISOMinute]] to minute.
- // 7. Set object.[[ISOSecond]] to second.
- // 8. Set object.[[ISOMillisecond]] to millisecond.
- // 9. Set object.[[ISOMicrosecond]] to microsecond.
- // 10. Set object.[[ISONanosecond]] to nanosecond.
- // 11. Set object.[[Calendar]] to ! GetISO8601Calendar().
- auto* object = ordinary_create_from_constructor<PlainTime>(global_object, *new_target, &GlobalObject::temporal_plain_time_prototype, hour, minute, second, millisecond, microsecond, nanosecond, *get_iso8601_calendar(global_object));
- if (vm.exception())
- return {};
- // 12. Return object.
- return object;
- }
- }
|