PlainTime.cpp 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175
  1. /*
  2. * Copyright (c) 2021, Idan Horowitz <idan.horowitz@serenityos.org>
  3. * Copyright (c) 2021-2023, Linus Groh <linusg@serenityos.org>
  4. * Copyright (c) 2024, Tim Flynn <trflynn89@ladybird.org>
  5. *
  6. * SPDX-License-Identifier: BSD-2-Clause
  7. */
  8. #include <AK/Assertions.h>
  9. #include <LibJS/Runtime/AbstractOperations.h>
  10. #include <LibJS/Runtime/Temporal/PlainTime.h>
  11. #include <math.h>
  12. namespace JS::Temporal {
  13. // 4.5.2 CreateTimeRecord ( hour, minute, second, millisecond, microsecond, nanosecond [ , deltaDays ] ), https://tc39.es/proposal-temporal/#sec-temporal-createtimerecord
  14. Time create_time_record(double hour, double minute, double second, double millisecond, double microsecond, double nanosecond, double delta_days)
  15. {
  16. // 1. If deltaDays is not present, set deltaDays to 0.
  17. // 2. Assert: IsValidTime(hour, minute, second, millisecond, microsecond, nanosecond).
  18. VERIFY(is_valid_time(hour, minute, second, millisecond, microsecond, nanosecond));
  19. // 3. Return Time Record { [[Days]]: deltaDays, [[Hour]]: hour, [[Minute]]: minute, [[Second]]: second, [[Millisecond]]: millisecond, [[Microsecond]]: microsecond, [[Nanosecond]]: nanosecond }.
  20. return {
  21. .days = delta_days,
  22. .hour = static_cast<u8>(hour),
  23. .minute = static_cast<u8>(minute),
  24. .second = static_cast<u8>(second),
  25. .millisecond = static_cast<u16>(millisecond),
  26. .microsecond = static_cast<u16>(microsecond),
  27. .nanosecond = static_cast<u16>(nanosecond),
  28. };
  29. }
  30. // 4.5.3 MidnightTimeRecord ( ), https://tc39.es/proposal-temporal/#sec-temporal-midnighttimerecord
  31. Time midnight_time_record()
  32. {
  33. // 1. Return Time Record { [[Days]]: 0, [[Hour]]: 0, [[Minute]]: 0, [[Second]]: 0, [[Millisecond]]: 0, [[Microsecond]]: 0, [[Nanosecond]]: 0 }.
  34. return { .days = 0, .hour = 0, .minute = 0, .second = 0, .millisecond = 0, .microsecond = 0, .nanosecond = 0 };
  35. }
  36. // 4.5.4 NoonTimeRecord ( ), https://tc39.es/proposal-temporal/#sec-temporal-noontimerecord
  37. Time noon_time_record()
  38. {
  39. // 1. Return Time Record { [[Days]]: 0, [[Hour]]: 12, [[Minute]]: 0, [[Second]]: 0, [[Millisecond]]: 0, [[Microsecond]]: 0, [[Nanosecond]]: 0 }.
  40. return { .days = 0, .hour = 12, .minute = 0, .second = 0, .millisecond = 0, .microsecond = 0, .nanosecond = 0 };
  41. }
  42. // 4.5.8 RegulateTime ( hour, minute, second, millisecond, microsecond, nanosecond, overflow ), https://tc39.es/proposal-temporal/#sec-temporal-regulatetime
  43. ThrowCompletionOr<Time> regulate_time(VM& vm, double hour, double minute, double second, double millisecond, double microsecond, double nanosecond, Overflow overflow)
  44. {
  45. switch (overflow) {
  46. // 1. If overflow is CONSTRAIN, then
  47. case Overflow::Constrain:
  48. // a. Set hour to the result of clamping hour between 0 and 23.
  49. hour = clamp(hour, 0, 23);
  50. // b. Set minute to the result of clamping minute between 0 and 59.
  51. minute = clamp(minute, 0, 59);
  52. // c. Set second to the result of clamping second between 0 and 59.
  53. second = clamp(second, 0, 59);
  54. // d. Set millisecond to the result of clamping millisecond between 0 and 999.
  55. millisecond = clamp(millisecond, 0, 999);
  56. // e. Set microsecond to the result of clamping microsecond between 0 and 999.
  57. microsecond = clamp(microsecond, 0, 999);
  58. // f. Set nanosecond to the result of clamping nanosecond between 0 and 999.
  59. nanosecond = clamp(nanosecond, 0, 999);
  60. break;
  61. // 2. Else,
  62. case Overflow::Reject:
  63. // a. Assert: overflow is REJECT.
  64. // b. If IsValidTime(hour, minute, second, millisecond, microsecond, nanosecond) is false, throw a RangeError exception.
  65. if (!is_valid_time(hour, minute, second, millisecond, microsecond, nanosecond))
  66. return vm.throw_completion<RangeError>(ErrorType::TemporalInvalidPlainTime);
  67. break;
  68. }
  69. // 3. Return CreateTimeRecord(hour, minute, second, millisecond, microsecond,nanosecond).
  70. return create_time_record(hour, minute, second, millisecond, microsecond, nanosecond);
  71. }
  72. // 4.5.9 IsValidTime ( hour, minute, second, millisecond, microsecond, nanosecond ), https://tc39.es/proposal-temporal/#sec-temporal-isvalidtime
  73. bool is_valid_time(double hour, double minute, double second, double millisecond, double microsecond, double nanosecond)
  74. {
  75. // 1. If hour < 0 or hour > 23, then
  76. if (hour < 0 || hour > 23) {
  77. // a. Return false.
  78. return false;
  79. }
  80. // 2. If minute < 0 or minute > 59, then
  81. if (minute < 0 || minute > 59) {
  82. // a. Return false.
  83. return false;
  84. }
  85. // 3. If second < 0 or second > 59, then
  86. if (second < 0 || second > 59) {
  87. // a. Return false.
  88. return false;
  89. }
  90. // 4. If millisecond < 0 or millisecond > 999, then
  91. if (millisecond < 0 || millisecond > 999) {
  92. // a. Return false.
  93. return false;
  94. }
  95. // 5. If microsecond < 0 or microsecond > 999, then
  96. if (microsecond < 0 || microsecond > 999) {
  97. // a. Return false.
  98. return false;
  99. }
  100. // 6. If nanosecond < 0 or nanosecond > 999, then
  101. if (nanosecond < 0 || nanosecond > 999) {
  102. // a. Return false.
  103. return false;
  104. }
  105. // 7. Return true.
  106. return true;
  107. }
  108. // 4.5.10 BalanceTime ( hour, minute, second, millisecond, microsecond, nanosecond ), https://tc39.es/proposal-temporal/#sec-temporal-balancetime
  109. Time balance_time(double hour, double minute, double second, double millisecond, double microsecond, double nanosecond)
  110. {
  111. // 1. Set microsecond to microsecond + floor(nanosecond / 1000).
  112. microsecond += floor(nanosecond / 1000.0);
  113. // 2. Set nanosecond to nanosecond modulo 1000.
  114. nanosecond = modulo(nanosecond, 1000.0);
  115. // 3. Set millisecond to millisecond + floor(microsecond / 1000).
  116. millisecond += floor(microsecond / 1000.0);
  117. // 4. Set microsecond to microsecond modulo 1000.
  118. microsecond = modulo(microsecond, 1000.0);
  119. // 5. Set second to second + floor(millisecond / 1000).
  120. second += floor(millisecond / 1000.0);
  121. // 6. Set millisecond to millisecond modulo 1000.
  122. millisecond = modulo(millisecond, 1000.0);
  123. // 7. Set minute to minute + floor(second / 60).
  124. minute += floor(second / 60.0);
  125. // 8. Set second to second modulo 60.
  126. second = modulo(second, 60.0);
  127. // 9. Set hour to hour + floor(minute / 60).
  128. hour += floor(minute / 60.0);
  129. // 10. Set minute to minute modulo 60.
  130. minute = modulo(minute, 60.0);
  131. // 11. Let deltaDays be floor(hour / 24).
  132. auto delta_days = floor(hour / 24.0);
  133. // 12. Set hour to hour modulo 24.
  134. hour = modulo(hour, 24.0);
  135. // 13. Return CreateTimeRecord(hour, minute, second, millisecond, microsecond, nanosecond, deltaDays).
  136. return create_time_record(hour, minute, second, millisecond, microsecond, nanosecond, delta_days);
  137. }
  138. }