PlainTime.cpp 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566
  1. /*
  2. * Copyright (c) 2021, Idan Horowitz <idan.horowitz@serenityos.org>
  3. * Copyright (c) 2021, Linus Groh <linusg@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <LibJS/Runtime/AbstractOperations.h>
  8. #include <LibJS/Runtime/GlobalObject.h>
  9. #include <LibJS/Runtime/Object.h>
  10. #include <LibJS/Runtime/Temporal/AbstractOperations.h>
  11. #include <LibJS/Runtime/Temporal/Calendar.h>
  12. #include <LibJS/Runtime/Temporal/Instant.h>
  13. #include <LibJS/Runtime/Temporal/PlainDateTime.h>
  14. #include <LibJS/Runtime/Temporal/PlainTime.h>
  15. #include <LibJS/Runtime/Temporal/PlainTimeConstructor.h>
  16. #include <LibJS/Runtime/Temporal/TimeZone.h>
  17. #include <LibJS/Runtime/Temporal/ZonedDateTime.h>
  18. namespace JS::Temporal {
  19. // 4 Temporal.PlainTime Objects, https://tc39.es/proposal-temporal/#sec-temporal-plaintime-objects
  20. PlainTime::PlainTime(u8 iso_hour, u8 iso_minute, u8 iso_second, u16 iso_millisecond, u16 iso_microsecond, u16 iso_nanosecond, Calendar& calendar, Object& prototype)
  21. : Object(prototype)
  22. , m_iso_hour(iso_hour)
  23. , m_iso_minute(iso_minute)
  24. , m_iso_second(iso_second)
  25. , m_iso_millisecond(iso_millisecond)
  26. , m_iso_microsecond(iso_microsecond)
  27. , m_iso_nanosecond(iso_nanosecond)
  28. , m_calendar(calendar)
  29. {
  30. }
  31. void PlainTime::visit_edges(Visitor& visitor)
  32. {
  33. Base::visit_edges(visitor);
  34. visitor.visit(&m_calendar);
  35. }
  36. // 4.5.2 ToTemporalTime ( item [ , overflow ] ), https://tc39.es/proposal-temporal/#sec-temporal-totemporaltime
  37. ThrowCompletionOr<PlainTime*> to_temporal_time(GlobalObject& global_object, Value item, Optional<StringView> overflow)
  38. {
  39. auto& vm = global_object.vm();
  40. // 1. If overflow is not present, set it to "constrain".
  41. if (!overflow.has_value())
  42. overflow = "constrain"sv;
  43. // 2. Assert: overflow is either "constrain" or "reject".
  44. VERIFY(overflow == "constrain"sv || overflow == "reject"sv);
  45. Optional<TemporalTime> result;
  46. // 3. If Type(item) is Object, then
  47. if (item.is_object()) {
  48. auto& item_object = item.as_object();
  49. // a. If item has an [[InitializedTemporalTime]] internal slot, then
  50. if (is<PlainTime>(item_object)) {
  51. // i. Return item.
  52. return &static_cast<PlainTime&>(item_object);
  53. }
  54. // b. If item has an [[InitializedTemporalZonedDateTime]] internal slot, then
  55. if (is<ZonedDateTime>(item_object)) {
  56. auto& zoned_date_time = static_cast<ZonedDateTime&>(item_object);
  57. // i. Let instant be ! CreateTemporalInstant(item.[[Nanoseconds]]).
  58. auto* instant = create_temporal_instant(global_object, zoned_date_time.nanoseconds()).release_value();
  59. // ii. Set plainDateTime to ? BuiltinTimeZoneGetPlainDateTimeFor(item.[[TimeZone]], instant, item.[[Calendar]]).
  60. auto* plain_date_time = TRY(builtin_time_zone_get_plain_date_time_for(global_object, &zoned_date_time.time_zone(), *instant, zoned_date_time.calendar()));
  61. // iii. Return ! CreateTemporalTime(plainDateTime.[[ISOHour]], plainDateTime.[[ISOMinute]], plainDateTime.[[ISOSecond]], plainDateTime.[[ISOMillisecond]], plainDateTime.[[ISOMicrosecond]], plainDateTime.[[ISONanosecond]]).
  62. return TRY(create_temporal_time(global_object, plain_date_time->iso_hour(), plain_date_time->iso_minute(), plain_date_time->iso_second(), plain_date_time->iso_millisecond(), plain_date_time->iso_microsecond(), plain_date_time->iso_nanosecond()));
  63. }
  64. // c. If item has an [[InitializedTemporalDateTime]] internal slot, then
  65. if (is<PlainDateTime>(item_object)) {
  66. auto& plain_date_time = static_cast<PlainDateTime&>(item_object);
  67. // i. Return ! CreateTemporalTime(item.[[ISOHour]], item.[[ISOMinute]], item.[[ISOSecond]], item.[[ISOMillisecond]], item.[[ISOMicrosecond]], item.[[ISONanosecond]]).
  68. return TRY(create_temporal_time(global_object, plain_date_time.iso_hour(), plain_date_time.iso_minute(), plain_date_time.iso_second(), plain_date_time.iso_millisecond(), plain_date_time.iso_microsecond(), plain_date_time.iso_nanosecond()));
  69. }
  70. // d. Let calendar be ? GetTemporalCalendarWithISODefault(item).
  71. auto* calendar = TRY(get_temporal_calendar_with_iso_default(global_object, item_object));
  72. // e. If ? ToString(calendar) is not "iso8601", then
  73. auto calendar_identifier = Value(calendar).to_string(global_object);
  74. if (auto* exception = vm.exception())
  75. return throw_completion(exception->value());
  76. if (calendar_identifier != "iso8601"sv) {
  77. // i. Throw a RangeError exception.
  78. return vm.throw_completion<RangeError>(global_object, ErrorType::TemporalInvalidCalendarIdentifier, calendar_identifier);
  79. }
  80. // f. Let result be ? ToTemporalTimeRecord(item).
  81. auto unregulated_result = TRY(to_temporal_time_record(global_object, item_object));
  82. // g. Set result to ? RegulateTime(result.[[Hour]], result.[[Minute]], result.[[Second]], result.[[Millisecond]], result.[[Microsecond]], result.[[Nanosecond]], overflow).
  83. result = TRY(regulate_time(global_object, unregulated_result.hour, unregulated_result.minute, unregulated_result.second, unregulated_result.millisecond, unregulated_result.microsecond, unregulated_result.nanosecond, *overflow));
  84. }
  85. // 4. Else,
  86. else {
  87. // a. Let string be ? ToString(item).
  88. auto string = item.to_string(global_object);
  89. if (auto* exception = vm.exception())
  90. return throw_completion(exception->value());
  91. // b. Let result be ? ParseTemporalTimeString(string).
  92. result = TRY(parse_temporal_time_string(global_object, string));
  93. // c. Assert: ! IsValidTime(result.[[Hour]], result.[[Minute]], result.[[Second]], result.[[Millisecond]], result.[[Microsecond]], result.[[Nanosecond]]) is true.
  94. VERIFY(is_valid_time(result->hour, result->minute, result->second, result->millisecond, result->microsecond, result->nanosecond));
  95. // d. If result.[[Calendar]] is not one of undefined or "iso8601", then
  96. if (result->calendar.has_value() && *result->calendar != "iso8601"sv) {
  97. // i. Throw a RangeError exception.
  98. return vm.throw_completion<RangeError>(global_object, ErrorType::TemporalInvalidCalendarIdentifier, *result->calendar);
  99. }
  100. }
  101. // 5. Return ? CreateTemporalTime(result.[[Hour]], result.[[Minute]], result.[[Second]], result.[[Millisecond]], result.[[Microsecond]], result.[[Nanosecond]]).
  102. return TRY(create_temporal_time(global_object, result->hour, result->minute, result->second, result->millisecond, result->microsecond, result->nanosecond));
  103. }
  104. // 4.5.3 ToPartialTime ( temporalTimeLike ), https://tc39.es/proposal-temporal/#sec-temporal-topartialtime
  105. ThrowCompletionOr<PartialUnregulatedTemporalTime> to_partial_time(GlobalObject& global_object, Object& temporal_time_like)
  106. {
  107. auto& vm = global_object.vm();
  108. // 1. Assert: Type(temporalTimeLike) is Object.
  109. // 2. Let result be the Record { [[Hour]]: undefined, [[Minute]]: undefined, [[Second]]: undefined, [[Millisecond]]: undefined, [[Microsecond]]: undefined, [[Nanosecond]]: undefined }.
  110. auto result = PartialUnregulatedTemporalTime {};
  111. // 3. Let any be false.
  112. bool any = false;
  113. // 4. For each row of Table 3, except the header row, in table order, do
  114. for (auto& [internal_slot, property] : temporal_time_like_properties<PartialUnregulatedTemporalTime, Optional<double>>(vm)) {
  115. // a. Let property be the Property value of the current row.
  116. // b. Let value be ? Get(temporalTimeLike, property).
  117. auto value = temporal_time_like.get(property);
  118. if (auto* exception = vm.exception())
  119. return throw_completion(exception->value());
  120. // c. If value is not undefined, then
  121. if (!value.is_undefined()) {
  122. // i. Set any to true.
  123. any = true;
  124. // ii. Set value to ? ToIntegerThrowOnInfinity(value).
  125. auto value_number = TRY(to_integer_throw_on_infinity(global_object, value, ErrorType::TemporalPropertyMustBeFinite));
  126. // iii. Set result's internal slot whose name is the Internal Slot value of the current row to value.
  127. result.*internal_slot = value_number;
  128. }
  129. }
  130. // 5. If any is false, then
  131. if (!any) {
  132. // a. Throw a TypeError exception.
  133. return vm.throw_completion<TypeError>(global_object, ErrorType::TemporalInvalidPlainTimeLikeObject);
  134. }
  135. // 6. Return result.
  136. return result;
  137. }
  138. // 4.5.4 RegulateTime ( hour, minute, second, millisecond, microsecond, nanosecond, overflow ), https://tc39.es/proposal-temporal/#sec-temporal-regulatetime
  139. ThrowCompletionOr<TemporalTime> regulate_time(GlobalObject& global_object, double hour, double minute, double second, double millisecond, double microsecond, double nanosecond, StringView overflow)
  140. {
  141. auto& vm = global_object.vm();
  142. // 1. Assert: hour, minute, second, millisecond, microsecond and nanosecond are integers.
  143. // NOTE: As the spec is currently written this assertion can fail, these are either integers _or_ infinity.
  144. // See https://github.com/tc39/proposal-temporal/issues/1672.
  145. // 2. Assert: overflow is either "constrain" or "reject".
  146. // NOTE: Asserted by the VERIFY_NOT_REACHED at the end
  147. // 3. If overflow is "constrain", then
  148. if (overflow == "constrain"sv) {
  149. // a. Return ! ConstrainTime(hour, minute, second, millisecond, microsecond, nanosecond).
  150. return constrain_time(hour, minute, second, millisecond, microsecond, nanosecond);
  151. }
  152. // 4. If overflow is "reject", then
  153. if (overflow == "reject"sv) {
  154. // a. If ! IsValidTime(hour, minute, second, millisecond, microsecond, nanosecond) is false, throw a RangeError exception.
  155. if (!is_valid_time(hour, minute, second, millisecond, microsecond, nanosecond))
  156. return vm.throw_completion<RangeError>(global_object, ErrorType::TemporalInvalidPlainTime);
  157. // b. Return the Record { [[Hour]]: hour, [[Minute]]: minute, [[Second]]: second, [[Millisecond]]: millisecond, [[Microsecond]]: microsecond, [[Nanosecond]]: nanosecond }.
  158. return TemporalTime { .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) };
  159. }
  160. VERIFY_NOT_REACHED();
  161. }
  162. // 4.5.5 IsValidTime ( hour, minute, second, millisecond, microsecond, nanosecond ), https://tc39.es/proposal-temporal/#sec-temporal-isvalidtime
  163. bool is_valid_time(double hour, double minute, double second, double millisecond, double microsecond, double nanosecond)
  164. {
  165. // 1. Assert: hour, minute, second, millisecond, microsecond, and nanosecond are integers.
  166. // 2. If hour < 0 or hour > 23, then
  167. if (hour > 23) {
  168. // a. Return false.
  169. return false;
  170. }
  171. // 3. If minute < 0 or minute > 59, then
  172. if (minute > 59) {
  173. // a. Return false.
  174. return false;
  175. }
  176. // 4. If second < 0 or second > 59, then
  177. if (second > 59) {
  178. // a. Return false.
  179. return false;
  180. }
  181. // 5. If millisecond < 0 or millisecond > 999, then
  182. if (millisecond > 999) {
  183. // a. Return false.
  184. return false;
  185. }
  186. // 6. If microsecond < 0 or microsecond > 999, then
  187. if (microsecond > 999) {
  188. // a. Return false.
  189. return false;
  190. }
  191. // 7. If nanosecond < 0 or nanosecond > 999, then
  192. if (nanosecond > 999) {
  193. // a. Return false.
  194. return false;
  195. }
  196. // 8. Return true.
  197. return true;
  198. }
  199. // 4.5.6 BalanceTime ( hour, minute, second, millisecond, microsecond, nanosecond ), https://tc39.es/proposal-temporal/#sec-temporal-balancetime
  200. DaysAndTime balance_time(i64 hour, i64 minute, i64 second, i64 millisecond, i64 microsecond, i64 nanosecond)
  201. {
  202. // 1. Assert: hour, minute, second, millisecond, microsecond, and nanosecond are integers.
  203. // 2. Set microsecond to microsecond + floor(nanosecond / 1000).
  204. microsecond += nanosecond / 1000;
  205. // 3. Set nanosecond to nanosecond modulo 1000.
  206. nanosecond %= 1000;
  207. // 4. Set millisecond to millisecond + floor(microsecond / 1000).
  208. millisecond += microsecond / 1000;
  209. // 5. Set microsecond to microsecond modulo 1000.
  210. microsecond %= 1000;
  211. // 6. Set second to second + floor(millisecond / 1000).
  212. second += millisecond / 1000;
  213. // 7. Set millisecond to millisecond modulo 1000.
  214. millisecond %= 1000;
  215. // 8. Set minute to minute + floor(second / 60).
  216. minute += second / 60;
  217. // 9. Set second to second modulo 60.
  218. second %= 60;
  219. // 10. Set hour to hour + floor(minute / 60).
  220. hour += minute / 60;
  221. // 11. Set minute to minute modulo 60.
  222. minute %= 60;
  223. // 12. Let days be floor(hour / 24).
  224. u8 days = hour / 24;
  225. // 13. Set hour to hour modulo 24.
  226. hour %= 24;
  227. // 14. Return the Record { [[Days]]: days, [[Hour]]: hour, [[Minute]]: minute, [[Second]]: second, [[Millisecond]]: millisecond, [[Microsecond]]: microsecond, [[Nanosecond]]: nanosecond }.
  228. return DaysAndTime {
  229. .days = static_cast<i32>(days),
  230. .hour = static_cast<u8>(hour),
  231. .minute = static_cast<u8>(minute),
  232. .second = static_cast<u8>(second),
  233. .millisecond = static_cast<u16>(millisecond),
  234. .microsecond = static_cast<u16>(microsecond),
  235. .nanosecond = static_cast<u16>(nanosecond),
  236. };
  237. }
  238. // 4.5.7 ConstrainTime ( hour, minute, second, millisecond, microsecond, nanosecond ), https://tc39.es/proposal-temporal/#sec-temporal-constraintime
  239. TemporalTime constrain_time(double hour, double minute, double second, double millisecond, double microsecond, double nanosecond)
  240. {
  241. // 1. Assert: hour, minute, second, millisecond, microsecond, and nanosecond are integers.
  242. // 2. Set hour to ! ConstrainToRange(hour, 0, 23).
  243. hour = constrain_to_range(hour, 0, 23);
  244. // 3. Set minute to ! ConstrainToRange(minute, 0, 59).
  245. minute = constrain_to_range(minute, 0, 59);
  246. // 4. Set second to ! ConstrainToRange(second, 0, 59).
  247. second = constrain_to_range(second, 0, 59);
  248. // 5. Set millisecond to ! ConstrainToRange(millisecond, 0, 999).
  249. millisecond = constrain_to_range(millisecond, 0, 999);
  250. // 6. Set microsecond to ! ConstrainToRange(microsecond, 0, 999).
  251. microsecond = constrain_to_range(microsecond, 0, 999);
  252. // 7. Set nanosecond to ! ConstrainToRange(nanosecond, 0, 999).
  253. nanosecond = constrain_to_range(nanosecond, 0, 999);
  254. // 8. Return the Record { [[Hour]]: hour, [[Minute]]: minute, [[Second]]: second, [[Millisecond]]: millisecond, [[Microsecond]]: microsecond, [[Nanosecond]]: nanosecond }.
  255. return TemporalTime { .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) };
  256. }
  257. // 4.5.8 CreateTemporalTime ( hour, minute, second, millisecond, microsecond, nanosecond [ , newTarget ] ), https://tc39.es/proposal-temporal/#sec-temporal-createtemporaltime
  258. ThrowCompletionOr<PlainTime*> create_temporal_time(GlobalObject& global_object, u8 hour, u8 minute, u8 second, u16 millisecond, u16 microsecond, u16 nanosecond, FunctionObject const* new_target)
  259. {
  260. auto& vm = global_object.vm();
  261. // 1. Assert: hour, minute, second, millisecond, microsecond and nanosecond are integers.
  262. // 2. If ! IsValidTime(hour, minute, second, millisecond, microsecond, nanosecond) is false, throw a RangeError exception.
  263. if (!is_valid_time(hour, minute, second, millisecond, microsecond, nanosecond))
  264. return vm.throw_completion<RangeError>(global_object, ErrorType::TemporalInvalidPlainTime);
  265. // 3. If newTarget is not present, set it to %Temporal.PlainTime%.
  266. if (!new_target)
  267. new_target = global_object.temporal_plain_time_constructor();
  268. // 4. Let object be ? OrdinaryCreateFromConstructor(newTarget, "%Temporal.PlainTime.prototype%", « [[InitializedTemporalTime]], [[ISOHour]], [[ISOMinute]], [[ISOSecond]], [[ISOMillisecond]], [[ISOMicrosecond]], [[ISONanosecond]], [[Calendar]] »).
  269. // 5. Set object.[[ISOHour]] to hour.
  270. // 6. Set object.[[ISOMinute]] to minute.
  271. // 7. Set object.[[ISOSecond]] to second.
  272. // 8. Set object.[[ISOMillisecond]] to millisecond.
  273. // 9. Set object.[[ISOMicrosecond]] to microsecond.
  274. // 10. Set object.[[ISONanosecond]] to nanosecond.
  275. // 11. Set object.[[Calendar]] to ! GetISO8601Calendar().
  276. auto* object = TRY(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)));
  277. // 12. Return object.
  278. return object;
  279. }
  280. // 4.5.9 ToTemporalTimeRecord ( temporalTimeLike ), https://tc39.es/proposal-temporal/#sec-temporal-totemporaltimerecord
  281. ThrowCompletionOr<UnregulatedTemporalTime> to_temporal_time_record(GlobalObject& global_object, Object const& temporal_time_like)
  282. {
  283. auto& vm = global_object.vm();
  284. // 1. Assert: Type(temporalTimeLike) is Object.
  285. // 2. Let result be the Record { [[Hour]]: undefined, [[Minute]]: undefined, [[Second]]: undefined, [[Millisecond]]: undefined, [[Microsecond]]: undefined, [[Nanosecond]]: undefined }.
  286. auto result = UnregulatedTemporalTime {};
  287. // 3. For each row of Table 3, except the header row, in table order, do
  288. for (auto& [internal_slot, property] : temporal_time_like_properties<UnregulatedTemporalTime, double>(vm)) {
  289. // a. Let property be the Property value of the current row.
  290. // b. Let value be ? Get(temporalTimeLike, property).
  291. auto value = temporal_time_like.get(property);
  292. if (auto* exception = vm.exception())
  293. return throw_completion(exception->value());
  294. // c. If value is undefined, then
  295. if (value.is_undefined()) {
  296. // i. Throw a TypeError exception.
  297. return vm.throw_completion<TypeError>(global_object, ErrorType::TemporalMissingRequiredProperty, property);
  298. }
  299. // d. Set value to ? ToIntegerThrowOnInfinity(value).
  300. auto value_number = TRY(to_integer_throw_on_infinity(global_object, value, ErrorType::TemporalPropertyMustBeFinite));
  301. // e. Set result's internal slot whose name is the Internal Slot value of the current row to value.
  302. result.*internal_slot = value_number;
  303. }
  304. // 4. Return result.
  305. return result;
  306. }
  307. // 4.5.10 TemporalTimeToString ( hour, minute, second, millisecond, microsecond, nanosecond, precision ), https://tc39.es/proposal-temporal/#sec-temporal-temporaltimetostring
  308. String temporal_time_to_string(u8 hour, u8 minute, u8 second, u16 millisecond, u16 microsecond, u16 nanosecond, Variant<StringView, u8> const& precision)
  309. {
  310. // 1. Assert: hour, minute, second, millisecond, microsecond and nanosecond are integers.
  311. // 2. Let hour be hour formatted as a two-digit decimal number, padded to the left with a zero if necessary.
  312. // 3. Let minute be minute formatted as a two-digit decimal number, padded to the left with a zero if necessary.
  313. // 4. Let seconds be ! FormatSecondsStringPart(second, millisecond, microsecond, nanosecond, precision).
  314. auto seconds = format_seconds_string_part(second, millisecond, microsecond, nanosecond, precision);
  315. // 5. Return the string-concatenation of hour, the code unit 0x003A (COLON), minute, and seconds.
  316. return String::formatted("{:02}:{:02}{}", hour, minute, seconds);
  317. }
  318. // 4.5.11 CompareTemporalTime ( h1, min1, s1, ms1, mus1, ns1, h2, min2, s2, ms2, mus2, ns2 ), https://tc39.es/proposal-temporal/#sec-temporal-comparetemporaltime
  319. i8 compare_temporal_time(u8 hour1, u8 minute1, u8 second1, u16 millisecond1, u16 microsecond1, u16 nanosecond1, u8 hour2, u8 minute2, u8 second2, u16 millisecond2, u16 microsecond2, u16 nanosecond2)
  320. {
  321. // 1. Assert: h1, min1, s1, ms1, mus1, ns1, h2, min2, s2, ms2, mus2, and ns2 are integers.
  322. // 2. If h1 > h2, return 1.
  323. if (hour1 > hour2)
  324. return 1;
  325. // 3. If h1 < h2, return -1.
  326. if (hour1 < hour2)
  327. return -1;
  328. // 4. If min1 > min2, return 1.
  329. if (minute1 > minute2)
  330. return 1;
  331. // 5. If min1 < min2, return -1.
  332. if (minute1 < minute2)
  333. return -1;
  334. // 6. If s1 > s2, return 1.
  335. if (second1 > second2)
  336. return 1;
  337. // 7. If s1 < s2, return -1.
  338. if (second1 < second2)
  339. return -1;
  340. // 8. If ms1 > ms2, return 1.
  341. if (millisecond1 > millisecond2)
  342. return 1;
  343. // 9. If ms1 < ms2, return -1.
  344. if (millisecond1 < millisecond2)
  345. return -1;
  346. // 10. If mus1 > mus2, return 1.
  347. if (microsecond1 > microsecond2)
  348. return 1;
  349. // 11. If mus1 < mus2, return -1.
  350. if (microsecond1 < microsecond2)
  351. return -1;
  352. // 12. If ns1 > ns2, return 1.
  353. if (nanosecond1 > nanosecond2)
  354. return 1;
  355. // 13. If ns1 < ns2, return -1.
  356. if (nanosecond1 < nanosecond2)
  357. return -1;
  358. // 14. Return 0.
  359. return 0;
  360. }
  361. // 4.5.13 RoundTime ( hour, minute, second, millisecond, microsecond, nanosecond, increment, unit, roundingMode [ , dayLengthNs ] ), https://tc39.es/proposal-temporal/#sec-temporal-roundtime
  362. DaysAndTime round_time(GlobalObject& global_object, u8 hour, u8 minute, u8 second, u16 millisecond, u16 microsecond, u16 nanosecond, u64 increment, StringView unit, StringView rounding_mode, Optional<double> day_length_ns)
  363. {
  364. // 1. Assert: hour, minute, second, millisecond, microsecond, nanosecond, and increment are integers.
  365. // 2. Let fractionalSecond be nanosecond × 10−9 + microsecond × 10−6 + millisecond × 10−3 + second.
  366. double fractional_second = nanosecond * 0.000000001 + microsecond * 0.000001 + millisecond * 0.001 + second;
  367. double quantity;
  368. // 3. If unit is "day", then
  369. if (unit == "day"sv) {
  370. // a. If dayLengthNs is not present, set it to 8.64 × 10^13.
  371. if (!day_length_ns.has_value())
  372. day_length_ns = 86400000000000;
  373. // b. Let quantity be (((((hour × 60 + minute) × 60 + second) × 1000 + millisecond) × 1000 + microsecond) × 1000 + nanosecond) / dayLengthNs.
  374. quantity = (((((hour * 60 + minute) * 60 + second) * 1000 + millisecond) * 1000 + microsecond) * 1000 + nanosecond) / *day_length_ns;
  375. }
  376. // 4. Else if unit is "hour", then
  377. else if (unit == "hour"sv) {
  378. // a. Let quantity be (fractionalSecond / 60 + minute) / 60 + hour.
  379. quantity = (fractional_second / 60 + minute) / 60 + hour;
  380. }
  381. // 5. Else if unit is "minute", then
  382. else if (unit == "minute"sv) {
  383. // a. Let quantity be fractionalSecond / 60 + minute.
  384. quantity = fractional_second / 60 + minute;
  385. }
  386. // 6. Else if unit is "second", then
  387. else if (unit == "second"sv) {
  388. // a. Let quantity be fractionalSecond.
  389. quantity = fractional_second;
  390. }
  391. // 7. Else if unit is "millisecond", then
  392. else if (unit == "millisecond"sv) {
  393. // a. Let quantity be nanosecond × 10−6 + microsecond × 10−3 + millisecond.
  394. quantity = nanosecond * 0.000001 + 0.001 * microsecond + millisecond;
  395. }
  396. // 8. Else if unit is "microsecond", then
  397. else if (unit == "microsecond"sv) {
  398. // a. Let quantity be nanosecond × 10−3 + microsecond.
  399. quantity = nanosecond * 0.001 + microsecond;
  400. }
  401. // 9. Else,
  402. else {
  403. // a. Assert: unit is "nanosecond".
  404. VERIFY(unit == "nanosecond"sv);
  405. // b. Let quantity be nanosecond.
  406. quantity = nanosecond;
  407. }
  408. // FIXME: This doesn't seem right...
  409. auto* quantity_bigint = js_bigint(global_object.vm(), Crypto::SignedBigInteger::create_from((u64)quantity));
  410. // 10. Let result be ! RoundNumberToIncrement(quantity, increment, roundingMode).
  411. auto* result = round_number_to_increment(global_object, *quantity_bigint, increment, rounding_mode);
  412. auto result_i64 = (i64)result->big_integer().to_double();
  413. // If unit is "day", then
  414. if (unit == "day"sv) {
  415. // a. Return the Record { [[Days]]: result, [[Hour]]: 0, [[Minute]]: 0, [[Second]]: 0, [[Millisecond]]: 0, [[Microsecond]]: 0, [[Nanosecond]]: 0 }.
  416. return DaysAndTime { .days = (i32)result_i64, .hour = 0, .minute = 0, .second = 0, .millisecond = 0, .microsecond = 0, .nanosecond = 0 };
  417. }
  418. // 12. If unit is "hour", then
  419. if (unit == "hour"sv) {
  420. // a. Return ! BalanceTime(result, 0, 0, 0, 0, 0).
  421. return balance_time(result_i64, 0, 0, 0, 0, 0);
  422. }
  423. // 13. If unit is "minute", then
  424. if (unit == "minute"sv) {
  425. // a. Return ! BalanceTime(hour, result, 0, 0, 0, 0).
  426. return balance_time(hour, result_i64, 0, 0, 0, 0);
  427. }
  428. // 14. If unit is "second", then
  429. if (unit == "second"sv) {
  430. // a. Return ! BalanceTime(hour, minute, result, 0, 0, 0).
  431. return balance_time(hour, minute, result_i64, 0, 0, 0);
  432. }
  433. // 15. If unit is "millisecond", then
  434. if (unit == "millisecond"sv) {
  435. // a. Return ! BalanceTime(hour, minute, second, result, 0, 0).
  436. return balance_time(hour, minute, second, result_i64, 0, 0);
  437. }
  438. // 16. If unit is "microsecond", then
  439. if (unit == "microsecond"sv) {
  440. // a. Return ! BalanceTime(hour, minute, second, millisecond, result, 0).
  441. return balance_time(hour, minute, second, millisecond, result_i64, 0);
  442. }
  443. // 17. Assert: unit is "nanosecond".
  444. VERIFY(unit == "nanosecond"sv);
  445. // 18. Return ! BalanceTime(hour, minute, second, millisecond, microsecond, result).
  446. return balance_time(hour, minute, second, millisecond, microsecond, result_i64);
  447. }
  448. }