NumberFormatConstructor.cpp 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506
  1. /*
  2. * Copyright (c) 2021-2024, Tim Flynn <trflynn89@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <LibJS/Runtime/AbstractOperations.h>
  7. #include <LibJS/Runtime/Array.h>
  8. #include <LibJS/Runtime/GlobalObject.h>
  9. #include <LibJS/Runtime/Intl/AbstractOperations.h>
  10. #include <LibJS/Runtime/Intl/NumberFormatConstructor.h>
  11. #include <LibUnicode/Locale.h>
  12. namespace JS::Intl {
  13. JS_DEFINE_ALLOCATOR(NumberFormatConstructor);
  14. // 15.1 The Intl.NumberFormat Constructor, https://tc39.es/ecma402/#sec-intl-numberformat-constructor
  15. NumberFormatConstructor::NumberFormatConstructor(Realm& realm)
  16. : NativeFunction(realm.vm().names.NumberFormat.as_string(), realm.intrinsics().function_prototype())
  17. {
  18. }
  19. void NumberFormatConstructor::initialize(Realm& realm)
  20. {
  21. Base::initialize(realm);
  22. auto& vm = this->vm();
  23. // 15.2.1 Intl.NumberFormat.prototype, https://tc39.es/ecma402/#sec-intl.numberformat.prototype
  24. define_direct_property(vm.names.prototype, realm.intrinsics().intl_number_format_prototype(), 0);
  25. u8 attr = Attribute::Writable | Attribute::Configurable;
  26. define_native_function(realm, vm.names.supportedLocalesOf, supported_locales_of, 1, attr);
  27. define_direct_property(vm.names.length, Value(0), Attribute::Configurable);
  28. }
  29. // 15.1.1 Intl.NumberFormat ( [ locales [ , options ] ] ), https://tc39.es/ecma402/#sec-intl.numberformat
  30. ThrowCompletionOr<Value> NumberFormatConstructor::call()
  31. {
  32. // 1. If NewTarget is undefined, let newTarget be the active function object, else let newTarget be NewTarget.
  33. return TRY(construct(*this));
  34. }
  35. // 15.1.1 Intl.NumberFormat ( [ locales [ , options ] ] ), https://tc39.es/ecma402/#sec-intl.numberformat
  36. ThrowCompletionOr<NonnullGCPtr<Object>> NumberFormatConstructor::construct(FunctionObject& new_target)
  37. {
  38. auto& vm = this->vm();
  39. auto locales = vm.argument(0);
  40. auto options = vm.argument(1);
  41. // 2. Let numberFormat be ? OrdinaryCreateFromConstructor(newTarget, "%Intl.NumberFormat.prototype%", « [[InitializedNumberFormat]], [[Locale]], [[DataLocale]], [[NumberingSystem]], [[Style]], [[Unit]], [[UnitDisplay]], [[Currency]], [[CurrencyDisplay]], [[CurrencySign]], [[MinimumIntegerDigits]], [[MinimumFractionDigits]], [[MaximumFractionDigits]], [[MinimumSignificantDigits]], [[MaximumSignificantDigits]], [[RoundingType]], [[Notation]], [[CompactDisplay]], [[UseGrouping]], [[SignDisplay]], [[RoundingMode]], [[RoundingIncrement]], [[TrailingZeroDisplay]], [[BoundFormat]] »).
  42. auto number_format = TRY(ordinary_create_from_constructor<NumberFormat>(vm, new_target, &Intrinsics::intl_number_format_prototype));
  43. // 3. Perform ? InitializeNumberFormat(numberFormat, locales, options).
  44. TRY(initialize_number_format(vm, number_format, locales, options));
  45. // 4. If the implementation supports the normative optional constructor mode of 4.3 Note 1, then
  46. // a. Let this be the this value.
  47. // b. Return ? ChainNumberFormat(numberFormat, NewTarget, this).
  48. // 5. Return numberFormat.
  49. return number_format;
  50. }
  51. // 15.2.2 Intl.NumberFormat.supportedLocalesOf ( locales [ , options ] ), https://tc39.es/ecma402/#sec-intl.numberformat.supportedlocalesof
  52. JS_DEFINE_NATIVE_FUNCTION(NumberFormatConstructor::supported_locales_of)
  53. {
  54. auto locales = vm.argument(0);
  55. auto options = vm.argument(1);
  56. // 1. Let availableLocales be %NumberFormat%.[[AvailableLocales]].
  57. // 2. Let requestedLocales be ? CanonicalizeLocaleList(locales).
  58. auto requested_locales = TRY(canonicalize_locale_list(vm, locales));
  59. // 3. Return ? FilterLocales(availableLocales, requestedLocales, options).
  60. return TRY(filter_locales(vm, requested_locales, options));
  61. }
  62. // 15.1.2 InitializeNumberFormat ( numberFormat, locales, options ), https://tc39.es/ecma402/#sec-initializenumberformat
  63. ThrowCompletionOr<NonnullGCPtr<NumberFormat>> initialize_number_format(VM& vm, NumberFormat& number_format, Value locales_value, Value options_value)
  64. {
  65. // 1. Let requestedLocales be ? CanonicalizeLocaleList(locales).
  66. auto requested_locales = TRY(canonicalize_locale_list(vm, locales_value));
  67. // 2. Set options to ? CoerceOptionsToObject(options).
  68. auto* options = TRY(coerce_options_to_object(vm, options_value));
  69. // 3. Let opt be a new Record.
  70. LocaleOptions opt {};
  71. // 4. Let matcher be ? GetOption(options, "localeMatcher", string, « "lookup", "best fit" », "best fit").
  72. auto matcher = TRY(get_option(vm, *options, vm.names.localeMatcher, OptionType::String, { "lookup"sv, "best fit"sv }, "best fit"sv));
  73. // 5. Set opt.[[localeMatcher]] to matcher.
  74. opt.locale_matcher = matcher;
  75. // 6. Let numberingSystem be ? GetOption(options, "numberingSystem", string, empty, undefined).
  76. auto numbering_system = TRY(get_option(vm, *options, vm.names.numberingSystem, OptionType::String, {}, Empty {}));
  77. // 7. If numberingSystem is not undefined, then
  78. if (!numbering_system.is_undefined()) {
  79. // a. If numberingSystem does not match the Unicode Locale Identifier type nonterminal, throw a RangeError exception.
  80. if (!Unicode::is_type_identifier(numbering_system.as_string().utf8_string_view()))
  81. return vm.throw_completion<RangeError>(ErrorType::OptionIsNotValidValue, numbering_system, "numberingSystem"sv);
  82. }
  83. // 8. Set opt.[[nu]] to numberingSystem.
  84. opt.nu = locale_key_from_value(numbering_system);
  85. // 9. Let localeData be %NumberFormat%.[[LocaleData]].
  86. // 10. Let r be ResolveLocale(%NumberFormat%.[[AvailableLocales]], requestedLocales, opt, %NumberFormat%.[[RelevantExtensionKeys]], localeData).
  87. auto result = resolve_locale(requested_locales, opt, NumberFormat::relevant_extension_keys());
  88. // 11. Set numberFormat.[[Locale]] to r.[[locale]].
  89. number_format.set_locale(move(result.locale));
  90. // 12. Set numberFormat.[[LocaleData]] to r.[[LocaleData]].
  91. // 13. Set numberFormat.[[NumberingSystem]] to r.[[nu]].
  92. if (auto* resolved_numbering_system = result.nu.get_pointer<String>())
  93. number_format.set_numbering_system(move(*resolved_numbering_system));
  94. // 14. Perform ? SetNumberFormatUnitOptions(numberFormat, options).
  95. TRY(set_number_format_unit_options(vm, number_format, *options));
  96. // 15. Let style be numberFormat.[[Style]].
  97. auto style = number_format.style();
  98. int default_min_fraction_digits = 0;
  99. int default_max_fraction_digits = 0;
  100. // 16. If style is "currency", then
  101. if (style == Unicode::NumberFormatStyle::Currency) {
  102. // a. Let currency be numberFormat.[[Currency]].
  103. auto const& currency = number_format.currency();
  104. // b. Let cDigits be CurrencyDigits(currency).
  105. int digits = currency_digits(currency);
  106. // c. Let mnfdDefault be cDigits.
  107. default_min_fraction_digits = digits;
  108. // d. Let mxfdDefault be cDigits.
  109. default_max_fraction_digits = digits;
  110. }
  111. // 17. Else,
  112. else {
  113. // a. Let mnfdDefault be 0.
  114. default_min_fraction_digits = 0;
  115. // b. If style is "percent", then
  116. // i. Let mxfdDefault be 0.
  117. // c. Else,
  118. // i. Let mxfdDefault be 3.
  119. default_max_fraction_digits = style == Unicode::NumberFormatStyle::Percent ? 0 : 3;
  120. }
  121. // 18. Let notation be ? GetOption(options, "notation", string, « "standard", "scientific", "engineering", "compact" », "standard").
  122. auto notation = TRY(get_option(vm, *options, vm.names.notation, OptionType::String, { "standard"sv, "scientific"sv, "engineering"sv, "compact"sv }, "standard"sv));
  123. // 19. Set numberFormat.[[Notation]] to notation.
  124. number_format.set_notation(notation.as_string().utf8_string_view());
  125. // 20. Perform ? SetNumberFormatDigitOptions(numberFormat, options, mnfdDefault, mxfdDefault, notation).
  126. TRY(set_number_format_digit_options(vm, number_format, *options, default_min_fraction_digits, default_max_fraction_digits, number_format.notation()));
  127. // 21. Let compactDisplay be ? GetOption(options, "compactDisplay", string, « "short", "long" », "short").
  128. auto compact_display = TRY(get_option(vm, *options, vm.names.compactDisplay, OptionType::String, { "short"sv, "long"sv }, "short"sv));
  129. // 22. Let defaultUseGrouping be "auto".
  130. auto default_use_grouping = "auto"sv;
  131. // 23. If notation is "compact", then
  132. if (number_format.notation() == Unicode::Notation::Compact) {
  133. // a. Set numberFormat.[[CompactDisplay]] to compactDisplay.
  134. number_format.set_compact_display(compact_display.as_string().utf8_string_view());
  135. // b. Set defaultUseGrouping to "min2".
  136. default_use_grouping = "min2"sv;
  137. }
  138. // 24. NOTE: For historical reasons, the strings "true" and "false" are accepted and replaced with the default value.
  139. // 25. Let useGrouping be ? GetBooleanOrStringNumberFormatOption(options, "useGrouping", « "min2", "auto", "always", "true", "false" », defaultUseGrouping).
  140. auto use_grouping = TRY(get_boolean_or_string_number_format_option(vm, *options, vm.names.useGrouping, { "min2"sv, "auto"sv, "always"sv, "true"sv, "false"sv }, default_use_grouping));
  141. // 26. If useGrouping is "true" or useGrouping is "false", set useGrouping to defaultUseGrouping.
  142. if (auto const* use_grouping_string = use_grouping.get_pointer<StringView>()) {
  143. if (use_grouping_string->is_one_of("true"sv, "false"sv))
  144. use_grouping = default_use_grouping;
  145. }
  146. // 27. If useGrouping is true, set useGrouping to "always".
  147. if (auto const* use_grouping_boolean = use_grouping.get_pointer<bool>()) {
  148. if (*use_grouping_boolean)
  149. use_grouping = "always"sv;
  150. }
  151. // 28. Set numberFormat.[[UseGrouping]] to useGrouping.
  152. number_format.set_use_grouping(use_grouping);
  153. // 29. Let signDisplay be ? GetOption(options, "signDisplay", string, « "auto", "never", "always", "exceptZero, "negative" », "auto").
  154. auto sign_display = TRY(get_option(vm, *options, vm.names.signDisplay, OptionType::String, { "auto"sv, "never"sv, "always"sv, "exceptZero"sv, "negative"sv }, "auto"sv));
  155. // 30. Set numberFormat.[[SignDisplay]] to signDisplay.
  156. number_format.set_sign_display(sign_display.as_string().utf8_string_view());
  157. // Non-standard, create an ICU number formatter for this Intl object.
  158. auto formatter = Unicode::NumberFormat::create(
  159. number_format.locale(),
  160. number_format.numbering_system(),
  161. number_format.display_options(),
  162. number_format.rounding_options());
  163. number_format.set_formatter(move(formatter));
  164. // 31. Return numberFormat.
  165. return number_format;
  166. }
  167. // 15.1.3 SetNumberFormatDigitOptions ( intlObj, options, mnfdDefault, mxfdDefault, notation ), https://tc39.es/ecma402/#sec-setnfdigitoptions
  168. ThrowCompletionOr<void> set_number_format_digit_options(VM& vm, NumberFormatBase& intl_object, Object const& options, int default_min_fraction_digits, int default_max_fraction_digits, Unicode::Notation notation)
  169. {
  170. // 1. Let mnid be ? GetNumberOption(options, "minimumIntegerDigits,", 1, 21, 1).
  171. auto min_integer_digits = TRY(get_number_option(vm, options, vm.names.minimumIntegerDigits, 1, 21, 1));
  172. // 2. Let mnfd be ? Get(options, "minimumFractionDigits").
  173. auto min_fraction_digits = TRY(options.get(vm.names.minimumFractionDigits));
  174. // 3. Let mxfd be ? Get(options, "maximumFractionDigits").
  175. auto max_fraction_digits = TRY(options.get(vm.names.maximumFractionDigits));
  176. // 4. Let mnsd be ? Get(options, "minimumSignificantDigits").
  177. auto min_significant_digits = TRY(options.get(vm.names.minimumSignificantDigits));
  178. // 5. Let mxsd be ? Get(options, "maximumSignificantDigits").
  179. auto max_significant_digits = TRY(options.get(vm.names.maximumSignificantDigits));
  180. // 6. Set intlObj.[[MinimumIntegerDigits]] to mnid.
  181. intl_object.set_min_integer_digits(*min_integer_digits);
  182. // 7. Let roundingIncrement be ? GetNumberOption(options, "roundingIncrement", 1, 5000, 1).
  183. auto rounding_increment = TRY(get_number_option(vm, options, vm.names.roundingIncrement, 1, 5000, 1));
  184. // 8. If roundingIncrement is not in « 1, 2, 5, 10, 20, 25, 50, 100, 200, 250, 500, 1000, 2000, 2500, 5000 », throw a RangeError exception.
  185. static constexpr auto sanctioned_rounding_increments = AK::Array { 1, 2, 5, 10, 20, 25, 50, 100, 200, 250, 500, 1000, 2000, 2500, 5000 };
  186. if (!sanctioned_rounding_increments.span().contains_slow(*rounding_increment))
  187. return vm.throw_completion<RangeError>(ErrorType::IntlInvalidRoundingIncrement, *rounding_increment);
  188. // 9. Let roundingMode be ? GetOption(options, "roundingMode", string, « "ceil", "floor", "expand", "trunc", "halfCeil", "halfFloor", "halfExpand", "halfTrunc", "halfEven" », "halfExpand").
  189. auto rounding_mode = TRY(get_option(vm, options, vm.names.roundingMode, OptionType::String, { "ceil"sv, "floor"sv, "expand"sv, "trunc"sv, "halfCeil"sv, "halfFloor"sv, "halfExpand"sv, "halfTrunc"sv, "halfEven"sv }, "halfExpand"sv));
  190. // 10. Let roundingPriority be ? GetOption(options, "roundingPriority", string, « "auto", "morePrecision", "lessPrecision" », "auto").
  191. auto rounding_priority_option = TRY(get_option(vm, options, vm.names.roundingPriority, OptionType::String, { "auto"sv, "morePrecision"sv, "lessPrecision"sv }, "auto"sv));
  192. auto rounding_priority = rounding_priority_option.as_string().utf8_string_view();
  193. // 11. Let trailingZeroDisplay be ? GetOption(options, "trailingZeroDisplay", string, « "auto", "stripIfInteger" », "auto").
  194. auto trailing_zero_display = TRY(get_option(vm, options, vm.names.trailingZeroDisplay, OptionType::String, { "auto"sv, "stripIfInteger"sv }, "auto"sv));
  195. // 12. NOTE: All fields required by SetNumberFormatDigitOptions have now been read from options. The remainder of this AO interprets the options and may throw exceptions.
  196. // 13. If roundingIncrement is not 1, set mxfdDefault to mnfdDefault.
  197. if (rounding_increment != 1)
  198. default_max_fraction_digits = default_min_fraction_digits;
  199. // 14. Set intlObj.[[RoundingIncrement]] to roundingIncrement.
  200. intl_object.set_rounding_increment(*rounding_increment);
  201. // 15. Set intlObj.[[RoundingMode]] to roundingMode.
  202. intl_object.set_rounding_mode(rounding_mode.as_string().utf8_string_view());
  203. // 16. Set intlObj.[[TrailingZeroDisplay]] to trailingZeroDisplay.
  204. intl_object.set_trailing_zero_display(trailing_zero_display.as_string().utf8_string_view());
  205. // 17. If mnsd is not undefined or mxsd is not undefined, then
  206. // a. Let hasSd be true.
  207. // 18. Else,
  208. // a. Let hasSd be false.
  209. bool has_significant_digits = !min_significant_digits.is_undefined() || !max_significant_digits.is_undefined();
  210. // 19. If mnfd is not undefined or mxfd is not undefined, then
  211. // a. Let hasFd be true.
  212. // 20. Else,
  213. // a. Let hasFd be false.
  214. bool has_fraction_digits = !min_fraction_digits.is_undefined() || !max_fraction_digits.is_undefined();
  215. // 21. Let needSd be true.
  216. bool need_significant_digits = true;
  217. // 22. Let needFd be true.
  218. bool need_fraction_digits = true;
  219. // 23. If roundingPriority is "auto", then
  220. if (rounding_priority == "auto"sv) {
  221. // a. Set needSd to hasSd.
  222. need_significant_digits = has_significant_digits;
  223. // b. If hasSd is true, or hasFd is false and notation is "compact", then
  224. if (has_significant_digits || (!has_fraction_digits && notation == Unicode::Notation::Compact)) {
  225. // i. Set needFd to false.
  226. need_fraction_digits = false;
  227. }
  228. }
  229. // 24. If needSd is true, then
  230. if (need_significant_digits) {
  231. // a. If hasSd is true, then
  232. if (has_significant_digits) {
  233. // i. Set intlObj.[[MinimumSignificantDigits]] to ? DefaultNumberOption(mnsd, 1, 21, 1).
  234. auto min_digits = TRY(default_number_option(vm, min_significant_digits, 1, 21, 1));
  235. intl_object.set_min_significant_digits(*min_digits);
  236. // ii. Set intlObj.[[MaximumSignificantDigits]] to ? DefaultNumberOption(mxsd, intlObj.[[MinimumSignificantDigits]], 21, 21).
  237. auto max_digits = TRY(default_number_option(vm, max_significant_digits, *min_digits, 21, 21));
  238. intl_object.set_max_significant_digits(*max_digits);
  239. }
  240. // b. Else,
  241. else {
  242. // i. Set intlObj.[[MinimumSignificantDigits]] to 1.
  243. intl_object.set_min_significant_digits(1);
  244. // ii. Set intlObj.[[MaximumSignificantDigits]] to 21.
  245. intl_object.set_max_significant_digits(21);
  246. }
  247. }
  248. // 25. If needFd is true, then
  249. if (need_fraction_digits) {
  250. // a. If hasFd is true, then
  251. if (has_fraction_digits) {
  252. // i. Set mnfd to ? DefaultNumberOption(mnfd, 0, 100, undefined).
  253. auto min_digits = TRY(default_number_option(vm, min_fraction_digits, 0, 100, {}));
  254. // ii. Set mxfd to ? DefaultNumberOption(mxfd, 0, 100, undefined).
  255. auto max_digits = TRY(default_number_option(vm, max_fraction_digits, 0, 100, {}));
  256. // iii. If mnfd is undefined, set mnfd to min(mnfdDefault, mxfd).
  257. if (!min_digits.has_value())
  258. min_digits = min(default_min_fraction_digits, *max_digits);
  259. // iv. Else if mxfd is undefined, set mxfd to max(mxfdDefault, mnfd).
  260. else if (!max_digits.has_value())
  261. max_digits = max(default_max_fraction_digits, *min_digits);
  262. // v. Else if mnfd is greater than mxfd, throw a RangeError exception.
  263. else if (*min_digits > *max_digits)
  264. return vm.throw_completion<RangeError>(ErrorType::IntlMinimumExceedsMaximum, *min_digits, *max_digits);
  265. // vi. Set intlObj.[[MinimumFractionDigits]] to mnfd.
  266. intl_object.set_min_fraction_digits(*min_digits);
  267. // vii. Set intlObj.[[MaximumFractionDigits]] to mxfd.
  268. intl_object.set_max_fraction_digits(*max_digits);
  269. }
  270. // b. Else,
  271. else {
  272. // i. Set intlObj.[[MinimumFractionDigits]] to mnfdDefault.
  273. intl_object.set_min_fraction_digits(default_min_fraction_digits);
  274. // ii. Set intlObj.[[MaximumFractionDigits]] to mxfdDefault.
  275. intl_object.set_max_fraction_digits(default_max_fraction_digits);
  276. }
  277. }
  278. // 26. If needSd is false and needFd is false, then
  279. if (!need_significant_digits && !need_fraction_digits) {
  280. // a. Set intlObj.[[MinimumFractionDigits]] to 0.
  281. intl_object.set_min_fraction_digits(0);
  282. // b. Set intlObj.[[MaximumFractionDigits]] to 0.
  283. intl_object.set_max_fraction_digits(0);
  284. // c. Set intlObj.[[MinimumSignificantDigits]] to 1.
  285. intl_object.set_min_significant_digits(1);
  286. // d. Set intlObj.[[MaximumSignificantDigits]] to 2.
  287. intl_object.set_max_significant_digits(2);
  288. // e. Set intlObj.[[RoundingType]] to morePrecision.
  289. intl_object.set_rounding_type(Unicode::RoundingType::MorePrecision);
  290. // f. Set intlObj.[[ComputedRoundingPriority]] to "morePrecision".
  291. intl_object.set_computed_rounding_priority(NumberFormatBase::ComputedRoundingPriority::MorePrecision);
  292. }
  293. // 27. Else if roundingPriority is "morePrecision", then
  294. else if (rounding_priority == "morePrecision"sv) {
  295. // a. Set intlObj.[[RoundingType]] to morePrecision.
  296. intl_object.set_rounding_type(Unicode::RoundingType::MorePrecision);
  297. // b. Set intlObj.[[ComputedRoundingPriority]] to "morePrecision".
  298. intl_object.set_computed_rounding_priority(NumberFormatBase::ComputedRoundingPriority::MorePrecision);
  299. }
  300. // 28. Else if roundingPriority is "lessPrecision", then
  301. else if (rounding_priority == "lessPrecision"sv) {
  302. // a. Set intlObj.[[RoundingType]] to lessPrecision.
  303. intl_object.set_rounding_type(Unicode::RoundingType::LessPrecision);
  304. // b. Set intlObj.[[ComputedRoundingPriority]] to "lessPrecision".
  305. intl_object.set_computed_rounding_priority(NumberFormatBase::ComputedRoundingPriority::LessPrecision);
  306. }
  307. // 29. Else if hasSd is true, then
  308. else if (has_significant_digits) {
  309. // a. Set intlObj.[[RoundingType]] to significantDigits.
  310. intl_object.set_rounding_type(Unicode::RoundingType::SignificantDigits);
  311. // b. Set intlObj.[[ComputedRoundingPriority]] to "auto".
  312. intl_object.set_computed_rounding_priority(NumberFormatBase::ComputedRoundingPriority::Auto);
  313. }
  314. // 30. Else,
  315. else {
  316. // a. Set intlObj.[[RoundingType]] to fractionDigits.
  317. intl_object.set_rounding_type(Unicode::RoundingType::FractionDigits);
  318. // b. Set intlObj.[[ComputedRoundingPriority]] to "auto".
  319. intl_object.set_computed_rounding_priority(NumberFormatBase::ComputedRoundingPriority::Auto);
  320. }
  321. // 31. If roundingIncrement is not 1, then
  322. if (rounding_increment != 1) {
  323. // a. If intlObj.[[RoundingType]] is not fractionDigits, throw a TypeError exception.
  324. if (intl_object.rounding_type() != Unicode::RoundingType::FractionDigits)
  325. return vm.throw_completion<TypeError>(ErrorType::IntlInvalidRoundingIncrementForRoundingType, *rounding_increment, intl_object.rounding_type_string());
  326. // b. If intlObj.[[MaximumFractionDigits]] is not equal to intlObj.[[MinimumFractionDigits]], throw a RangeError exception.
  327. if (intl_object.max_fraction_digits() != intl_object.min_fraction_digits())
  328. return vm.throw_completion<RangeError>(ErrorType::IntlInvalidRoundingIncrementForFractionDigits, *rounding_increment);
  329. }
  330. return {};
  331. }
  332. // 15.1.4 SetNumberFormatUnitOptions ( intlObj, options ), https://tc39.es/ecma402/#sec-setnumberformatunitoptions
  333. ThrowCompletionOr<void> set_number_format_unit_options(VM& vm, NumberFormat& intl_object, Object const& options)
  334. {
  335. // 1. Assert: Type(intlObj) is Object.
  336. // 2. Assert: Type(options) is Object.
  337. // 3. Let style be ? GetOption(options, "style", string, « "decimal", "percent", "currency", "unit" », "decimal").
  338. auto style = TRY(get_option(vm, options, vm.names.style, OptionType::String, { "decimal"sv, "percent"sv, "currency"sv, "unit"sv }, "decimal"sv));
  339. // 4. Set intlObj.[[Style]] to style.
  340. intl_object.set_style(style.as_string().utf8_string_view());
  341. // 5. Let currency be ? GetOption(options, "currency", string, empty, undefined).
  342. auto currency = TRY(get_option(vm, options, vm.names.currency, OptionType::String, {}, Empty {}));
  343. // 6. If currency is undefined, then
  344. if (currency.is_undefined()) {
  345. // a. If style is "currency", throw a TypeError exception.
  346. if (intl_object.style() == Unicode::NumberFormatStyle::Currency)
  347. return vm.throw_completion<TypeError>(ErrorType::IntlOptionUndefined, "currency"sv, "style"sv, style);
  348. }
  349. // 7. Else,
  350. // a. If IsWellFormedCurrencyCode(currency) is false, throw a RangeError exception.
  351. else if (!is_well_formed_currency_code(currency.as_string().utf8_string_view()))
  352. return vm.throw_completion<RangeError>(ErrorType::OptionIsNotValidValue, currency, "currency"sv);
  353. // 8. Let currencyDisplay be ? GetOption(options, "currencyDisplay", string, « "code", "symbol", "narrowSymbol", "name" », "symbol").
  354. auto currency_display = TRY(get_option(vm, options, vm.names.currencyDisplay, OptionType::String, { "code"sv, "symbol"sv, "narrowSymbol"sv, "name"sv }, "symbol"sv));
  355. // 9. Let currencySign be ? GetOption(options, "currencySign", string, « "standard", "accounting" », "standard").
  356. auto currency_sign = TRY(get_option(vm, options, vm.names.currencySign, OptionType::String, { "standard"sv, "accounting"sv }, "standard"sv));
  357. // 10. Let unit be ? GetOption(options, "unit", string, empty, undefined).
  358. auto unit = TRY(get_option(vm, options, vm.names.unit, OptionType::String, {}, Empty {}));
  359. // 11. If unit is undefined, then
  360. if (unit.is_undefined()) {
  361. // a. If style is "unit", throw a TypeError exception.
  362. if (intl_object.style() == Unicode::NumberFormatStyle::Unit)
  363. return vm.throw_completion<TypeError>(ErrorType::IntlOptionUndefined, "unit"sv, "style"sv, style);
  364. }
  365. // 12. Else,
  366. // a. If ! IsWellFormedUnitIdentifier(unit) is false, throw a RangeError exception.
  367. else if (!is_well_formed_unit_identifier(unit.as_string().utf8_string_view()))
  368. return vm.throw_completion<RangeError>(ErrorType::OptionIsNotValidValue, unit, "unit"sv);
  369. // 13. Let unitDisplay be ? GetOption(options, "unitDisplay", string, « "short", "narrow", "long" », "short").
  370. auto unit_display = TRY(get_option(vm, options, vm.names.unitDisplay, OptionType::String, { "short"sv, "narrow"sv, "long"sv }, "short"sv));
  371. // 14. If style is "currency", then
  372. if (intl_object.style() == Unicode::NumberFormatStyle::Currency) {
  373. // a. Set intlObj.[[Currency]] to the ASCII-uppercase of currency.
  374. intl_object.set_currency(MUST(currency.as_string().utf8_string().to_uppercase()));
  375. // c. Set intlObj.[[CurrencyDisplay]] to currencyDisplay.
  376. intl_object.set_currency_display(currency_display.as_string().utf8_string_view());
  377. // d. Set intlObj.[[CurrencySign]] to currencySign.
  378. intl_object.set_currency_sign(currency_sign.as_string().utf8_string_view());
  379. }
  380. // 15. If style is "unit", then
  381. if (intl_object.style() == Unicode::NumberFormatStyle::Unit) {
  382. // a. Set intlObj.[[Unit]] to unit.
  383. intl_object.set_unit(unit.as_string().utf8_string());
  384. // b. Set intlObj.[[UnitDisplay]] to unitDisplay.
  385. intl_object.set_unit_display(unit_display.as_string().utf8_string_view());
  386. }
  387. return {};
  388. }
  389. }