ObjectConstructor.cpp 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511
  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/Function.h>
  8. #include <LibJS/Runtime/AbstractOperations.h>
  9. #include <LibJS/Runtime/Array.h>
  10. #include <LibJS/Runtime/Error.h>
  11. #include <LibJS/Runtime/GlobalObject.h>
  12. #include <LibJS/Runtime/IteratorOperations.h>
  13. #include <LibJS/Runtime/ObjectConstructor.h>
  14. #include <LibJS/Runtime/ProxyObject.h>
  15. #include <LibJS/Runtime/Shape.h>
  16. namespace JS {
  17. ObjectConstructor::ObjectConstructor(GlobalObject& global_object)
  18. : NativeFunction(vm().names.Object.as_string(), *global_object.function_prototype())
  19. {
  20. }
  21. void ObjectConstructor::initialize(GlobalObject& global_object)
  22. {
  23. auto& vm = this->vm();
  24. NativeFunction::initialize(global_object);
  25. // 20.1.2.19 Object.prototype, https://tc39.es/ecma262/#sec-object.prototype
  26. define_direct_property(vm.names.prototype, global_object.object_prototype(), 0);
  27. u8 attr = Attribute::Writable | Attribute::Configurable;
  28. define_native_function(vm.names.defineProperty, define_property, 3, attr);
  29. define_native_function(vm.names.defineProperties, define_properties, 2, attr);
  30. define_native_function(vm.names.is, is, 2, attr);
  31. define_native_function(vm.names.getOwnPropertyDescriptor, get_own_property_descriptor, 2, attr);
  32. define_native_function(vm.names.getOwnPropertyDescriptors, get_own_property_descriptors, 1, attr);
  33. define_native_function(vm.names.getOwnPropertyNames, get_own_property_names, 1, attr);
  34. define_native_function(vm.names.getOwnPropertySymbols, get_own_property_symbols, 1, attr);
  35. define_native_function(vm.names.getPrototypeOf, get_prototype_of, 1, attr);
  36. define_native_function(vm.names.setPrototypeOf, set_prototype_of, 2, attr);
  37. define_native_function(vm.names.isExtensible, is_extensible, 1, attr);
  38. define_native_function(vm.names.isFrozen, is_frozen, 1, attr);
  39. define_native_function(vm.names.isSealed, is_sealed, 1, attr);
  40. define_native_function(vm.names.preventExtensions, prevent_extensions, 1, attr);
  41. define_native_function(vm.names.freeze, freeze, 1, attr);
  42. define_native_function(vm.names.fromEntries, from_entries, 1, attr);
  43. define_native_function(vm.names.seal, seal, 1, attr);
  44. define_native_function(vm.names.keys, keys, 1, attr);
  45. define_native_function(vm.names.values, values, 1, attr);
  46. define_native_function(vm.names.entries, entries, 1, attr);
  47. define_native_function(vm.names.create, create, 2, attr);
  48. define_native_function(vm.names.hasOwn, has_own, 2, attr);
  49. define_native_function(vm.names.assign, assign, 2, attr);
  50. define_direct_property(vm.names.length, Value(1), Attribute::Configurable);
  51. }
  52. ObjectConstructor::~ObjectConstructor()
  53. {
  54. }
  55. // 20.1.1.1 Object ( [ value ] ), https://tc39.es/ecma262/#sec-object-value
  56. Value ObjectConstructor::call()
  57. {
  58. return construct(*this);
  59. }
  60. // 20.1.1.1 Object ( [ value ] ), https://tc39.es/ecma262/#sec-object-value
  61. Value ObjectConstructor::construct(FunctionObject& new_target)
  62. {
  63. auto& vm = this->vm();
  64. auto& global_object = this->global_object();
  65. if (&new_target != this)
  66. return TRY_OR_DISCARD(ordinary_create_from_constructor<Object>(global_object, new_target, &GlobalObject::object_prototype));
  67. auto value = vm.argument(0);
  68. if (value.is_nullish())
  69. return Object::create(global_object, global_object.object_prototype());
  70. return value.to_object(global_object);
  71. }
  72. enum class GetOwnPropertyKeysType {
  73. String,
  74. Symbol,
  75. };
  76. // 20.1.2.11.1 GetOwnPropertyKeys ( O, type ), https://tc39.es/ecma262/#sec-getownpropertykeys
  77. static Array* get_own_property_keys(GlobalObject& global_object, Value value, GetOwnPropertyKeysType type)
  78. {
  79. auto& vm = global_object.vm();
  80. // 1. Let obj be ? ToObject(O).
  81. auto* object = value.to_object(global_object);
  82. if (vm.exception())
  83. return {};
  84. // 2. Let keys be ? obj.[[OwnPropertyKeys]]().
  85. auto keys = object->internal_own_property_keys();
  86. if (vm.exception())
  87. return {};
  88. // 3. Let nameList be a new empty List.
  89. auto name_list = MarkedValueList { vm.heap() };
  90. // 4. For each element nextKey of keys, do
  91. for (auto& next_key : keys) {
  92. // a. If Type(nextKey) is Symbol and type is symbol or Type(nextKey) is String and type is string, then
  93. if ((next_key.is_symbol() && type == GetOwnPropertyKeysType::Symbol) || (next_key.is_string() && type == GetOwnPropertyKeysType::String)) {
  94. // i. Append nextKey as the last element of nameList.
  95. name_list.append(next_key);
  96. }
  97. }
  98. // 5. Return CreateArrayFromList(nameList).
  99. return Array::create_from(global_object, name_list);
  100. }
  101. // 20.1.2.10 Object.getOwnPropertyNames ( O ), https://tc39.es/ecma262/#sec-object.getownpropertynames
  102. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_names)
  103. {
  104. // 1. Return ? GetOwnPropertyKeys(O, string).
  105. return get_own_property_keys(global_object, vm.argument(0), GetOwnPropertyKeysType::String);
  106. }
  107. // 20.1.2.11 Object.getOwnPropertySymbols ( O ), https://tc39.es/ecma262/#sec-object.getownpropertysymbols
  108. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_symbols)
  109. {
  110. // 1. Return ? GetOwnPropertyKeys(O, symbol).
  111. return get_own_property_keys(global_object, vm.argument(0), GetOwnPropertyKeysType::Symbol);
  112. }
  113. // 20.1.2.12 Object.getPrototypeOf ( O ), https://tc39.es/ecma262/#sec-object.getprototypeof
  114. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_prototype_of)
  115. {
  116. // 1. Let obj be ? ToObject(O).
  117. auto* object = vm.argument(0).to_object(global_object);
  118. if (vm.exception())
  119. return {};
  120. // 2. Return ? obj.[[GetPrototypeOf]]().
  121. return TRY_OR_DISCARD(object->internal_get_prototype_of());
  122. }
  123. // 20.1.2.21 Object.setPrototypeOf ( O, proto ), https://tc39.es/ecma262/#sec-object.setprototypeof
  124. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::set_prototype_of)
  125. {
  126. auto proto = vm.argument(1);
  127. // 1. Set O to ? RequireObjectCoercible(O).
  128. auto object = TRY_OR_DISCARD(require_object_coercible(global_object, vm.argument(0)));
  129. // 2. If Type(proto) is neither Object nor Null, throw a TypeError exception.
  130. if (!proto.is_object() && !proto.is_null()) {
  131. vm.throw_exception<TypeError>(global_object, ErrorType::ObjectPrototypeWrongType);
  132. return {};
  133. }
  134. // 3. If Type(O) is not Object, return O.
  135. if (!object.is_object())
  136. return object;
  137. // 4. Let status be ? O.[[SetPrototypeOf]](proto).
  138. auto status = TRY_OR_DISCARD(object.as_object().internal_set_prototype_of(proto.is_null() ? nullptr : &proto.as_object()));
  139. // 5. If status is false, throw a TypeError exception.
  140. if (!status) {
  141. // FIXME: Improve/contextualize error message
  142. vm.throw_exception<TypeError>(global_object, ErrorType::ObjectSetPrototypeOfReturnedFalse);
  143. return {};
  144. }
  145. // 6. Return O.
  146. return object;
  147. }
  148. // 20.1.2.14 Object.isExtensible ( O ), https://tc39.es/ecma262/#sec-object.isextensible
  149. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_extensible)
  150. {
  151. auto argument = vm.argument(0);
  152. if (!argument.is_object())
  153. return Value(false);
  154. return Value(argument.as_object().is_extensible());
  155. }
  156. // 20.1.2.15 Object.isFrozen ( O ), https://tc39.es/ecma262/#sec-object.isfrozen
  157. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_frozen)
  158. {
  159. auto argument = vm.argument(0);
  160. if (!argument.is_object())
  161. return Value(true);
  162. return Value(argument.as_object().test_integrity_level(Object::IntegrityLevel::Frozen));
  163. }
  164. // 20.1.2.16 Object.isSealed ( O ), https://tc39.es/ecma262/#sec-object.issealed
  165. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is_sealed)
  166. {
  167. auto argument = vm.argument(0);
  168. if (!argument.is_object())
  169. return Value(true);
  170. return Value(argument.as_object().test_integrity_level(Object::IntegrityLevel::Sealed));
  171. }
  172. // 20.1.2.18 Object.preventExtensions ( O ), https://tc39.es/ecma262/#sec-object.preventextensions
  173. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::prevent_extensions)
  174. {
  175. auto argument = vm.argument(0);
  176. if (!argument.is_object())
  177. return argument;
  178. auto status = TRY_OR_DISCARD(argument.as_object().internal_prevent_extensions());
  179. if (!status) {
  180. // FIXME: Improve/contextualize error message
  181. vm.throw_exception<TypeError>(global_object, ErrorType::ObjectPreventExtensionsReturnedFalse);
  182. return {};
  183. }
  184. return argument;
  185. }
  186. // 20.1.2.6 Object.freeze ( O ), https://tc39.es/ecma262/#sec-object.freeze
  187. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::freeze)
  188. {
  189. auto argument = vm.argument(0);
  190. if (!argument.is_object())
  191. return argument;
  192. auto status = argument.as_object().set_integrity_level(Object::IntegrityLevel::Frozen);
  193. if (vm.exception())
  194. return {};
  195. if (!status) {
  196. vm.throw_exception<TypeError>(global_object, ErrorType::ObjectFreezeFailed);
  197. return {};
  198. }
  199. return argument;
  200. }
  201. // 20.1.2.7 Object.fromEntries ( iterable ), https://tc39.es/ecma262/#sec-object.fromentries
  202. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::from_entries)
  203. {
  204. auto iterable = TRY_OR_DISCARD(require_object_coercible(global_object, vm.argument(0)));
  205. auto* object = Object::create(global_object, global_object.object_prototype());
  206. get_iterator_values(global_object, iterable, [&](Value iterator_value) {
  207. if (vm.exception())
  208. return IterationDecision::Break;
  209. if (!iterator_value.is_object()) {
  210. vm.throw_exception<TypeError>(global_object, ErrorType::NotAnObject, String::formatted("Iterator value {}", iterator_value.to_string_without_side_effects()));
  211. return IterationDecision::Break;
  212. }
  213. auto key = iterator_value.as_object().get(0);
  214. if (vm.exception())
  215. return IterationDecision::Break;
  216. auto value = iterator_value.as_object().get(1);
  217. if (vm.exception())
  218. return IterationDecision::Break;
  219. auto property_key = key.to_property_key(global_object);
  220. if (vm.exception())
  221. return IterationDecision::Break;
  222. object->create_data_property_or_throw(property_key, value);
  223. if (vm.exception())
  224. return IterationDecision::Break;
  225. return IterationDecision::Continue;
  226. });
  227. if (vm.exception())
  228. return {};
  229. return object;
  230. }
  231. // 20.1.2.20 Object.seal ( O ), https://tc39.es/ecma262/#sec-object.seal
  232. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::seal)
  233. {
  234. auto argument = vm.argument(0);
  235. if (!argument.is_object())
  236. return argument;
  237. auto status = argument.as_object().set_integrity_level(Object::IntegrityLevel::Sealed);
  238. if (vm.exception())
  239. return {};
  240. if (!status) {
  241. vm.throw_exception<TypeError>(global_object, ErrorType::ObjectSealFailed);
  242. return {};
  243. }
  244. return argument;
  245. }
  246. // 20.1.2.8 Object.getOwnPropertyDescriptor ( O, P ), https://tc39.es/ecma262/#sec-object.getownpropertydescriptor
  247. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_descriptor)
  248. {
  249. auto* object = vm.argument(0).to_object(global_object);
  250. if (vm.exception())
  251. return {};
  252. auto key = vm.argument(1).to_property_key(global_object);
  253. if (vm.exception())
  254. return {};
  255. auto descriptor = object->internal_get_own_property(key);
  256. if (vm.exception())
  257. return {};
  258. return from_property_descriptor(global_object, descriptor);
  259. }
  260. // 20.1.2.9 Object.getOwnPropertyDescriptors ( O ), https://tc39.es/ecma262/#sec-object.getownpropertydescriptors
  261. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::get_own_property_descriptors)
  262. {
  263. // 1. Let obj be ? ToObject(O).
  264. auto* object = vm.argument(0).to_object(global_object);
  265. if (vm.exception())
  266. return {};
  267. // 2. Let ownKeys be ? obj.[[OwnPropertyKeys]]().
  268. auto own_keys = object->internal_own_property_keys();
  269. if (vm.exception())
  270. return {};
  271. // 3. Let descriptors be ! OrdinaryObjectCreate(%Object.prototype%).
  272. auto* descriptors = Object::create(global_object, global_object.object_prototype());
  273. // 4. For each element key of ownKeys, do
  274. for (auto& key : own_keys) {
  275. auto property_name = PropertyName::from_value(global_object, key);
  276. // a. Let desc be ? obj.[[GetOwnProperty]](key).
  277. auto desc = object->internal_get_own_property(property_name);
  278. if (vm.exception())
  279. return {};
  280. // b. Let descriptor be ! FromPropertyDescriptor(desc).
  281. auto descriptor = from_property_descriptor(global_object, desc);
  282. // c. If descriptor is not undefined, perform ! CreateDataPropertyOrThrow(descriptors, key, descriptor).
  283. if (!descriptor.is_undefined())
  284. descriptors->create_data_property_or_throw(property_name, descriptor);
  285. }
  286. // 5. Return descriptors.
  287. return descriptors;
  288. }
  289. // 20.1.2.4 Object.defineProperty ( O, P, Attributes ), https://tc39.es/ecma262/#sec-object.defineproperty
  290. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::define_property)
  291. {
  292. if (!vm.argument(0).is_object()) {
  293. vm.throw_exception<TypeError>(global_object, ErrorType::NotAnObject, vm.argument(0).to_string_without_side_effects());
  294. return {};
  295. }
  296. auto key = vm.argument(1).to_property_key(global_object);
  297. if (vm.exception())
  298. return {};
  299. auto descriptor = to_property_descriptor(global_object, vm.argument(2));
  300. if (vm.exception())
  301. return {};
  302. vm.argument(0).as_object().define_property_or_throw(key, descriptor);
  303. if (vm.exception())
  304. return {};
  305. return vm.argument(0);
  306. }
  307. // 20.1.2.3 Object.defineProperties ( O, Properties ), https://tc39.es/ecma262/#sec-object.defineproperties
  308. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::define_properties)
  309. {
  310. auto object = vm.argument(0);
  311. auto properties = vm.argument(1);
  312. // 1. If Type(O) is not Object, throw a TypeError exception.
  313. if (!object.is_object()) {
  314. vm.throw_exception<TypeError>(global_object, ErrorType::NotAnObject, "Object argument");
  315. return {};
  316. }
  317. // 2. Return ? ObjectDefineProperties(O, Properties).
  318. return object.as_object().define_properties(properties);
  319. }
  320. // 20.1.2.13 Object.is ( value1, value2 ), https://tc39.es/ecma262/#sec-object.is
  321. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::is)
  322. {
  323. return Value(same_value(vm.argument(0), vm.argument(1)));
  324. }
  325. // 20.1.2.17 Object.keys ( O ), https://tc39.es/ecma262/#sec-object.keys
  326. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::keys)
  327. {
  328. auto* object = vm.argument(0).to_object(global_object);
  329. if (vm.exception())
  330. return {};
  331. auto name_list = object->enumerable_own_property_names(PropertyKind::Key);
  332. if (vm.exception())
  333. return {};
  334. return Array::create_from(global_object, name_list);
  335. }
  336. // 20.1.2.22 Object.values ( O ), https://tc39.es/ecma262/#sec-object.values
  337. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::values)
  338. {
  339. auto* object = vm.argument(0).to_object(global_object);
  340. if (vm.exception())
  341. return {};
  342. auto name_list = object->enumerable_own_property_names(PropertyKind::Value);
  343. if (vm.exception())
  344. return {};
  345. return Array::create_from(global_object, name_list);
  346. }
  347. // 20.1.2.5 Object.entries ( O ), https://tc39.es/ecma262/#sec-object.entries
  348. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::entries)
  349. {
  350. auto* object = vm.argument(0).to_object(global_object);
  351. if (vm.exception())
  352. return {};
  353. auto name_list = object->enumerable_own_property_names(PropertyKind::KeyAndValue);
  354. if (vm.exception())
  355. return {};
  356. return Array::create_from(global_object, name_list);
  357. }
  358. // 20.1.2.2 Object.create ( O, Properties ), https://tc39.es/ecma262/#sec-object.create
  359. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::create)
  360. {
  361. auto proto = vm.argument(0);
  362. auto properties = vm.argument(1);
  363. // 1. If Type(O) is neither Object nor Null, throw a TypeError exception.
  364. if (!proto.is_object() && !proto.is_null()) {
  365. vm.throw_exception<TypeError>(global_object, ErrorType::ObjectPrototypeWrongType);
  366. return {};
  367. }
  368. // 2. Let obj be ! OrdinaryObjectCreate(O).
  369. auto* object = Object::create(global_object, proto.is_null() ? nullptr : &proto.as_object());
  370. // 3. If Properties is not undefined, then
  371. if (!properties.is_undefined()) {
  372. // a. Return ? ObjectDefineProperties(obj, Properties).
  373. return object->define_properties(properties);
  374. }
  375. // 4. Return obj.
  376. return object;
  377. }
  378. // 1 Object.hasOwn ( O, P ), https://tc39.es/proposal-accessible-object-hasownproperty/#sec-object.hasown
  379. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::has_own)
  380. {
  381. // 1. Let obj be ? ToObject(O).
  382. auto* object = vm.argument(0).to_object(global_object);
  383. if (vm.exception())
  384. return {};
  385. // 2. Let key be ? ToPropertyKey(P).
  386. auto key = vm.argument(1).to_property_key(global_object);
  387. if (vm.exception())
  388. return {};
  389. // 3. Return ? HasOwnProperty(obj, key).
  390. return Value(object->has_own_property(key));
  391. }
  392. // 20.1.2.1 Object.assign ( target, ...sources ), https://tc39.es/ecma262/#sec-object.assign
  393. JS_DEFINE_NATIVE_FUNCTION(ObjectConstructor::assign)
  394. {
  395. // 1. Let to be ? ToObject(target).
  396. auto* to = vm.argument(0).to_object(global_object);
  397. if (vm.exception())
  398. return {};
  399. // 2. If only one argument was passed, return to.
  400. if (vm.argument_count() == 1)
  401. return to;
  402. // 3. For each element nextSource of sources, do
  403. for (size_t i = 1; i < vm.argument_count(); ++i) {
  404. auto next_source = vm.argument(i);
  405. // a. If nextSource is neither undefined nor null, then
  406. if (next_source.is_nullish())
  407. continue;
  408. // i. Let from be ! ToObject(nextSource).
  409. auto from = next_source.to_object(global_object);
  410. VERIFY(!vm.exception());
  411. // ii. Let keys be ? from.[[OwnPropertyKeys]]().
  412. auto keys = from->internal_own_property_keys();
  413. if (vm.exception())
  414. return {};
  415. // iii. For each element nextKey of keys, do
  416. for (auto& next_key : keys) {
  417. auto property_name = PropertyName::from_value(global_object, next_key);
  418. // 1. Let desc be ? from.[[GetOwnProperty]](nextKey).
  419. auto desc = from->internal_get_own_property(property_name);
  420. if (vm.exception())
  421. return {};
  422. // 2. If desc is not undefined and desc.[[Enumerable]] is true, then
  423. if (!desc.has_value() || !*desc->enumerable)
  424. continue;
  425. // a. Let propValue be ? Get(from, nextKey).
  426. auto prop_value = from->get(property_name);
  427. if (vm.exception())
  428. return {};
  429. // b. Perform ? Set(to, nextKey, propValue, true).
  430. to->set(property_name, prop_value, Object::ShouldThrowExceptions::Yes);
  431. if (vm.exception())
  432. return {};
  433. }
  434. }
  435. // 4. Return to.
  436. return to;
  437. }
  438. }