ReflectObject.cpp 9.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267
  1. /*
  2. * Copyright (c) 2020, Linus Groh <mail@linusgroh.de>
  3. * All rights reserved.
  4. *
  5. * Redistribution and use in source and binary forms, with or without
  6. * modification, are permitted provided that the following conditions are met:
  7. *
  8. * 1. Redistributions of source code must retain the above copyright notice, this
  9. * list of conditions and the following disclaimer.
  10. *
  11. * 2. Redistributions in binary form must reproduce the above copyright notice,
  12. * this list of conditions and the following disclaimer in the documentation
  13. * and/or other materials provided with the distribution.
  14. *
  15. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
  16. * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  17. * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  18. * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
  19. * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  20. * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
  21. * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
  22. * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
  23. * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  24. * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  25. */
  26. #include <AK/Function.h>
  27. #include <LibJS/Interpreter.h>
  28. #include <LibJS/Runtime/Error.h>
  29. #include <LibJS/Runtime/Function.h>
  30. #include <LibJS/Runtime/GlobalObject.h>
  31. #include <LibJS/Runtime/NativeFunction.h>
  32. #include <LibJS/Runtime/ReflectObject.h>
  33. namespace JS {
  34. static Object* get_target_object_from(Interpreter& interpreter, const String& name)
  35. {
  36. auto target = interpreter.argument(0);
  37. if (!target.is_object()) {
  38. interpreter.throw_exception<TypeError>(String::format("First argument of Reflect.%s() must be an object", name.characters()));
  39. return nullptr;
  40. }
  41. return static_cast<Object*>(&target.as_object());
  42. }
  43. static Function* get_target_function_from(Interpreter& interpreter, const String& name)
  44. {
  45. auto target = interpreter.argument(0);
  46. if (!target.is_function()) {
  47. interpreter.throw_exception<TypeError>(String::format("First argument of Reflect.%s() must be a function", name.characters()));
  48. return nullptr;
  49. }
  50. return &target.as_function();
  51. }
  52. static void prepare_arguments_list(Interpreter& interpreter, Value value, MarkedValueList* arguments)
  53. {
  54. if (!value.is_object()) {
  55. interpreter.throw_exception<TypeError>("Arguments list must be an object");
  56. return;
  57. }
  58. auto& arguments_list = value.as_object();
  59. auto length_property = arguments_list.get("length");
  60. if (interpreter.exception())
  61. return;
  62. auto length = length_property.to_size_t(interpreter);
  63. if (interpreter.exception())
  64. return;
  65. for (size_t i = 0; i < length; ++i) {
  66. auto element = arguments_list.get(String::number(i));
  67. if (interpreter.exception())
  68. return;
  69. arguments->append(element.value_or(js_undefined()));
  70. }
  71. }
  72. ReflectObject::ReflectObject()
  73. : Object(interpreter().global_object().object_prototype())
  74. {
  75. u8 attr = Attribute::Writable | Attribute::Configurable;
  76. put_native_function("apply", apply, 3, attr);
  77. put_native_function("construct", construct, 2, attr);
  78. put_native_function("defineProperty", define_property, 3, attr);
  79. put_native_function("deleteProperty", delete_property, 2, attr);
  80. put_native_function("get", get, 2, attr);
  81. put_native_function("getOwnPropertyDescriptor", get_own_property_descriptor, 2, attr);
  82. put_native_function("getPrototypeOf", get_prototype_of, 1, attr);
  83. put_native_function("has", has, 2, attr);
  84. put_native_function("isExtensible", is_extensible, 1, attr);
  85. put_native_function("ownKeys", own_keys, 1, attr);
  86. put_native_function("preventExtensions", prevent_extensions, 1, attr);
  87. put_native_function("set", set, 3, attr);
  88. put_native_function("setPrototypeOf", set_prototype_of, 2, attr);
  89. }
  90. ReflectObject::~ReflectObject()
  91. {
  92. }
  93. Value ReflectObject::apply(Interpreter& interpreter)
  94. {
  95. auto* target = get_target_function_from(interpreter, "apply");
  96. if (!target)
  97. return {};
  98. auto this_arg = interpreter.argument(1);
  99. MarkedValueList arguments(interpreter.heap());
  100. prepare_arguments_list(interpreter, interpreter.argument(2), &arguments);
  101. if (interpreter.exception())
  102. return {};
  103. return interpreter.call(*target, this_arg, move(arguments));
  104. }
  105. Value ReflectObject::construct(Interpreter& interpreter)
  106. {
  107. auto* target = get_target_function_from(interpreter, "construct");
  108. if (!target)
  109. return {};
  110. MarkedValueList arguments(interpreter.heap());
  111. prepare_arguments_list(interpreter, interpreter.argument(1), &arguments);
  112. if (interpreter.exception())
  113. return {};
  114. auto* new_target = target;
  115. if (interpreter.argument_count() > 2) {
  116. auto new_target_value = interpreter.argument(2);
  117. if (!new_target_value.is_function()
  118. || (new_target_value.as_object().is_native_function() && !static_cast<NativeFunction&>(new_target_value.as_object()).has_constructor())) {
  119. interpreter.throw_exception<TypeError>("Optional third argument of Reflect.construct() must be a constructor");
  120. return {};
  121. }
  122. new_target = &new_target_value.as_function();
  123. }
  124. return interpreter.construct(*target, *new_target, move(arguments));
  125. }
  126. Value ReflectObject::define_property(Interpreter& interpreter)
  127. {
  128. auto* target = get_target_object_from(interpreter, "defineProperty");
  129. if (!target)
  130. return {};
  131. if (!interpreter.argument(2).is_object())
  132. return interpreter.throw_exception<TypeError>("Descriptor argument is not an object");
  133. auto property_key = interpreter.argument(1).to_string(interpreter);
  134. if (interpreter.exception())
  135. return {};
  136. auto& descriptor = interpreter.argument(2).as_object();
  137. auto success = target->define_property(property_key, descriptor, false);
  138. return Value(success);
  139. }
  140. Value ReflectObject::delete_property(Interpreter& interpreter)
  141. {
  142. auto* target = get_target_object_from(interpreter, "deleteProperty");
  143. if (!target)
  144. return {};
  145. auto property_key = interpreter.argument(1);
  146. auto property_name = PropertyName(property_key.to_string(interpreter));
  147. if (interpreter.exception())
  148. return {};
  149. auto property_key_number = property_key.to_number(interpreter);
  150. if (interpreter.exception())
  151. return {};
  152. if (property_key_number.is_finite_number()) {
  153. auto property_key_as_double = property_key_number.as_double();
  154. if (property_key_as_double >= 0 && (i32)property_key_as_double == property_key_as_double)
  155. property_name = PropertyName(property_key_as_double);
  156. }
  157. return target->delete_property(property_name);
  158. }
  159. Value ReflectObject::get(Interpreter& interpreter)
  160. {
  161. // FIXME: There's a third argument, receiver, for getters - use it once we have those.
  162. auto* target = get_target_object_from(interpreter, "get");
  163. if (!target)
  164. return {};
  165. auto property_key = interpreter.argument(1).to_string(interpreter);
  166. if (interpreter.exception())
  167. return {};
  168. return target->get(property_key).value_or(js_undefined());
  169. }
  170. Value ReflectObject::get_own_property_descriptor(Interpreter& interpreter)
  171. {
  172. auto* target = get_target_object_from(interpreter, "getOwnPropertyDescriptor");
  173. if (!target)
  174. return {};
  175. auto property_key = interpreter.argument(1).to_string(interpreter);
  176. if (interpreter.exception())
  177. return {};
  178. return target->get_own_property_descriptor(property_key);
  179. }
  180. Value ReflectObject::get_prototype_of(Interpreter& interpreter)
  181. {
  182. auto* target = get_target_object_from(interpreter, "getPrototypeOf");
  183. if (!target)
  184. return {};
  185. return target->prototype();
  186. }
  187. Value ReflectObject::has(Interpreter& interpreter)
  188. {
  189. auto* target = get_target_object_from(interpreter, "has");
  190. if (!target)
  191. return {};
  192. auto property_key = interpreter.argument(1).to_string(interpreter);
  193. if (interpreter.exception())
  194. return {};
  195. return Value(target->has_property(property_key));
  196. }
  197. Value ReflectObject::is_extensible(Interpreter&)
  198. {
  199. // FIXME: For this to be useful we need one of these:
  200. // Object.seal(), Object.freeze(), Reflect.preventExtensions()
  201. // For now we just return true, as that's always the case.
  202. return Value(true);
  203. }
  204. Value ReflectObject::own_keys(Interpreter& interpreter)
  205. {
  206. auto* target = get_target_object_from(interpreter, "ownKeys");
  207. if (!target)
  208. return {};
  209. return target->get_own_properties(*target, GetOwnPropertyMode::Key);
  210. }
  211. Value ReflectObject::prevent_extensions(Interpreter&)
  212. {
  213. // FIXME: Implement me :^)
  214. ASSERT_NOT_REACHED();
  215. }
  216. Value ReflectObject::set(Interpreter& interpreter)
  217. {
  218. // FIXME: There's a fourth argument, receiver, for setters - use it once we have those.
  219. auto* target = get_target_object_from(interpreter, "set");
  220. if (!target)
  221. return {};
  222. auto property_key = interpreter.argument(1).to_string(interpreter);
  223. if (interpreter.exception())
  224. return {};
  225. auto value = interpreter.argument(2);
  226. return Value(target->put(property_key, value));
  227. }
  228. Value ReflectObject::set_prototype_of(Interpreter& interpreter)
  229. {
  230. auto* target = get_target_object_from(interpreter, "setPrototypeOf");
  231. if (!target)
  232. return {};
  233. auto prototype_value = interpreter.argument(1);
  234. if (!prototype_value.is_object() && !prototype_value.is_null()) {
  235. interpreter.throw_exception<TypeError>("Prototype must be an object or null");
  236. return {};
  237. }
  238. Object* prototype = nullptr;
  239. if (!prototype_value.is_null())
  240. prototype = const_cast<Object*>(&prototype_value.as_object());
  241. target->set_prototype(prototype);
  242. // FIXME: Needs to return false for prototype chain cycles and non-extensible objects (don't have those yet).
  243. return Value(true);
  244. }
  245. }