GlobalObject.cpp 31 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675
  1. /*
  2. * Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
  3. * Copyright (c) 2020-2021, 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/Hex.h>
  10. #include <AK/Platform.h>
  11. #include <AK/UnicodeUtils.h>
  12. #include <AK/Utf16View.h>
  13. #include <AK/Utf8View.h>
  14. #include <LibJS/Console.h>
  15. #include <LibJS/Heap/DeferGC.h>
  16. #include <LibJS/Interpreter.h>
  17. #include <LibJS/Runtime/AbstractOperations.h>
  18. #include <LibJS/Runtime/AggregateErrorConstructor.h>
  19. #include <LibJS/Runtime/AggregateErrorPrototype.h>
  20. #include <LibJS/Runtime/ArrayBufferConstructor.h>
  21. #include <LibJS/Runtime/ArrayBufferPrototype.h>
  22. #include <LibJS/Runtime/ArrayConstructor.h>
  23. #include <LibJS/Runtime/ArrayIteratorPrototype.h>
  24. #include <LibJS/Runtime/ArrayPrototype.h>
  25. #include <LibJS/Runtime/AsyncFromSyncIteratorPrototype.h>
  26. #include <LibJS/Runtime/AsyncFunctionConstructor.h>
  27. #include <LibJS/Runtime/AsyncFunctionPrototype.h>
  28. #include <LibJS/Runtime/AsyncGeneratorFunctionConstructor.h>
  29. #include <LibJS/Runtime/AsyncGeneratorFunctionPrototype.h>
  30. #include <LibJS/Runtime/AsyncIteratorPrototype.h>
  31. #include <LibJS/Runtime/AtomicsObject.h>
  32. #include <LibJS/Runtime/BigIntConstructor.h>
  33. #include <LibJS/Runtime/BigIntPrototype.h>
  34. #include <LibJS/Runtime/BooleanConstructor.h>
  35. #include <LibJS/Runtime/BooleanPrototype.h>
  36. #include <LibJS/Runtime/ConsoleObject.h>
  37. #include <LibJS/Runtime/DataViewConstructor.h>
  38. #include <LibJS/Runtime/DataViewPrototype.h>
  39. #include <LibJS/Runtime/DateConstructor.h>
  40. #include <LibJS/Runtime/DatePrototype.h>
  41. #include <LibJS/Runtime/ErrorConstructor.h>
  42. #include <LibJS/Runtime/ErrorPrototype.h>
  43. #include <LibJS/Runtime/FinalizationRegistryConstructor.h>
  44. #include <LibJS/Runtime/FinalizationRegistryPrototype.h>
  45. #include <LibJS/Runtime/FunctionConstructor.h>
  46. #include <LibJS/Runtime/FunctionPrototype.h>
  47. #include <LibJS/Runtime/GeneratorFunctionConstructor.h>
  48. #include <LibJS/Runtime/GeneratorFunctionPrototype.h>
  49. #include <LibJS/Runtime/GeneratorPrototype.h>
  50. #include <LibJS/Runtime/GlobalEnvironment.h>
  51. #include <LibJS/Runtime/GlobalObject.h>
  52. #include <LibJS/Runtime/Intl/DateTimeFormatConstructor.h>
  53. #include <LibJS/Runtime/Intl/DateTimeFormatPrototype.h>
  54. #include <LibJS/Runtime/Intl/DisplayNamesConstructor.h>
  55. #include <LibJS/Runtime/Intl/DisplayNamesPrototype.h>
  56. #include <LibJS/Runtime/Intl/Intl.h>
  57. #include <LibJS/Runtime/Intl/ListFormatConstructor.h>
  58. #include <LibJS/Runtime/Intl/ListFormatPrototype.h>
  59. #include <LibJS/Runtime/Intl/LocaleConstructor.h>
  60. #include <LibJS/Runtime/Intl/LocalePrototype.h>
  61. #include <LibJS/Runtime/Intl/NumberFormatConstructor.h>
  62. #include <LibJS/Runtime/Intl/NumberFormatPrototype.h>
  63. #include <LibJS/Runtime/Intl/PluralRulesConstructor.h>
  64. #include <LibJS/Runtime/Intl/PluralRulesPrototype.h>
  65. #include <LibJS/Runtime/Intl/RelativeTimeFormatConstructor.h>
  66. #include <LibJS/Runtime/Intl/RelativeTimeFormatPrototype.h>
  67. #include <LibJS/Runtime/IteratorPrototype.h>
  68. #include <LibJS/Runtime/JSONObject.h>
  69. #include <LibJS/Runtime/MapConstructor.h>
  70. #include <LibJS/Runtime/MapIteratorPrototype.h>
  71. #include <LibJS/Runtime/MapPrototype.h>
  72. #include <LibJS/Runtime/MathObject.h>
  73. #include <LibJS/Runtime/NativeFunction.h>
  74. #include <LibJS/Runtime/NumberConstructor.h>
  75. #include <LibJS/Runtime/NumberPrototype.h>
  76. #include <LibJS/Runtime/Object.h>
  77. #include <LibJS/Runtime/ObjectConstructor.h>
  78. #include <LibJS/Runtime/ObjectPrototype.h>
  79. #include <LibJS/Runtime/PromiseConstructor.h>
  80. #include <LibJS/Runtime/PromisePrototype.h>
  81. #include <LibJS/Runtime/ProxyConstructor.h>
  82. #include <LibJS/Runtime/Realm.h>
  83. #include <LibJS/Runtime/ReflectObject.h>
  84. #include <LibJS/Runtime/RegExpConstructor.h>
  85. #include <LibJS/Runtime/RegExpPrototype.h>
  86. #include <LibJS/Runtime/RegExpStringIteratorPrototype.h>
  87. #include <LibJS/Runtime/SetConstructor.h>
  88. #include <LibJS/Runtime/SetIteratorPrototype.h>
  89. #include <LibJS/Runtime/SetPrototype.h>
  90. #include <LibJS/Runtime/ShadowRealmConstructor.h>
  91. #include <LibJS/Runtime/ShadowRealmPrototype.h>
  92. #include <LibJS/Runtime/Shape.h>
  93. #include <LibJS/Runtime/StringConstructor.h>
  94. #include <LibJS/Runtime/StringIteratorPrototype.h>
  95. #include <LibJS/Runtime/StringPrototype.h>
  96. #include <LibJS/Runtime/SymbolConstructor.h>
  97. #include <LibJS/Runtime/SymbolPrototype.h>
  98. #include <LibJS/Runtime/Temporal/CalendarConstructor.h>
  99. #include <LibJS/Runtime/Temporal/CalendarPrototype.h>
  100. #include <LibJS/Runtime/Temporal/DurationConstructor.h>
  101. #include <LibJS/Runtime/Temporal/DurationPrototype.h>
  102. #include <LibJS/Runtime/Temporal/InstantConstructor.h>
  103. #include <LibJS/Runtime/Temporal/InstantPrototype.h>
  104. #include <LibJS/Runtime/Temporal/PlainDateConstructor.h>
  105. #include <LibJS/Runtime/Temporal/PlainDatePrototype.h>
  106. #include <LibJS/Runtime/Temporal/PlainDateTimeConstructor.h>
  107. #include <LibJS/Runtime/Temporal/PlainDateTimePrototype.h>
  108. #include <LibJS/Runtime/Temporal/PlainMonthDayConstructor.h>
  109. #include <LibJS/Runtime/Temporal/PlainMonthDayPrototype.h>
  110. #include <LibJS/Runtime/Temporal/PlainTimeConstructor.h>
  111. #include <LibJS/Runtime/Temporal/PlainTimePrototype.h>
  112. #include <LibJS/Runtime/Temporal/PlainYearMonthConstructor.h>
  113. #include <LibJS/Runtime/Temporal/PlainYearMonthPrototype.h>
  114. #include <LibJS/Runtime/Temporal/Temporal.h>
  115. #include <LibJS/Runtime/Temporal/TimeZoneConstructor.h>
  116. #include <LibJS/Runtime/Temporal/TimeZonePrototype.h>
  117. #include <LibJS/Runtime/Temporal/ZonedDateTimeConstructor.h>
  118. #include <LibJS/Runtime/Temporal/ZonedDateTimePrototype.h>
  119. #include <LibJS/Runtime/TypedArray.h>
  120. #include <LibJS/Runtime/TypedArrayConstructor.h>
  121. #include <LibJS/Runtime/TypedArrayPrototype.h>
  122. #include <LibJS/Runtime/Value.h>
  123. #include <LibJS/Runtime/WeakMapConstructor.h>
  124. #include <LibJS/Runtime/WeakMapPrototype.h>
  125. #include <LibJS/Runtime/WeakRefConstructor.h>
  126. #include <LibJS/Runtime/WeakRefPrototype.h>
  127. #include <LibJS/Runtime/WeakSetConstructor.h>
  128. #include <LibJS/Runtime/WeakSetPrototype.h>
  129. namespace JS {
  130. GlobalObject::GlobalObject()
  131. : Object(GlobalObjectTag::Tag)
  132. , m_console(make<Console>(*this))
  133. {
  134. }
  135. void GlobalObject::initialize_global_object()
  136. {
  137. auto& vm = this->vm();
  138. ensure_shape_is_unique();
  139. // These are done first since other prototypes depend on their presence.
  140. m_empty_object_shape = heap().allocate_without_global_object<Shape>(*this);
  141. m_object_prototype = heap().allocate_without_global_object<ObjectPrototype>(*this);
  142. m_function_prototype = heap().allocate_without_global_object<FunctionPrototype>(*this);
  143. m_new_object_shape = vm.heap().allocate_without_global_object<Shape>(*this);
  144. m_new_object_shape->set_prototype_without_transition(m_object_prototype);
  145. m_new_ordinary_function_prototype_object_shape = vm.heap().allocate_without_global_object<Shape>(*this);
  146. m_new_ordinary_function_prototype_object_shape->set_prototype_without_transition(m_object_prototype);
  147. m_new_ordinary_function_prototype_object_shape->add_property_without_transition(vm.names.constructor, Attribute::Writable | Attribute::Configurable);
  148. // Normally Heap::allocate() takes care of this, but these are allocated via allocate_without_global_object().
  149. static_cast<FunctionPrototype*>(m_function_prototype)->initialize(*this);
  150. static_cast<ObjectPrototype*>(m_object_prototype)->initialize(*this);
  151. Object::set_prototype(m_object_prototype);
  152. // This must be initialized before allocating AggregateErrorPrototype, which uses ErrorPrototype as its prototype.
  153. m_error_prototype = heap().allocate<ErrorPrototype>(*this, *this);
  154. #define __JS_ENUMERATE(ClassName, snake_name) \
  155. if (!m_##snake_name##_prototype) \
  156. m_##snake_name##_prototype = heap().allocate<ClassName##Prototype>(*this, *this);
  157. JS_ENUMERATE_ITERATOR_PROTOTYPES
  158. #undef __JS_ENUMERATE
  159. // %GeneratorFunction.prototype.prototype% must be initialized separately as it has no
  160. // companion constructor
  161. m_generator_prototype = heap().allocate<GeneratorPrototype>(*this, *this);
  162. m_async_from_sync_iterator_prototype = heap().allocate<AsyncFromSyncIteratorPrototype>(*this, *this);
  163. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName, ArrayType) \
  164. if (!m_##snake_name##_prototype) \
  165. m_##snake_name##_prototype = heap().allocate<PrototypeName>(*this, *this);
  166. JS_ENUMERATE_BUILTIN_TYPES
  167. #undef __JS_ENUMERATE
  168. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \
  169. if (!m_intl_##snake_name##_prototype) \
  170. m_intl_##snake_name##_prototype = heap().allocate<Intl::PrototypeName>(*this, *this);
  171. JS_ENUMERATE_INTL_OBJECTS
  172. #undef __JS_ENUMERATE
  173. // Must be allocated before `Intl::Intl` below.
  174. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \
  175. initialize_constructor(vm.names.ClassName, m_intl_##snake_name##_constructor, m_intl_##snake_name##_prototype);
  176. JS_ENUMERATE_INTL_OBJECTS
  177. #undef __JS_ENUMERATE
  178. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \
  179. if (!m_temporal_##snake_name##_prototype) \
  180. m_temporal_##snake_name##_prototype = heap().allocate<Temporal::PrototypeName>(*this, *this);
  181. JS_ENUMERATE_TEMPORAL_OBJECTS
  182. #undef __JS_ENUMERATE
  183. // Must be allocated before `Temporal::Temporal` below.
  184. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \
  185. initialize_constructor(vm.names.ClassName, m_temporal_##snake_name##_constructor, m_temporal_##snake_name##_prototype);
  186. JS_ENUMERATE_TEMPORAL_OBJECTS
  187. #undef __JS_ENUMERATE
  188. u8 attr = Attribute::Writable | Attribute::Configurable;
  189. define_native_function(vm.names.gc, gc, 0, attr);
  190. define_native_function(vm.names.isNaN, is_nan, 1, attr);
  191. define_native_function(vm.names.isFinite, is_finite, 1, attr);
  192. define_native_function(vm.names.parseFloat, parse_float, 1, attr);
  193. define_native_function(vm.names.parseInt, parse_int, 2, attr);
  194. define_native_function(vm.names.eval, eval, 1, attr);
  195. // 10.2.4.1 %ThrowTypeError% ( ), https://tc39.es/ecma262/#sec-%throwtypeerror%
  196. m_throw_type_error_function = NativeFunction::create(global_object(), {}, [](VM& vm, GlobalObject& global_object) {
  197. return vm.throw_completion<TypeError>(global_object, ErrorType::RestrictedFunctionPropertiesAccess);
  198. });
  199. m_throw_type_error_function->define_direct_property(vm.names.length, Value(0), 0);
  200. m_throw_type_error_function->define_direct_property(vm.names.name, js_string(vm, ""), 0);
  201. MUST(m_throw_type_error_function->internal_prevent_extensions());
  202. // 10.2.4 AddRestrictedFunctionProperties ( F, realm ), https://tc39.es/ecma262/#sec-addrestrictedfunctionproperties
  203. m_function_prototype->define_direct_accessor(vm.names.caller, m_throw_type_error_function, m_throw_type_error_function, Attribute::Configurable);
  204. m_function_prototype->define_direct_accessor(vm.names.arguments, m_throw_type_error_function, m_throw_type_error_function, Attribute::Configurable);
  205. define_native_function(vm.names.encodeURI, encode_uri, 1, attr);
  206. define_native_function(vm.names.decodeURI, decode_uri, 1, attr);
  207. define_native_function(vm.names.encodeURIComponent, encode_uri_component, 1, attr);
  208. define_native_function(vm.names.decodeURIComponent, decode_uri_component, 1, attr);
  209. define_native_function(vm.names.escape, escape, 1, attr);
  210. define_native_function(vm.names.unescape, unescape, 1, attr);
  211. define_direct_property(vm.names.NaN, js_nan(), 0);
  212. define_direct_property(vm.names.Infinity, js_infinity(), 0);
  213. define_direct_property(vm.names.undefined, js_undefined(), 0);
  214. define_direct_property(vm.names.globalThis, this, attr);
  215. define_direct_property(vm.names.console, heap().allocate<ConsoleObject>(*this, *this), attr);
  216. define_direct_property(vm.names.Atomics, heap().allocate<AtomicsObject>(*this, *this), attr);
  217. define_direct_property(vm.names.Math, heap().allocate<MathObject>(*this, *this), attr);
  218. define_direct_property(vm.names.JSON, heap().allocate<JSONObject>(*this, *this), attr);
  219. define_direct_property(vm.names.Reflect, heap().allocate<ReflectObject>(*this, *this), attr);
  220. define_direct_property(vm.names.Intl, heap().allocate<Intl::Intl>(*this, *this), attr);
  221. define_direct_property(vm.names.Temporal, heap().allocate<Temporal::Temporal>(*this, *this), attr);
  222. // This must be initialized before allocating AggregateErrorConstructor, which uses ErrorConstructor as its prototype.
  223. initialize_constructor(vm.names.Error, m_error_constructor, m_error_prototype);
  224. add_constructor(vm.names.AggregateError, m_aggregate_error_constructor, m_aggregate_error_prototype);
  225. add_constructor(vm.names.Array, m_array_constructor, m_array_prototype);
  226. add_constructor(vm.names.ArrayBuffer, m_array_buffer_constructor, m_array_buffer_prototype);
  227. add_constructor(vm.names.BigInt, m_bigint_constructor, m_bigint_prototype);
  228. add_constructor(vm.names.Boolean, m_boolean_constructor, m_boolean_prototype);
  229. add_constructor(vm.names.DataView, m_data_view_constructor, m_data_view_prototype);
  230. add_constructor(vm.names.Date, m_date_constructor, m_date_prototype);
  231. add_constructor(vm.names.Error, m_error_constructor, m_error_prototype);
  232. add_constructor(vm.names.FinalizationRegistry, m_finalization_registry_constructor, m_finalization_registry_prototype);
  233. add_constructor(vm.names.Function, m_function_constructor, m_function_prototype);
  234. add_constructor(vm.names.Map, m_map_constructor, m_map_prototype);
  235. add_constructor(vm.names.Number, m_number_constructor, m_number_prototype);
  236. add_constructor(vm.names.Object, m_object_constructor, m_object_prototype);
  237. add_constructor(vm.names.Promise, m_promise_constructor, m_promise_prototype);
  238. add_constructor(vm.names.Proxy, m_proxy_constructor, nullptr);
  239. add_constructor(vm.names.RegExp, m_regexp_constructor, m_regexp_prototype);
  240. add_constructor(vm.names.Set, m_set_constructor, m_set_prototype);
  241. add_constructor(vm.names.ShadowRealm, m_shadow_realm_constructor, m_shadow_realm_prototype);
  242. add_constructor(vm.names.String, m_string_constructor, m_string_prototype);
  243. add_constructor(vm.names.Symbol, m_symbol_constructor, m_symbol_prototype);
  244. add_constructor(vm.names.WeakMap, m_weak_map_constructor, m_weak_map_prototype);
  245. add_constructor(vm.names.WeakRef, m_weak_ref_constructor, m_weak_ref_prototype);
  246. add_constructor(vm.names.WeakSet, m_weak_set_constructor, m_weak_set_prototype);
  247. initialize_constructor(vm.names.TypedArray, m_typed_array_constructor, m_typed_array_prototype);
  248. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName, ArrayType) \
  249. add_constructor(vm.names.ClassName, m_##snake_name##_constructor, m_##snake_name##_prototype);
  250. JS_ENUMERATE_NATIVE_ERRORS
  251. JS_ENUMERATE_TYPED_ARRAYS
  252. #undef __JS_ENUMERATE
  253. // NOTE: These constructors cannot be initialized with add_constructor as they have no global binding.
  254. m_generator_function_constructor = heap().allocate<GeneratorFunctionConstructor>(*this, *this);
  255. m_async_generator_function_constructor = heap().allocate<AsyncGeneratorFunctionConstructor>(*this, *this);
  256. m_async_function_constructor = heap().allocate<AsyncFunctionConstructor>(*this, *this);
  257. // 27.3.3.1 GeneratorFunction.prototype.constructor, https://tc39.es/ecma262/#sec-generatorfunction.prototype.constructor
  258. m_generator_function_prototype->define_direct_property(vm.names.constructor, m_generator_function_constructor, Attribute::Configurable);
  259. // 27.4.3.1 AsyncGeneratorFunction.prototype.constructor, https://tc39.es/ecma262/#sec-asyncgeneratorfunction-prototype-constructor
  260. m_async_generator_function_prototype->define_direct_property(vm.names.constructor, m_async_generator_function_constructor, Attribute::Configurable);
  261. // 27.5.1.1 Generator.prototype.constructor, https://tc39.es/ecma262/#sec-generator.prototype.constructor
  262. m_generator_prototype->define_direct_property(vm.names.constructor, m_generator_function_prototype, Attribute::Configurable);
  263. // 27.7.3.1 AsyncFunction.prototype.constructor, https://tc39.es/ecma262/#sec-async-function-prototype-properties-constructor
  264. m_async_function_prototype->define_direct_property(vm.names.constructor, m_async_function_constructor, Attribute::Configurable);
  265. m_array_prototype_values_function = &m_array_prototype->get_without_side_effects(vm.names.values).as_function();
  266. m_date_constructor_now_function = &m_date_constructor->get_without_side_effects(vm.names.now).as_function();
  267. m_eval_function = &get_without_side_effects(vm.names.eval).as_function();
  268. }
  269. GlobalObject::~GlobalObject()
  270. {
  271. }
  272. void GlobalObject::visit_edges(Visitor& visitor)
  273. {
  274. Base::visit_edges(visitor);
  275. visitor.visit(m_empty_object_shape);
  276. visitor.visit(m_new_object_shape);
  277. visitor.visit(m_new_ordinary_function_prototype_object_shape);
  278. visitor.visit(m_proxy_constructor);
  279. visitor.visit(m_generator_prototype);
  280. visitor.visit(m_array_prototype_values_function);
  281. visitor.visit(m_date_constructor_now_function);
  282. visitor.visit(m_eval_function);
  283. visitor.visit(m_throw_type_error_function);
  284. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName, ArrayType) \
  285. visitor.visit(m_##snake_name##_constructor); \
  286. visitor.visit(m_##snake_name##_prototype);
  287. JS_ENUMERATE_BUILTIN_TYPES
  288. #undef __JS_ENUMERATE
  289. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \
  290. visitor.visit(m_intl_##snake_name##_constructor); \
  291. visitor.visit(m_intl_##snake_name##_prototype);
  292. JS_ENUMERATE_INTL_OBJECTS
  293. #undef __JS_ENUMERATE
  294. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \
  295. visitor.visit(m_temporal_##snake_name##_constructor); \
  296. visitor.visit(m_temporal_##snake_name##_prototype);
  297. JS_ENUMERATE_TEMPORAL_OBJECTS
  298. #undef __JS_ENUMERATE
  299. #define __JS_ENUMERATE(ClassName, snake_name) \
  300. visitor.visit(m_##snake_name##_prototype);
  301. JS_ENUMERATE_ITERATOR_PROTOTYPES
  302. #undef __JS_ENUMERATE
  303. }
  304. Realm* GlobalObject::associated_realm()
  305. {
  306. return m_associated_realm;
  307. }
  308. void GlobalObject::set_associated_realm(Badge<Realm>, Realm& realm)
  309. {
  310. m_associated_realm = &realm;
  311. }
  312. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::gc)
  313. {
  314. #ifdef __serenity__
  315. dbgln("Forced garbage collection requested!");
  316. #endif
  317. vm.heap().collect_garbage();
  318. return js_undefined();
  319. }
  320. // 19.2.3 isNaN ( number ), https://tc39.es/ecma262/#sec-isnan-number
  321. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::is_nan)
  322. {
  323. return Value(TRY(vm.argument(0).to_number(global_object)).is_nan());
  324. }
  325. // 19.2.2 isFinite ( number ), https://tc39.es/ecma262/#sec-isfinite-number
  326. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::is_finite)
  327. {
  328. return Value(TRY(vm.argument(0).to_number(global_object)).is_finite_number());
  329. }
  330. // 19.2.4 parseFloat ( string ), https://tc39.es/ecma262/#sec-parsefloat-string
  331. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::parse_float)
  332. {
  333. if (vm.argument(0).is_number())
  334. return vm.argument(0);
  335. auto input_string = TRY(vm.argument(0).to_string(global_object));
  336. auto trimmed_string = MUST(trim_string(global_object, js_string(vm, input_string), TrimMode::Left));
  337. for (size_t length = trimmed_string.length(); length > 0; --length) {
  338. auto number = MUST(Value(js_string(vm, trimmed_string.substring(0, length))).to_number(global_object));
  339. if (!number.is_nan())
  340. return number;
  341. }
  342. return js_nan();
  343. }
  344. // 19.2.5 parseInt ( string, radix ), https://tc39.es/ecma262/#sec-parseint-string-radix
  345. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::parse_int)
  346. {
  347. // 1. Let inputString be ? ToString(string).
  348. auto input_string = TRY(vm.argument(0).to_string(global_object));
  349. // 2. Let S be ! TrimString(inputString, start).
  350. auto string = MUST(trim_string(global_object, js_string(vm, input_string), TrimMode::Left));
  351. // 3. Let sign be 1.
  352. auto sign = 1;
  353. // 4. If S is not empty and the first code unit of S is the code unit 0x002D (HYPHEN-MINUS), set sign to -1.
  354. if (!string.is_empty() && string[0] == 0x2D)
  355. sign = -1;
  356. // 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.
  357. auto trimmed_view = string.view();
  358. if (!string.is_empty() && (string[0] == 0x2B || string[0] == 0x2D))
  359. trimmed_view = trimmed_view.substring_view(1);
  360. // 6. Let R be ℝ(? ToInt32(radix)).
  361. auto radix = TRY(vm.argument(1).to_i32(global_object));
  362. // 7. Let stripPrefix be true.
  363. auto strip_prefix = true;
  364. // 8. If R ≠ 0, then
  365. if (radix != 0) {
  366. // a. If R < 2 or R > 36, return NaN.
  367. if (radix < 2 || radix > 36)
  368. return js_nan();
  369. // b. If R ≠ 16, set stripPrefix to false.
  370. if (radix != 16)
  371. strip_prefix = false;
  372. }
  373. // 9. Else,
  374. else {
  375. // a. Set R to 10.
  376. radix = 10;
  377. }
  378. // 10. If stripPrefix is true, then
  379. if (strip_prefix) {
  380. // a. If the length of S is at least 2 and the first two code units of S are either "0x" or "0X", then
  381. if (trimmed_view.length() >= 2 && trimmed_view.substring_view(0, 2).equals_ignoring_case("0x"sv)) {
  382. // i. Remove the first two code units from S.
  383. trimmed_view = trimmed_view.substring_view(2);
  384. // ii. Set R to 16.
  385. radix = 16;
  386. }
  387. }
  388. // 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.
  389. // 12. Let Z be the substring of S from 0 to end.
  390. // 13. If Z is empty, return NaN.
  391. // 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.)
  392. auto parse_digit = [&](u32 code_point) -> Optional<u32> {
  393. if (!is_ascii_alphanumeric(code_point))
  394. return {};
  395. auto digit = parse_ascii_base36_digit(code_point);
  396. if (digit >= (u32)radix)
  397. return {};
  398. return digit;
  399. };
  400. bool had_digits = false;
  401. double number = 0;
  402. for (auto code_point : Utf8View(trimmed_view)) {
  403. auto digit = parse_digit(code_point);
  404. if (!digit.has_value())
  405. break;
  406. had_digits = true;
  407. number *= radix;
  408. number += digit.value();
  409. }
  410. if (!had_digits)
  411. return js_nan();
  412. // 15. If mathInt = 0, then
  413. // a. If sign = -1, return -0𝔽.
  414. // b. Return +0𝔽.
  415. // 16. Return 𝔽(sign × mathInt).
  416. return Value(sign * number);
  417. }
  418. // 19.2.1 eval ( x ), https://tc39.es/ecma262/#sec-eval-x
  419. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::eval)
  420. {
  421. return perform_eval(vm.argument(0), global_object, CallerMode::NonStrict, EvalMode::Indirect);
  422. }
  423. // 19.2.6.1.1 Encode ( string, unescapedSet ), https://tc39.es/ecma262/#sec-encode
  424. static ThrowCompletionOr<String> encode([[maybe_unused]] JS::GlobalObject& global_object, const String& string, StringView unescaped_set)
  425. {
  426. auto& vm = global_object.vm();
  427. auto utf16_string = Utf16String(string);
  428. // 1. Let strLen be the number of code units in string.
  429. auto string_length = utf16_string.length_in_code_units();
  430. // 2. Let R be the empty String.
  431. StringBuilder encoded_builder;
  432. // 3. Let k be 0.
  433. auto k = 0u;
  434. // 4. Repeat,
  435. while (k < string_length) {
  436. // a. If k = strLen, return R.
  437. // Handled below
  438. // b. Let C be the code unit at index k within string.
  439. auto code_unit = utf16_string.code_unit_at(k);
  440. // c. If C is in unescapedSet, then
  441. // NOTE: We assume the unescaped set only contains ascii characters as unescaped_set is a StringView.
  442. if (code_unit < 0x80 && unescaped_set.contains(code_unit)) {
  443. // i. Set k to k + 1.
  444. k++;
  445. // ii. Set R to the string-concatenation of R and C.
  446. encoded_builder.append(code_unit);
  447. }
  448. // d. Else,
  449. else {
  450. // i. Let cp be ! CodePointAt(string, k).
  451. auto code_point = code_point_at(utf16_string.view(), k);
  452. // ii. If cp.[[IsUnpairedSurrogate]] is true, throw a URIError exception.
  453. if (code_point.is_unpaired_surrogate)
  454. return vm.throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  455. // iii. Set k to k + cp.[[CodeUnitCount]].
  456. k += code_point.code_unit_count;
  457. // iv. Let Octets be the List of octets resulting by applying the UTF-8 transformation to cp.[[CodePoint]].
  458. // v. For each element octet of Octets, do
  459. auto nwritten = AK::UnicodeUtils::code_point_to_utf8(code_point.code_point, [&encoded_builder](u8 octet) {
  460. // 1. Set R to the string-concatenation of:
  461. // * R
  462. // * "%"
  463. // * the String representation of octet, formatted as a two-digit uppercase hexadecimal number, padded to the left with a zero if necessary
  464. encoded_builder.appendff("%{:02X}", octet);
  465. });
  466. VERIFY(nwritten > 0);
  467. }
  468. }
  469. return encoded_builder.build();
  470. }
  471. // 19.2.6.1.2 Decode ( string, reservedSet ), https://tc39.es/ecma262/#sec-decode
  472. static ThrowCompletionOr<String> decode(JS::GlobalObject& global_object, const String& string, StringView reserved_set)
  473. {
  474. StringBuilder decoded_builder;
  475. auto code_point_start_offset = 0u;
  476. auto expected_continuation_bytes = 0;
  477. for (size_t k = 0; k < string.length(); k++) {
  478. auto code_unit = string[k];
  479. if (code_unit != '%') {
  480. if (expected_continuation_bytes > 0)
  481. return global_object.vm().throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  482. decoded_builder.append(code_unit);
  483. continue;
  484. }
  485. if (k + 2 >= string.length())
  486. return global_object.vm().throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  487. auto first_digit = decode_hex_digit(string[k + 1]);
  488. if (first_digit >= 16)
  489. return global_object.vm().throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  490. auto second_digit = decode_hex_digit(string[k + 2]);
  491. if (second_digit >= 16)
  492. return global_object.vm().throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  493. u8 decoded_code_unit = (first_digit << 4) | second_digit;
  494. k += 2;
  495. if (expected_continuation_bytes > 0) {
  496. decoded_builder.append(decoded_code_unit);
  497. expected_continuation_bytes--;
  498. if (expected_continuation_bytes == 0 && !Utf8View(decoded_builder.string_view().substring_view(code_point_start_offset)).validate())
  499. return global_object.vm().throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  500. continue;
  501. }
  502. if ((decoded_code_unit & 0x80) == 0) {
  503. if (reserved_set.contains(decoded_code_unit))
  504. decoded_builder.append(string.substring_view(k - 2, 3));
  505. else
  506. decoded_builder.append(decoded_code_unit);
  507. continue;
  508. }
  509. auto leading_ones = count_leading_zeroes_safe(static_cast<u8>(~decoded_code_unit));
  510. if (leading_ones == 1 || leading_ones > 4)
  511. return global_object.vm().throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  512. code_point_start_offset = decoded_builder.length();
  513. decoded_builder.append(decoded_code_unit);
  514. expected_continuation_bytes = leading_ones - 1;
  515. }
  516. if (expected_continuation_bytes > 0)
  517. return global_object.vm().throw_completion<URIError>(global_object, ErrorType::URIMalformed);
  518. return decoded_builder.build();
  519. }
  520. // 19.2.6.4 encodeURI ( uri ), https://tc39.es/ecma262/#sec-encodeuri-uri
  521. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::encode_uri)
  522. {
  523. auto uri_string = TRY(vm.argument(0).to_string(global_object));
  524. auto encoded = TRY(encode(global_object, uri_string, ";/?:@&=+$,abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_.!~*'()#"sv));
  525. return js_string(vm, move(encoded));
  526. }
  527. // 19.2.6.2 decodeURI ( encodedURI ), https://tc39.es/ecma262/#sec-decodeuri-encodeduri
  528. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::decode_uri)
  529. {
  530. auto uri_string = TRY(vm.argument(0).to_string(global_object));
  531. auto decoded = TRY(decode(global_object, uri_string, ";/?:@&=+$,#"sv));
  532. return js_string(vm, move(decoded));
  533. }
  534. // 19.2.6.5 encodeURIComponent ( uriComponent ), https://tc39.es/ecma262/#sec-encodeuricomponent-uricomponent
  535. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::encode_uri_component)
  536. {
  537. auto uri_string = TRY(vm.argument(0).to_string(global_object));
  538. auto encoded = TRY(encode(global_object, uri_string, "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_.!~*'()"sv));
  539. return js_string(vm, move(encoded));
  540. }
  541. // 19.2.6.3 decodeURIComponent ( encodedURIComponent ), https://tc39.es/ecma262/#sec-decodeuricomponent-encodeduricomponent
  542. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::decode_uri_component)
  543. {
  544. auto uri_string = TRY(vm.argument(0).to_string(global_object));
  545. auto decoded = TRY(decode(global_object, uri_string, ""sv));
  546. return js_string(vm, move(decoded));
  547. }
  548. // B.2.1.1 escape ( string ), https://tc39.es/ecma262/#sec-escape-string
  549. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::escape)
  550. {
  551. auto string = TRY(vm.argument(0).to_string(global_object));
  552. StringBuilder escaped;
  553. for (auto code_point : utf8_to_utf16(string)) {
  554. if (code_point < 256) {
  555. if ("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789@*_+-./"sv.contains(code_point))
  556. escaped.append(code_point);
  557. else
  558. escaped.appendff("%{:02X}", code_point);
  559. continue;
  560. }
  561. escaped.appendff("%u{:04X}", code_point);
  562. }
  563. return js_string(vm, escaped.build());
  564. }
  565. // B.2.1.2 unescape ( string ), https://tc39.es/ecma262/#sec-unescape-string
  566. JS_DEFINE_NATIVE_FUNCTION(GlobalObject::unescape)
  567. {
  568. auto string = TRY(vm.argument(0).to_string(global_object));
  569. ssize_t length = string.length();
  570. StringBuilder unescaped(length);
  571. for (auto k = 0; k < length; ++k) {
  572. u32 code_point = string[k];
  573. if (code_point == '%') {
  574. 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])) {
  575. 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]);
  576. k += 5;
  577. } else if (k <= length - 3 && is_ascii_hex_digit(string[k + 1]) && is_ascii_hex_digit(string[k + 2])) {
  578. code_point = (parse_ascii_hex_digit(string[k + 1]) << 4) | parse_ascii_hex_digit(string[k + 2]);
  579. k += 2;
  580. }
  581. }
  582. unescaped.append_code_point(code_point);
  583. }
  584. return js_string(vm, unescaped.build());
  585. }
  586. }