GlobalObject.cpp 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551
  1. /*
  2. * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
  3. * Copyright (c) 2020-2023, Linus Groh <linusg@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <AK/BuiltinWrappers.h>
  8. #include <AK/CharacterTypes.h>
  9. #include <AK/FloatingPointStringConversions.h>
  10. #include <AK/Hex.h>
  11. #include <AK/UnicodeUtils.h>
  12. #include <AK/Utf16View.h>
  13. #include <AK/Utf8View.h>
  14. #include <LibJS/Heap/DeferGC.h>
  15. #include <LibJS/Interpreter.h>
  16. #include <LibJS/Runtime/AbstractOperations.h>
  17. #include <LibJS/Runtime/AggregateErrorConstructor.h>
  18. #include <LibJS/Runtime/ArrayBufferConstructor.h>
  19. #include <LibJS/Runtime/ArrayConstructor.h>
  20. #include <LibJS/Runtime/ArrayPrototype.h>
  21. #include <LibJS/Runtime/AsyncFunctionConstructor.h>
  22. #include <LibJS/Runtime/AsyncGeneratorFunctionConstructor.h>
  23. #include <LibJS/Runtime/AsyncGeneratorPrototype.h>
  24. #include <LibJS/Runtime/AtomicsObject.h>
  25. #include <LibJS/Runtime/BigIntConstructor.h>
  26. #include <LibJS/Runtime/BooleanConstructor.h>
  27. #include <LibJS/Runtime/ConsoleObject.h>
  28. #include <LibJS/Runtime/DataViewConstructor.h>
  29. #include <LibJS/Runtime/DateConstructor.h>
  30. #include <LibJS/Runtime/DisposableStackConstructor.h>
  31. #include <LibJS/Runtime/ErrorConstructor.h>
  32. #include <LibJS/Runtime/FinalizationRegistryConstructor.h>
  33. #include <LibJS/Runtime/FinalizationRegistryPrototype.h>
  34. #include <LibJS/Runtime/FunctionConstructor.h>
  35. #include <LibJS/Runtime/GeneratorFunctionConstructor.h>
  36. #include <LibJS/Runtime/GeneratorPrototype.h>
  37. #include <LibJS/Runtime/GlobalEnvironment.h>
  38. #include <LibJS/Runtime/GlobalObject.h>
  39. #include <LibJS/Runtime/Intl/CollatorConstructor.h>
  40. #include <LibJS/Runtime/Intl/DateTimeFormatConstructor.h>
  41. #include <LibJS/Runtime/Intl/DisplayNamesConstructor.h>
  42. #include <LibJS/Runtime/Intl/DurationFormatConstructor.h>
  43. #include <LibJS/Runtime/Intl/Intl.h>
  44. #include <LibJS/Runtime/Intl/ListFormatConstructor.h>
  45. #include <LibJS/Runtime/Intl/LocaleConstructor.h>
  46. #include <LibJS/Runtime/Intl/NumberFormatConstructor.h>
  47. #include <LibJS/Runtime/Intl/PluralRulesConstructor.h>
  48. #include <LibJS/Runtime/Intl/RelativeTimeFormatConstructor.h>
  49. #include <LibJS/Runtime/Intl/SegmenterConstructor.h>
  50. #include <LibJS/Runtime/JSONObject.h>
  51. #include <LibJS/Runtime/MapConstructor.h>
  52. #include <LibJS/Runtime/MathObject.h>
  53. #include <LibJS/Runtime/NumberConstructor.h>
  54. #include <LibJS/Runtime/Object.h>
  55. #include <LibJS/Runtime/ObjectConstructor.h>
  56. #include <LibJS/Runtime/PromiseConstructor.h>
  57. #include <LibJS/Runtime/ProxyConstructor.h>
  58. #include <LibJS/Runtime/Realm.h>
  59. #include <LibJS/Runtime/ReflectObject.h>
  60. #include <LibJS/Runtime/RegExpConstructor.h>
  61. #include <LibJS/Runtime/SetConstructor.h>
  62. #include <LibJS/Runtime/ShadowRealmConstructor.h>
  63. #include <LibJS/Runtime/Shape.h>
  64. #include <LibJS/Runtime/StringConstructor.h>
  65. #include <LibJS/Runtime/StringPrototype.h>
  66. #include <LibJS/Runtime/SuppressedErrorConstructor.h>
  67. #include <LibJS/Runtime/SymbolConstructor.h>
  68. #include <LibJS/Runtime/Temporal/CalendarConstructor.h>
  69. #include <LibJS/Runtime/Temporal/DurationConstructor.h>
  70. #include <LibJS/Runtime/Temporal/InstantConstructor.h>
  71. #include <LibJS/Runtime/Temporal/PlainDateConstructor.h>
  72. #include <LibJS/Runtime/Temporal/PlainDateTimeConstructor.h>
  73. #include <LibJS/Runtime/Temporal/PlainMonthDayConstructor.h>
  74. #include <LibJS/Runtime/Temporal/PlainTimeConstructor.h>
  75. #include <LibJS/Runtime/Temporal/PlainYearMonthConstructor.h>
  76. #include <LibJS/Runtime/Temporal/Temporal.h>
  77. #include <LibJS/Runtime/Temporal/TimeZoneConstructor.h>
  78. #include <LibJS/Runtime/Temporal/ZonedDateTimeConstructor.h>
  79. #include <LibJS/Runtime/TypedArray.h>
  80. #include <LibJS/Runtime/Value.h>
  81. #include <LibJS/Runtime/WeakMapConstructor.h>
  82. #include <LibJS/Runtime/WeakRefConstructor.h>
  83. #include <LibJS/Runtime/WeakSetConstructor.h>
  84. namespace JS {
  85. GlobalObject::GlobalObject(Realm& realm)
  86. : Object(GlobalObjectTag::Tag, realm)
  87. {
  88. ensure_shape_is_unique();
  89. Object::set_prototype(realm.intrinsics().object_prototype());
  90. }
  91. // 9.3.4 SetDefaultGlobalBindings ( realmRec ), https://tc39.es/ecma262/#sec-setdefaultglobalbindings
  92. Object& set_default_global_bindings(Realm& realm)
  93. {
  94. auto& vm = realm.vm();
  95. // 1. Let global be realmRec.[[GlobalObject]].
  96. auto& global = realm.global_object();
  97. // 2. For each property of the Global Object specified in clause 19, do
  98. // a. Let name be the String value of the property name.
  99. // b. Let desc be the fully populated data Property Descriptor for the property, containing the specified attributes for the property.
  100. // For properties listed in 19.2, 19.3, or 19.4 the value of the [[Value]] attribute is the corresponding intrinsic object from realmRec.
  101. // c. Perform ? DefinePropertyOrThrow(global, name, desc).
  102. // NOTE: This function is infallible as we set properties directly; property clashes in global object construction are not expected.
  103. u8 attr = Attribute::Writable | Attribute::Configurable;
  104. // 19.2 Function Properties of the Global Object, https://tc39.es/ecma262/#sec-function-properties-of-the-global-object
  105. global.define_direct_property(vm.names.eval, realm.intrinsics().eval_function(), attr);
  106. global.define_direct_property(vm.names.isFinite, realm.intrinsics().is_finite_function(), attr);
  107. global.define_direct_property(vm.names.isNaN, realm.intrinsics().is_nan_function(), attr);
  108. global.define_direct_property(vm.names.parseFloat, realm.intrinsics().parse_float_function(), attr);
  109. global.define_direct_property(vm.names.parseInt, realm.intrinsics().parse_int_function(), attr);
  110. global.define_direct_property(vm.names.decodeURI, realm.intrinsics().decode_uri_function(), attr);
  111. global.define_direct_property(vm.names.decodeURIComponent, realm.intrinsics().decode_uri_component_function(), attr);
  112. global.define_direct_property(vm.names.encodeURI, realm.intrinsics().encode_uri_function(), attr);
  113. global.define_direct_property(vm.names.encodeURIComponent, realm.intrinsics().encode_uri_component_function(), attr);
  114. // 19.1 Value Properties of the Global Object, https://tc39.es/ecma262/#sec-value-properties-of-the-global-object
  115. global.define_direct_property(vm.names.globalThis, &global, attr);
  116. global.define_direct_property(vm.names.Infinity, js_infinity(), 0);
  117. global.define_direct_property(vm.names.NaN, js_nan(), 0);
  118. global.define_direct_property(vm.names.undefined, js_undefined(), 0);
  119. // 19.3 Constructor Properties of the Global Object, https://tc39.es/ecma262/#sec-constructor-properties-of-the-global-object
  120. global.define_intrinsic_accessor(vm.names.AggregateError, attr, [](auto& realm) -> Value { return realm.intrinsics().aggregate_error_constructor(); });
  121. global.define_intrinsic_accessor(vm.names.Array, attr, [](auto& realm) -> Value { return realm.intrinsics().array_constructor(); });
  122. global.define_intrinsic_accessor(vm.names.ArrayBuffer, attr, [](auto& realm) -> Value { return realm.intrinsics().array_buffer_constructor(); });
  123. global.define_intrinsic_accessor(vm.names.BigInt, attr, [](auto& realm) -> Value { return realm.intrinsics().bigint_constructor(); });
  124. global.define_intrinsic_accessor(vm.names.BigInt64Array, attr, [](auto& realm) -> Value { return realm.intrinsics().big_int64_array_constructor(); });
  125. global.define_intrinsic_accessor(vm.names.BigUint64Array, attr, [](auto& realm) -> Value { return realm.intrinsics().big_uint64_array_constructor(); });
  126. global.define_intrinsic_accessor(vm.names.Boolean, attr, [](auto& realm) -> Value { return realm.intrinsics().boolean_constructor(); });
  127. global.define_intrinsic_accessor(vm.names.DataView, attr, [](auto& realm) -> Value { return realm.intrinsics().data_view_constructor(); });
  128. global.define_intrinsic_accessor(vm.names.Date, attr, [](auto& realm) -> Value { return realm.intrinsics().date_constructor(); });
  129. global.define_intrinsic_accessor(vm.names.DisposableStack, attr, [](auto& realm) -> Value { return realm.intrinsics().disposable_stack_constructor(); });
  130. global.define_intrinsic_accessor(vm.names.Error, attr, [](auto& realm) -> Value { return realm.intrinsics().error_constructor(); });
  131. global.define_intrinsic_accessor(vm.names.EvalError, attr, [](auto& realm) -> Value { return realm.intrinsics().eval_error_constructor(); });
  132. global.define_intrinsic_accessor(vm.names.FinalizationRegistry, attr, [](auto& realm) -> Value { return realm.intrinsics().finalization_registry_constructor(); });
  133. global.define_intrinsic_accessor(vm.names.Float32Array, attr, [](auto& realm) -> Value { return realm.intrinsics().float32_array_constructor(); });
  134. global.define_intrinsic_accessor(vm.names.Float64Array, attr, [](auto& realm) -> Value { return realm.intrinsics().float64_array_constructor(); });
  135. global.define_intrinsic_accessor(vm.names.Function, attr, [](auto& realm) -> Value { return realm.intrinsics().function_constructor(); });
  136. global.define_intrinsic_accessor(vm.names.Int8Array, attr, [](auto& realm) -> Value { return realm.intrinsics().int8_array_constructor(); });
  137. global.define_intrinsic_accessor(vm.names.Int16Array, attr, [](auto& realm) -> Value { return realm.intrinsics().int16_array_constructor(); });
  138. global.define_intrinsic_accessor(vm.names.Int32Array, attr, [](auto& realm) -> Value { return realm.intrinsics().int32_array_constructor(); });
  139. global.define_intrinsic_accessor(vm.names.Map, attr, [](auto& realm) -> Value { return realm.intrinsics().map_constructor(); });
  140. global.define_intrinsic_accessor(vm.names.Number, attr, [](auto& realm) -> Value { return realm.intrinsics().number_constructor(); });
  141. global.define_intrinsic_accessor(vm.names.Object, attr, [](auto& realm) -> Value { return realm.intrinsics().object_constructor(); });
  142. global.define_intrinsic_accessor(vm.names.Promise, attr, [](auto& realm) -> Value { return realm.intrinsics().promise_constructor(); });
  143. global.define_intrinsic_accessor(vm.names.Proxy, attr, [](auto& realm) -> Value { return realm.intrinsics().proxy_constructor(); });
  144. global.define_intrinsic_accessor(vm.names.RangeError, attr, [](auto& realm) -> Value { return realm.intrinsics().range_error_constructor(); });
  145. global.define_intrinsic_accessor(vm.names.ReferenceError, attr, [](auto& realm) -> Value { return realm.intrinsics().reference_error_constructor(); });
  146. global.define_intrinsic_accessor(vm.names.RegExp, attr, [](auto& realm) -> Value { return realm.intrinsics().regexp_constructor(); });
  147. global.define_intrinsic_accessor(vm.names.Set, attr, [](auto& realm) -> Value { return realm.intrinsics().set_constructor(); });
  148. global.define_intrinsic_accessor(vm.names.ShadowRealm, attr, [](auto& realm) -> Value { return realm.intrinsics().shadow_realm_constructor(); });
  149. global.define_intrinsic_accessor(vm.names.String, attr, [](auto& realm) -> Value { return realm.intrinsics().string_constructor(); });
  150. global.define_intrinsic_accessor(vm.names.SuppressedError, attr, [](auto& realm) -> Value { return realm.intrinsics().suppressed_error_constructor(); });
  151. global.define_intrinsic_accessor(vm.names.Symbol, attr, [](auto& realm) -> Value { return realm.intrinsics().symbol_constructor(); });
  152. global.define_intrinsic_accessor(vm.names.SyntaxError, attr, [](auto& realm) -> Value { return realm.intrinsics().syntax_error_constructor(); });
  153. global.define_intrinsic_accessor(vm.names.TypeError, attr, [](auto& realm) -> Value { return realm.intrinsics().type_error_constructor(); });
  154. global.define_intrinsic_accessor(vm.names.Uint8Array, attr, [](auto& realm) -> Value { return realm.intrinsics().uint8_array_constructor(); });
  155. global.define_intrinsic_accessor(vm.names.Uint8ClampedArray, attr, [](auto& realm) -> Value { return realm.intrinsics().uint8_clamped_array_constructor(); });
  156. global.define_intrinsic_accessor(vm.names.Uint16Array, attr, [](auto& realm) -> Value { return realm.intrinsics().uint16_array_constructor(); });
  157. global.define_intrinsic_accessor(vm.names.Uint32Array, attr, [](auto& realm) -> Value { return realm.intrinsics().uint32_array_constructor(); });
  158. global.define_intrinsic_accessor(vm.names.URIError, attr, [](auto& realm) -> Value { return realm.intrinsics().uri_error_constructor(); });
  159. global.define_intrinsic_accessor(vm.names.WeakMap, attr, [](auto& realm) -> Value { return realm.intrinsics().weak_map_constructor(); });
  160. global.define_intrinsic_accessor(vm.names.WeakRef, attr, [](auto& realm) -> Value { return realm.intrinsics().weak_ref_constructor(); });
  161. global.define_intrinsic_accessor(vm.names.WeakSet, attr, [](auto& realm) -> Value { return realm.intrinsics().weak_set_constructor(); });
  162. // 19.4 Other Properties of the Global Object, https://tc39.es/ecma262/#sec-other-properties-of-the-global-object
  163. global.define_intrinsic_accessor(vm.names.Atomics, attr, [](auto& realm) -> Value { return realm.intrinsics().atomics_object(); });
  164. global.define_intrinsic_accessor(vm.names.Intl, attr, [](auto& realm) -> Value { return realm.intrinsics().intl_object(); });
  165. global.define_intrinsic_accessor(vm.names.JSON, attr, [](auto& realm) -> Value { return realm.intrinsics().json_object(); });
  166. global.define_intrinsic_accessor(vm.names.Math, attr, [](auto& realm) -> Value { return realm.intrinsics().math_object(); });
  167. global.define_intrinsic_accessor(vm.names.Reflect, attr, [](auto& realm) -> Value { return realm.intrinsics().reflect_object(); });
  168. global.define_intrinsic_accessor(vm.names.Temporal, attr, [](auto& realm) -> Value { return realm.intrinsics().temporal_object(); });
  169. // B.2.1 Additional Properties of the Global Object, https://tc39.es/ecma262/#sec-additional-properties-of-the-global-object
  170. global.define_direct_property(vm.names.escape, realm.intrinsics().escape_function(), attr);
  171. global.define_direct_property(vm.names.unescape, realm.intrinsics().unescape_function(), attr);
  172. // Non-standard
  173. global.define_direct_property(vm.names.InternalError, realm.intrinsics().internal_error_constructor(), attr);
  174. global.define_direct_property(vm.names.console, realm.intrinsics().console_object(), attr);
  175. // 3. Return global.
  176. return global;
  177. }
  178. ThrowCompletionOr<void> GlobalObject::initialize(Realm& realm)
  179. {
  180. MUST_OR_THROW_OOM(Base::initialize(realm));
  181. auto& vm = this->vm();
  182. // Non-standard
  183. u8 attr = Attribute::Writable | Attribute::Configurable;
  184. define_native_function(realm, vm.names.gc, gc, 0, attr);
  185. return {};
  186. }
  187. GlobalObject::~GlobalObject() = default;
  188. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::gc)
  189. {
  190. #ifdef AK_OS_SERENITY
  191. dbgln("Forced garbage collection requested!");
  192. #endif
  193. vm.heap().collect_garbage();
  194. return js_undefined();
  195. }
  196. // 19.2.3 isNaN ( number ), https://tc39.es/ecma262/#sec-isnan-number
  197. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::is_nan)
  198. {
  199. return Value(TRY(vm.argument(0).to_number(vm)).is_nan());
  200. }
  201. // 19.2.2 isFinite ( number ), https://tc39.es/ecma262/#sec-isfinite-number
  202. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::is_finite)
  203. {
  204. return Value(TRY(vm.argument(0).to_number(vm)).is_finite_number());
  205. }
  206. // 19.2.4 parseFloat ( string ), https://tc39.es/ecma262/#sec-parsefloat-string
  207. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::parse_float)
  208. {
  209. // OPTIMIZATION: We can skip the number-to-string-to-number round trip when the value is already a number.
  210. if (vm.argument(0).is_number())
  211. return vm.argument(0);
  212. // 1. Let inputString be ? ToString(string).
  213. auto input_string = TRY(vm.argument(0).to_deprecated_string(vm));
  214. // 2. Let trimmedString be ! TrimString(inputString, start).
  215. auto trimmed_string = MUST_OR_THROW_OOM(trim_string(vm, PrimitiveString::create(vm, input_string), TrimMode::Left));
  216. if (trimmed_string.is_empty())
  217. return js_nan();
  218. // 3. If neither trimmedString nor any prefix of trimmedString satisfies the syntax of a StrDecimalLiteral (see 7.1.4.1), return NaN.
  219. // 4. Let numberString be the longest prefix of trimmedString, which might be trimmedString itself, that satisfies the syntax of a StrDecimalLiteral.
  220. // 5. Let parsedNumber be ParseText(StringToCodePoints(numberString), StrDecimalLiteral).
  221. // 6. Assert: parsedNumber is a Parse Node.
  222. // 7. Return StringNumericValue of parsedNumber.
  223. auto trimmed_string_view = trimmed_string.bytes_as_string_view();
  224. auto const* begin = trimmed_string_view.characters_without_null_termination();
  225. auto const* end = begin + trimmed_string_view.length();
  226. auto parsed_number = parse_first_floating_point<double>(begin, end);
  227. if (parsed_number.parsed_value())
  228. return parsed_number.value;
  229. auto first_code_point = *trimmed_string.code_points().begin();
  230. if (first_code_point == '-' || first_code_point == '+')
  231. trimmed_string_view = trimmed_string_view.substring_view(1);
  232. if (trimmed_string_view.starts_with("Infinity"sv, AK::CaseSensitivity::CaseSensitive)) {
  233. // Only an immediate - means we should return negative infinity
  234. return first_code_point == '-' ? js_negative_infinity() : js_infinity();
  235. }
  236. return js_nan();
  237. }
  238. // 19.2.5 parseInt ( string, radix ), https://tc39.es/ecma262/#sec-parseint-string-radix
  239. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::parse_int)
  240. {
  241. // 1. Let inputString be ? ToString(string).
  242. auto input_string = TRY(vm.argument(0).to_deprecated_string(vm));
  243. // 2. Let S be ! TrimString(inputString, start).
  244. // NOTE: We TRY this operation only to propagate OOM errors.
  245. auto string = TRY(trim_string(vm, PrimitiveString::create(vm, input_string), TrimMode::Left));
  246. // 3. Let sign be 1.
  247. auto sign = 1;
  248. // 4. If S is not empty and the first code unit of S is the code unit 0x002D (HYPHEN-MINUS), set sign to -1.
  249. auto first_code_point = string.is_empty() ? OptionalNone {} : Optional<u32> { *string.code_points().begin() };
  250. if (first_code_point == 0x2Du)
  251. sign = -1;
  252. // 5. If S is not empty and the first code unit of S is the code unit 0x002B (PLUS SIGN) or the code unit 0x002D (HYPHEN-MINUS), remove the first code unit from S.
  253. auto trimmed_view = string.bytes_as_string_view();
  254. if (first_code_point == 0x2Bu || first_code_point == 0x2Du)
  255. trimmed_view = trimmed_view.substring_view(1);
  256. // 6. Let R be ℝ(? ToInt32(radix)).
  257. auto radix = TRY(vm.argument(1).to_i32(vm));
  258. // 7. Let stripPrefix be true.
  259. auto strip_prefix = true;
  260. // 8. If R ≠ 0, then
  261. if (radix != 0) {
  262. // a. If R < 2 or R > 36, return NaN.
  263. if (radix < 2 || radix > 36)
  264. return js_nan();
  265. // b. If R ≠ 16, set stripPrefix to false.
  266. if (radix != 16)
  267. strip_prefix = false;
  268. }
  269. // 9. Else,
  270. else {
  271. // a. Set R to 10.
  272. radix = 10;
  273. }
  274. // 10. If stripPrefix is true, then
  275. if (strip_prefix) {
  276. // a. If the length of S is at least 2 and the first two code units of S are either "0x" or "0X", then
  277. if (trimmed_view.length() >= 2 && trimmed_view.substring_view(0, 2).equals_ignoring_ascii_case("0x"sv)) {
  278. // i. Remove the first two code units from S.
  279. trimmed_view = trimmed_view.substring_view(2);
  280. // ii. Set R to 16.
  281. radix = 16;
  282. }
  283. }
  284. // 11. If S contains a code unit that is not a radix-R digit, let end be the index within S of the first such code unit; otherwise, let end be the length of S.
  285. // 12. Let Z be the substring of S from 0 to end.
  286. // 13. If Z is empty, return NaN.
  287. // 14. Let mathInt be the integer value that is represented by Z in radix-R notation, using the letters A-Z and a-z for digits with values 10 through 35. (However, if R is 10 and Z contains more than 20 significant digits, every significant digit after the 20th may be replaced by a 0 digit, at the option of the implementation; and if R is not 2, 4, 8, 10, 16, or 32, then mathInt may be an implementation-approximated integer representing the integer value denoted by Z in radix-R notation.)
  288. auto parse_digit = [&](u32 code_point) -> Optional<u32> {
  289. if (!is_ascii_alphanumeric(code_point))
  290. return {};
  291. auto digit = parse_ascii_base36_digit(code_point);
  292. if (digit >= (u32)radix)
  293. return {};
  294. return digit;
  295. };
  296. bool had_digits = false;
  297. double number = 0;
  298. for (auto code_point : Utf8View(trimmed_view)) {
  299. auto digit = parse_digit(code_point);
  300. if (!digit.has_value())
  301. break;
  302. had_digits = true;
  303. number *= radix;
  304. number += digit.value();
  305. }
  306. if (!had_digits)
  307. return js_nan();
  308. // 15. If mathInt = 0, then
  309. // a. If sign = -1, return -0𝔽.
  310. // b. Return +0𝔽.
  311. // 16. Return 𝔽(sign × mathInt).
  312. return Value(sign * number);
  313. }
  314. // 19.2.1 eval ( x ), https://tc39.es/ecma262/#sec-eval-x
  315. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::eval)
  316. {
  317. return perform_eval(vm, vm.argument(0), CallerMode::NonStrict, EvalMode::Indirect);
  318. }
  319. // 19.2.6.1.1 Encode ( string, unescapedSet ), https://tc39.es/ecma262/#sec-encode
  320. static ThrowCompletionOr<DeprecatedString> encode(VM& vm, DeprecatedString const& string, StringView unescaped_set)
  321. {
  322. auto utf16_string = TRY(Utf16String::create(vm, string));
  323. // 1. Let strLen be the length of string.
  324. auto string_length = utf16_string.length_in_code_units();
  325. // 2. Let R be the empty String.
  326. StringBuilder encoded_builder;
  327. // 3. Let k be 0.
  328. auto k = 0u;
  329. // 4. Repeat,
  330. while (k < string_length) {
  331. // a. If k = strLen, return R.
  332. // Handled below
  333. // b. Let C be the code unit at index k within string.
  334. auto code_unit = utf16_string.code_unit_at(k);
  335. // c. If C is in unescapedSet, then
  336. // NOTE: We assume the unescaped set only contains ascii characters as unescaped_set is a StringView.
  337. if (code_unit < 0x80 && unescaped_set.contains(static_cast<char>(code_unit))) {
  338. // i. Set k to k + 1.
  339. k++;
  340. // ii. Set R to the string-concatenation of R and C.
  341. encoded_builder.append(code_unit);
  342. }
  343. // d. Else,
  344. else {
  345. // i. Let cp be CodePointAt(string, k).
  346. auto code_point = code_point_at(utf16_string.view(), k);
  347. // ii. If cp.[[IsUnpairedSurrogate]] is true, throw a URIError exception.
  348. if (code_point.is_unpaired_surrogate)
  349. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  350. // iii. Set k to k + cp.[[CodeUnitCount]].
  351. k += code_point.code_unit_count;
  352. // iv. Let Octets be the List of octets resulting by applying the UTF-8 transformation to cp.[[CodePoint]].
  353. // v. For each element octet of Octets, do
  354. auto nwritten = AK::UnicodeUtils::code_point_to_utf8(code_point.code_point, [&encoded_builder](u8 octet) {
  355. // 1. Set R to the string-concatenation of:
  356. // * R
  357. // * "%"
  358. // * the String representation of octet, formatted as a two-digit uppercase hexadecimal number, padded to the left with a zero if necessary
  359. encoded_builder.appendff("%{:02X}", octet);
  360. });
  361. VERIFY(nwritten > 0);
  362. }
  363. }
  364. return encoded_builder.to_deprecated_string();
  365. }
  366. // 19.2.6.1.2 Decode ( string, reservedSet ), https://tc39.es/ecma262/#sec-decode
  367. static ThrowCompletionOr<DeprecatedString> decode(VM& vm, DeprecatedString const& string, StringView reserved_set)
  368. {
  369. StringBuilder decoded_builder;
  370. auto code_point_start_offset = 0u;
  371. auto expected_continuation_bytes = 0;
  372. for (size_t k = 0; k < string.length(); k++) {
  373. auto code_unit = string[k];
  374. if (code_unit != '%') {
  375. if (expected_continuation_bytes > 0)
  376. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  377. decoded_builder.append(code_unit);
  378. continue;
  379. }
  380. if (k + 2 >= string.length())
  381. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  382. auto first_digit = decode_hex_digit(string[k + 1]);
  383. if (first_digit >= 16)
  384. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  385. auto second_digit = decode_hex_digit(string[k + 2]);
  386. if (second_digit >= 16)
  387. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  388. u8 decoded_code_unit = (first_digit << 4) | second_digit;
  389. k += 2;
  390. if (expected_continuation_bytes > 0) {
  391. decoded_builder.append(decoded_code_unit);
  392. expected_continuation_bytes--;
  393. if (expected_continuation_bytes == 0 && !Utf8View(decoded_builder.string_view().substring_view(code_point_start_offset)).validate())
  394. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  395. continue;
  396. }
  397. if (decoded_code_unit < 0x80) {
  398. if (reserved_set.contains(static_cast<char>(decoded_code_unit)))
  399. decoded_builder.append(string.substring_view(k - 2, 3));
  400. else
  401. decoded_builder.append(decoded_code_unit);
  402. continue;
  403. }
  404. auto leading_ones = count_leading_zeroes_safe(static_cast<u8>(~decoded_code_unit));
  405. if (leading_ones == 1 || leading_ones > 4)
  406. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  407. code_point_start_offset = decoded_builder.length();
  408. decoded_builder.append(decoded_code_unit);
  409. expected_continuation_bytes = leading_ones - 1;
  410. }
  411. if (expected_continuation_bytes > 0)
  412. return vm.throw_completion<URIError>(ErrorType::URIMalformed);
  413. return decoded_builder.to_deprecated_string();
  414. }
  415. // 19.2.6.4 encodeURI ( uri ), https://tc39.es/ecma262/#sec-encodeuri-uri
  416. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::encode_uri)
  417. {
  418. auto uri_string = TRY(vm.argument(0).to_deprecated_string(vm));
  419. auto encoded = TRY(encode(vm, uri_string, ";/?:@&=+$,abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_.!~*'()#"sv));
  420. return PrimitiveString::create(vm, move(encoded));
  421. }
  422. // 19.2.6.2 decodeURI ( encodedURI ), https://tc39.es/ecma262/#sec-decodeuri-encodeduri
  423. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::decode_uri)
  424. {
  425. auto uri_string = TRY(vm.argument(0).to_deprecated_string(vm));
  426. auto decoded = TRY(decode(vm, uri_string, ";/?:@&=+$,#"sv));
  427. return PrimitiveString::create(vm, move(decoded));
  428. }
  429. // 19.2.6.5 encodeURIComponent ( uriComponent ), https://tc39.es/ecma262/#sec-encodeuricomponent-uricomponent
  430. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::encode_uri_component)
  431. {
  432. auto uri_string = TRY(vm.argument(0).to_deprecated_string(vm));
  433. auto encoded = TRY(encode(vm, uri_string, "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_.!~*'()"sv));
  434. return PrimitiveString::create(vm, move(encoded));
  435. }
  436. // 19.2.6.3 decodeURIComponent ( encodedURIComponent ), https://tc39.es/ecma262/#sec-decodeuricomponent-encodeduricomponent
  437. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::decode_uri_component)
  438. {
  439. auto uri_string = TRY(vm.argument(0).to_deprecated_string(vm));
  440. auto decoded = TRY(decode(vm, uri_string, ""sv));
  441. return PrimitiveString::create(vm, move(decoded));
  442. }
  443. // B.2.1.1 escape ( string ), https://tc39.es/ecma262/#sec-escape-string
  444. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::escape)
  445. {
  446. auto string = TRY(vm.argument(0).to_deprecated_string(vm));
  447. StringBuilder escaped;
  448. for (auto code_point : TRY_OR_THROW_OOM(vm, utf8_to_utf16(string))) {
  449. if (code_point < 256) {
  450. if ("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789@*_+-./"sv.contains(static_cast<char>(code_point)))
  451. escaped.append(code_point);
  452. else
  453. escaped.appendff("%{:02X}", code_point);
  454. continue;
  455. }
  456. escaped.appendff("%u{:04X}", code_point);
  457. }
  458. return PrimitiveString::create(vm, escaped.to_deprecated_string());
  459. }
  460. // B.2.1.2 unescape ( string ), https://tc39.es/ecma262/#sec-unescape-string
  461. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::unescape)
  462. {
  463. auto string = TRY(vm.argument(0).to_deprecated_string(vm));
  464. ssize_t length = string.length();
  465. StringBuilder unescaped(length);
  466. for (auto k = 0; k < length; ++k) {
  467. u32 code_point = string[k];
  468. if (code_point == '%') {
  469. if (k <= length - 6 && string[k + 1] == 'u' && is_ascii_hex_digit(string[k + 2]) && is_ascii_hex_digit(string[k + 3]) && is_ascii_hex_digit(string[k + 4]) && is_ascii_hex_digit(string[k + 5])) {
  470. code_point = (parse_ascii_hex_digit(string[k + 2]) << 12) | (parse_ascii_hex_digit(string[k + 3]) << 8) | (parse_ascii_hex_digit(string[k + 4]) << 4) | parse_ascii_hex_digit(string[k + 5]);
  471. k += 5;
  472. } else if (k <= length - 3 && is_ascii_hex_digit(string[k + 1]) && is_ascii_hex_digit(string[k + 2])) {
  473. code_point = (parse_ascii_hex_digit(string[k + 1]) << 4) | parse_ascii_hex_digit(string[k + 2]);
  474. k += 2;
  475. }
  476. }
  477. unescaped.append_code_point(code_point);
  478. }
  479. return PrimitiveString::create(vm, unescaped.to_deprecated_string());
  480. }
  481. }