2020-03-07 19:42:11 +01:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2020, Andreas Kling <kling@serenityos.org>
|
2021-04-03 14:56:54 +02:00
|
|
|
* Copyright (c) 2020-2021, Linus Groh <mail@linusgroh.de>
|
2020-03-07 19:42:11 +01:00
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions are met:
|
|
|
|
*
|
|
|
|
* 1. Redistributions of source code must retain the above copyright notice, this
|
|
|
|
* list of conditions and the following disclaimer.
|
|
|
|
*
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright notice,
|
|
|
|
* this list of conditions and the following disclaimer in the documentation
|
|
|
|
* and/or other materials provided with the distribution.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
|
|
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
|
|
|
|
* DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
|
|
|
|
* SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
|
|
* CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
|
|
|
|
* OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
|
|
|
|
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
2021-01-17 09:21:15 +01:00
|
|
|
#include <AK/Demangle.h>
|
2020-03-12 19:22:13 +08:00
|
|
|
#include <AK/HashMap.h>
|
2020-09-18 18:00:57 +04:30
|
|
|
#include <AK/HashTable.h>
|
2020-04-05 00:24:32 +02:00
|
|
|
#include <AK/ScopeGuard.h>
|
2020-03-12 19:22:13 +08:00
|
|
|
#include <AK/StringBuilder.h>
|
2020-11-28 16:14:26 +01:00
|
|
|
#include <AK/TemporaryChange.h>
|
2020-06-06 01:14:10 +01:00
|
|
|
#include <LibCrypto/BigInt/SignedBigInteger.h>
|
2020-03-07 19:42:11 +01:00
|
|
|
#include <LibJS/AST.h>
|
|
|
|
#include <LibJS/Interpreter.h>
|
2020-05-21 17:28:28 -07:00
|
|
|
#include <LibJS/Runtime/Accessor.h>
|
2020-03-20 20:29:57 +01:00
|
|
|
#include <LibJS/Runtime/Array.h>
|
2020-06-06 01:14:10 +01:00
|
|
|
#include <LibJS/Runtime/BigInt.h>
|
2020-03-24 14:37:39 +01:00
|
|
|
#include <LibJS/Runtime/Error.h>
|
2020-04-08 11:05:38 +02:00
|
|
|
#include <LibJS/Runtime/GlobalObject.h>
|
2020-07-13 08:27:20 -07:00
|
|
|
#include <LibJS/Runtime/IteratorOperations.h>
|
2020-04-19 17:24:56 +02:00
|
|
|
#include <LibJS/Runtime/MarkedValueList.h>
|
2020-04-01 18:31:24 +01:00
|
|
|
#include <LibJS/Runtime/NativeFunction.h>
|
2020-03-16 14:20:30 +01:00
|
|
|
#include <LibJS/Runtime/PrimitiveString.h>
|
2020-04-27 12:10:16 +02:00
|
|
|
#include <LibJS/Runtime/Reference.h>
|
2020-06-03 16:05:49 -07:00
|
|
|
#include <LibJS/Runtime/RegExpObject.h>
|
2020-03-16 14:20:30 +01:00
|
|
|
#include <LibJS/Runtime/ScriptFunction.h>
|
2020-04-27 21:52:47 -07:00
|
|
|
#include <LibJS/Runtime/Shape.h>
|
2020-11-28 16:14:26 +01:00
|
|
|
#include <LibJS/Runtime/WithScope.h>
|
2021-02-10 12:21:14 +01:00
|
|
|
#include <typeinfo>
|
2020-03-07 19:42:11 +01:00
|
|
|
|
|
|
|
namespace JS {
|
|
|
|
|
2021-03-16 10:51:55 +01:00
|
|
|
class InterpreterNodeScope {
|
|
|
|
AK_MAKE_NONCOPYABLE(InterpreterNodeScope);
|
|
|
|
AK_MAKE_NONMOVABLE(InterpreterNodeScope);
|
|
|
|
|
|
|
|
public:
|
|
|
|
InterpreterNodeScope(Interpreter& interpreter, const ASTNode& node)
|
|
|
|
: m_interpreter(interpreter)
|
2021-03-21 17:38:42 +01:00
|
|
|
, m_chain_node { nullptr, node }
|
2021-03-16 10:51:55 +01:00
|
|
|
{
|
2021-03-21 17:38:42 +01:00
|
|
|
m_interpreter.vm().call_frame().current_node = &node;
|
|
|
|
m_interpreter.push_ast_node(m_chain_node);
|
2021-03-16 10:51:55 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
~InterpreterNodeScope()
|
|
|
|
{
|
2021-03-21 17:38:42 +01:00
|
|
|
m_interpreter.pop_ast_node();
|
2021-03-16 10:51:55 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
Interpreter& m_interpreter;
|
2021-03-21 17:38:42 +01:00
|
|
|
ExecutingASTNodeChain m_chain_node;
|
2021-03-16 10:51:55 +01:00
|
|
|
};
|
|
|
|
|
2021-01-17 09:21:15 +01:00
|
|
|
String ASTNode::class_name() const
|
|
|
|
{
|
|
|
|
// NOTE: We strip the "JS::" prefix.
|
|
|
|
return demangle(typeid(*this).name()).substring(4);
|
|
|
|
}
|
|
|
|
|
2020-12-08 15:08:49 +01:00
|
|
|
static void update_function_name(Value value, const FlyString& name)
|
2020-09-18 18:00:57 +04:30
|
|
|
{
|
2021-03-21 17:14:20 +01:00
|
|
|
if (!value.is_function())
|
|
|
|
return;
|
|
|
|
auto& function = value.as_function();
|
|
|
|
if (is<ScriptFunction>(function) && function.name().is_empty())
|
|
|
|
static_cast<ScriptFunction&>(function).set_name(name);
|
2020-09-18 18:00:57 +04:30
|
|
|
}
|
|
|
|
|
2020-09-27 18:36:49 +02:00
|
|
|
static String get_function_name(GlobalObject& global_object, Value value)
|
2020-07-07 21:38:46 -07:00
|
|
|
{
|
|
|
|
if (value.is_symbol())
|
2020-10-04 15:18:52 +01:00
|
|
|
return String::formatted("[{}]", value.as_symbol().description());
|
2020-07-07 21:38:46 -07:00
|
|
|
if (value.is_string())
|
|
|
|
return value.as_string().string();
|
2020-09-27 18:36:49 +02:00
|
|
|
return value.to_string(global_object);
|
2020-07-07 21:38:46 -07:00
|
|
|
}
|
|
|
|
|
2020-06-08 21:25:16 +02:00
|
|
|
Value ScopeNode::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-07 19:42:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-09-27 16:56:58 +02:00
|
|
|
return interpreter.execute_statement(global_object, *this);
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-10-03 17:02:43 -07:00
|
|
|
Value Program::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-08 18:21:55 +01:00
|
|
|
return interpreter.execute_statement(global_object, *this, ScopeType::Block);
|
2020-10-03 17:02:43 -07:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value FunctionDeclaration::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-07 19:42:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2021-03-16 09:12:34 +01:00
|
|
|
return {};
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value FunctionExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-19 11:12:08 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-11-28 16:02:27 +01:00
|
|
|
return ScriptFunction::create(global_object, name(), body(), parameters(), function_length(), interpreter.current_scope(), is_strict_mode() || interpreter.vm().in_strict_mode(), m_is_arrow_function);
|
2020-03-19 11:12:08 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ExpressionStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-11 19:27:43 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-06-08 20:57:54 +02:00
|
|
|
return m_expression->execute(interpreter, global_object);
|
2020-03-11 19:27:43 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
CallExpression::ThisAndCallee CallExpression::compute_this_and_callee(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-01 18:51:27 +02:00
|
|
|
{
|
2020-09-27 18:36:49 +02:00
|
|
|
auto& vm = interpreter.vm();
|
|
|
|
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<NewExpression>(*this)) {
|
2020-04-01 18:51:27 +02:00
|
|
|
// Computing |this| is irrelevant for "new" expression.
|
2020-06-08 20:57:54 +02:00
|
|
|
return { js_undefined(), m_callee->execute(interpreter, global_object) };
|
2020-04-01 18:51:27 +02:00
|
|
|
}
|
|
|
|
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<SuperExpression>(*m_callee)) {
|
2020-10-02 09:59:28 -04:00
|
|
|
// If we are calling super, |this| has not been initialized yet, and would not be meaningful to provide.
|
2020-10-13 19:00:37 +02:00
|
|
|
auto new_target = vm.get_new_target();
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(new_target.is_function());
|
2020-06-08 13:31:21 -05:00
|
|
|
return { js_undefined(), new_target };
|
|
|
|
}
|
|
|
|
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<MemberExpression>(*m_callee)) {
|
2020-04-01 18:51:27 +02:00
|
|
|
auto& member_expression = static_cast<const MemberExpression&>(*m_callee);
|
2021-01-01 19:34:07 +01:00
|
|
|
bool is_super_property_lookup = is<SuperExpression>(member_expression.object());
|
2020-11-28 16:02:27 +01:00
|
|
|
auto lookup_target = is_super_property_lookup ? interpreter.current_environment()->get_super_base() : member_expression.object().execute(interpreter, global_object);
|
2020-10-13 19:00:37 +02:00
|
|
|
if (vm.exception())
|
2020-04-01 18:51:27 +02:00
|
|
|
return {};
|
2020-10-02 16:00:15 +02:00
|
|
|
if (is_super_property_lookup && lookup_target.is_nullish()) {
|
2020-10-13 19:00:37 +02:00
|
|
|
vm.throw_exception<TypeError>(global_object, ErrorType::ObjectPrototypeNullOrUndefinedOnSuperPropertyAccess, lookup_target.to_string_without_side_effects());
|
2020-06-08 13:31:21 -05:00
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2020-09-27 18:36:49 +02:00
|
|
|
auto* this_value = is_super_property_lookup ? &vm.this_value(global_object).as_object() : lookup_target.to_object(global_object);
|
2020-10-13 19:00:37 +02:00
|
|
|
if (vm.exception())
|
2020-04-01 18:51:27 +02:00
|
|
|
return {};
|
2020-09-12 10:22:36 +01:00
|
|
|
auto property_name = member_expression.computed_property_name(interpreter, global_object);
|
|
|
|
if (!property_name.is_valid())
|
|
|
|
return {};
|
2020-09-27 18:36:49 +02:00
|
|
|
auto callee = lookup_target.to_object(global_object)->get(property_name).value_or(js_undefined());
|
2020-04-01 18:51:27 +02:00
|
|
|
return { this_value, callee };
|
|
|
|
}
|
2020-06-20 12:47:19 +02:00
|
|
|
return { &global_object, m_callee->execute(interpreter, global_object) };
|
2020-04-01 18:51:27 +02:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value CallExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-07 19:42:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-10-13 19:00:37 +02:00
|
|
|
auto& vm = interpreter.vm();
|
2020-06-08 20:57:54 +02:00
|
|
|
auto [this_value, callee] = compute_this_and_callee(interpreter, global_object);
|
2020-10-13 19:00:37 +02:00
|
|
|
if (vm.exception())
|
2020-03-24 14:37:39 +01:00
|
|
|
return {};
|
|
|
|
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(!callee.is_empty());
|
2020-04-06 20:24:45 +02:00
|
|
|
|
2020-05-06 11:52:53 +01:00
|
|
|
if (!callee.is_function()
|
2021-01-01 19:34:07 +01:00
|
|
|
|| (is<NewExpression>(*this) && (is<NativeFunction>(callee.as_object()) && !static_cast<NativeFunction&>(callee.as_object()).has_constructor()))) {
|
2020-04-19 01:12:51 +01:00
|
|
|
String error_message;
|
2021-01-01 19:34:07 +01:00
|
|
|
auto call_type = is<NewExpression>(*this) ? "constructor" : "function";
|
|
|
|
if (is<Identifier>(*m_callee) || is<MemberExpression>(*m_callee)) {
|
2020-04-19 01:12:51 +01:00
|
|
|
String expression_string;
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<Identifier>(*m_callee)) {
|
2020-04-19 01:12:51 +01:00
|
|
|
expression_string = static_cast<const Identifier&>(*m_callee).string();
|
2020-06-09 22:48:01 -07:00
|
|
|
} else {
|
2020-04-19 01:12:51 +01:00
|
|
|
expression_string = static_cast<const MemberExpression&>(*m_callee).to_string_approximation();
|
2020-06-09 22:48:01 -07:00
|
|
|
}
|
2020-10-13 19:00:37 +02:00
|
|
|
vm.throw_exception<TypeError>(global_object, ErrorType::IsNotAEvaluatedFrom, callee.to_string_without_side_effects(), call_type, expression_string);
|
2020-04-19 01:12:51 +01:00
|
|
|
} else {
|
2020-10-13 19:00:37 +02:00
|
|
|
vm.throw_exception<TypeError>(global_object, ErrorType::IsNotA, callee.to_string_without_side_effects(), call_type);
|
2020-04-19 01:12:51 +01:00
|
|
|
}
|
2020-08-25 12:52:32 +02:00
|
|
|
return {};
|
2020-04-01 18:31:24 +01:00
|
|
|
}
|
|
|
|
|
2020-05-06 11:52:53 +01:00
|
|
|
auto& function = callee.as_function();
|
2020-03-12 19:53:31 +01:00
|
|
|
|
2020-10-13 19:00:37 +02:00
|
|
|
MarkedValueList arguments(vm.heap());
|
|
|
|
arguments.ensure_capacity(m_arguments.size());
|
2020-04-19 15:03:02 -05:00
|
|
|
|
2021-03-03 22:07:10 +01:00
|
|
|
for (auto& argument : m_arguments) {
|
|
|
|
auto value = argument.value->execute(interpreter, global_object);
|
2020-10-13 19:00:37 +02:00
|
|
|
if (vm.exception())
|
2020-03-24 14:37:39 +01:00
|
|
|
return {};
|
2021-03-03 22:07:10 +01:00
|
|
|
if (argument.is_spread) {
|
2020-09-08 14:15:13 +02:00
|
|
|
get_iterator_values(global_object, value, [&](Value iterator_value) {
|
2020-10-13 19:00:37 +02:00
|
|
|
if (vm.exception())
|
2020-07-13 08:27:20 -07:00
|
|
|
return IterationDecision::Break;
|
|
|
|
arguments.append(iterator_value);
|
|
|
|
return IterationDecision::Continue;
|
|
|
|
});
|
2020-10-13 19:00:37 +02:00
|
|
|
if (vm.exception())
|
2020-07-13 08:27:20 -07:00
|
|
|
return {};
|
2020-05-05 22:36:24 -07:00
|
|
|
} else {
|
|
|
|
arguments.append(value);
|
|
|
|
}
|
2020-03-24 14:37:39 +01:00
|
|
|
}
|
2020-03-12 19:22:13 +08:00
|
|
|
|
2021-03-21 12:18:56 +01:00
|
|
|
vm.call_frame().current_node = interpreter.current_node();
|
2020-03-28 16:33:52 +01:00
|
|
|
Object* new_object = nullptr;
|
2020-04-01 18:31:24 +01:00
|
|
|
Value result;
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<NewExpression>(*this)) {
|
2020-10-13 19:00:37 +02:00
|
|
|
result = vm.construct(function, function, move(arguments), global_object);
|
2020-06-08 13:31:21 -05:00
|
|
|
if (result.is_object())
|
|
|
|
new_object = &result.as_object();
|
2021-01-01 19:34:07 +01:00
|
|
|
} else if (is<SuperExpression>(*m_callee)) {
|
2020-11-28 16:02:27 +01:00
|
|
|
auto* super_constructor = interpreter.current_environment()->current_function()->prototype();
|
2020-06-08 13:31:21 -05:00
|
|
|
// FIXME: Functions should track their constructor kind.
|
2020-08-25 12:52:32 +02:00
|
|
|
if (!super_constructor || !super_constructor->is_function()) {
|
2020-10-13 19:00:37 +02:00
|
|
|
vm.throw_exception<TypeError>(global_object, ErrorType::NotAConstructor, "Super constructor");
|
2020-08-25 12:52:32 +02:00
|
|
|
return {};
|
|
|
|
}
|
2020-10-13 19:00:37 +02:00
|
|
|
result = vm.construct(static_cast<Function&>(*super_constructor), function, move(arguments), global_object);
|
|
|
|
if (vm.exception())
|
2020-06-07 10:53:14 -07:00
|
|
|
return {};
|
2020-06-08 13:31:21 -05:00
|
|
|
|
2020-11-28 16:02:27 +01:00
|
|
|
interpreter.current_environment()->bind_this_value(global_object, result);
|
2020-03-28 16:33:52 +01:00
|
|
|
} else {
|
2020-10-13 19:00:37 +02:00
|
|
|
result = vm.call(function, this_value, move(arguments));
|
2020-03-24 14:37:39 +01:00
|
|
|
}
|
2020-03-15 15:01:10 +01:00
|
|
|
|
2020-10-13 19:00:37 +02:00
|
|
|
if (vm.exception())
|
2020-04-06 20:24:45 +02:00
|
|
|
return {};
|
|
|
|
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<NewExpression>(*this)) {
|
2020-03-28 16:33:52 +01:00
|
|
|
if (result.is_object())
|
|
|
|
return result;
|
|
|
|
return new_object;
|
|
|
|
}
|
2020-03-15 15:01:10 +01:00
|
|
|
return result;
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ReturnStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-07 19:42:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-06-08 20:57:54 +02:00
|
|
|
auto value = argument() ? argument()->execute(interpreter, global_object) : js_undefined();
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().unwind(ScopeType::Function);
|
2020-03-07 19:42:11 +01:00
|
|
|
return value;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value IfStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-08 07:58:58 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto predicate_result = m_predicate->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-03-08 07:58:58 +02:00
|
|
|
|
2020-03-10 08:46:20 +01:00
|
|
|
if (predicate_result.to_boolean())
|
2020-09-27 16:56:58 +02:00
|
|
|
return interpreter.execute_statement(global_object, *m_consequent);
|
2020-03-21 18:40:17 +01:00
|
|
|
|
|
|
|
if (m_alternate)
|
2020-09-27 16:56:58 +02:00
|
|
|
return interpreter.execute_statement(global_object, *m_alternate);
|
2020-03-21 18:40:17 +01:00
|
|
|
|
2020-04-06 20:24:45 +02:00
|
|
|
return js_undefined();
|
2020-03-08 07:58:58 +02:00
|
|
|
}
|
|
|
|
|
2020-11-28 16:14:26 +01:00
|
|
|
Value WithStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-11-28 15:05:57 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-11-28 16:14:26 +01:00
|
|
|
auto object_value = m_object->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
|
|
|
auto* object = object_value.to_object(global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(object);
|
2020-11-28 16:14:26 +01:00
|
|
|
|
|
|
|
auto* with_scope = interpreter.heap().allocate<WithScope>(global_object, *object, interpreter.vm().call_frame().scope);
|
|
|
|
TemporaryChange<ScopeObject*> scope_change(interpreter.vm().call_frame().scope, with_scope);
|
|
|
|
interpreter.execute_statement(global_object, m_body);
|
|
|
|
return {};
|
2020-11-28 15:05:57 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value WhileStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-09 03:22:21 +08:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2021-03-16 09:12:34 +01:00
|
|
|
auto last_value = js_undefined();
|
2020-10-23 00:40:14 +01:00
|
|
|
for (;;) {
|
|
|
|
auto test_result = m_test->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-10-23 00:40:14 +01:00
|
|
|
if (!test_result.to_boolean())
|
|
|
|
break;
|
2021-03-16 09:12:34 +01:00
|
|
|
last_value = interpreter.execute_statement(global_object, *m_body).value_or(last_value);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-10-08 13:12:31 -07:00
|
|
|
if (interpreter.vm().should_unwind()) {
|
|
|
|
if (interpreter.vm().should_unwind_until(ScopeType::Continuable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
} else if (interpreter.vm().should_unwind_until(ScopeType::Breakable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
break;
|
|
|
|
} else {
|
2020-10-08 13:17:40 -07:00
|
|
|
return last_value;
|
2020-10-08 13:12:31 -07:00
|
|
|
}
|
|
|
|
}
|
2020-03-09 03:22:21 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
return last_value;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value DoWhileStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-04 21:29:23 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2021-03-16 09:12:34 +01:00
|
|
|
auto last_value = js_undefined();
|
2020-10-23 00:40:14 +01:00
|
|
|
for (;;) {
|
2020-04-04 21:29:23 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2021-03-16 09:12:34 +01:00
|
|
|
last_value = interpreter.execute_statement(global_object, *m_body).value_or(last_value);
|
2020-04-04 21:29:23 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-10-08 13:12:31 -07:00
|
|
|
if (interpreter.vm().should_unwind()) {
|
|
|
|
if (interpreter.vm().should_unwind_until(ScopeType::Continuable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
} else if (interpreter.vm().should_unwind_until(ScopeType::Breakable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
break;
|
|
|
|
} else {
|
2020-10-08 13:17:40 -07:00
|
|
|
return last_value;
|
2020-10-08 13:12:31 -07:00
|
|
|
}
|
|
|
|
}
|
2020-10-23 00:40:14 +01:00
|
|
|
auto test_result = m_test->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
if (!test_result.to_boolean())
|
|
|
|
break;
|
|
|
|
}
|
2020-04-04 21:29:23 +02:00
|
|
|
|
|
|
|
return last_value;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ForStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-12 23:12:12 +11:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-03-18 11:23:53 +01:00
|
|
|
RefPtr<BlockStatement> wrapper;
|
2020-03-14 13:56:49 +02:00
|
|
|
|
2021-01-01 19:34:07 +01:00
|
|
|
if (m_init && is<VariableDeclaration>(*m_init) && static_cast<const VariableDeclaration&>(*m_init).declaration_kind() != DeclarationKind::Var) {
|
2020-12-28 20:45:22 +03:30
|
|
|
wrapper = create_ast_node<BlockStatement>(source_range());
|
2020-05-05 01:58:53 +03:00
|
|
|
NonnullRefPtrVector<VariableDeclaration> decls;
|
|
|
|
decls.append(*static_cast<const VariableDeclaration*>(m_init.ptr()));
|
|
|
|
wrapper->add_variables(decls);
|
2020-12-08 18:21:55 +01:00
|
|
|
interpreter.enter_scope(*wrapper, ScopeType::Block, global_object);
|
2020-03-14 13:56:49 +02:00
|
|
|
}
|
|
|
|
|
2020-04-05 00:24:32 +02:00
|
|
|
auto wrapper_cleanup = ScopeGuard([&] {
|
|
|
|
if (wrapper)
|
2020-09-27 16:56:58 +02:00
|
|
|
interpreter.exit_scope(*wrapper);
|
2020-04-05 00:24:32 +02:00
|
|
|
});
|
|
|
|
|
2021-03-16 09:12:34 +01:00
|
|
|
auto last_value = js_undefined();
|
2020-03-27 15:35:35 +01:00
|
|
|
if (m_init) {
|
2020-06-08 20:57:54 +02:00
|
|
|
m_init->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
2020-03-12 23:12:12 +11:00
|
|
|
|
|
|
|
if (m_test) {
|
2020-04-28 20:16:40 +01:00
|
|
|
while (true) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto test_result = m_test->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-28 20:16:40 +01:00
|
|
|
if (!test_result.to_boolean())
|
|
|
|
break;
|
2021-03-16 09:12:34 +01:00
|
|
|
last_value = interpreter.execute_statement(global_object, *m_body).value_or(last_value);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 15:18:55 +02:00
|
|
|
if (interpreter.vm().should_unwind()) {
|
|
|
|
if (interpreter.vm().should_unwind_until(ScopeType::Continuable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
} else if (interpreter.vm().should_unwind_until(ScopeType::Breakable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
2020-04-05 00:22:42 +02:00
|
|
|
break;
|
|
|
|
} else {
|
2020-10-08 13:17:40 -07:00
|
|
|
return last_value;
|
2020-04-05 00:22:42 +02:00
|
|
|
}
|
|
|
|
}
|
2020-03-27 15:35:35 +01:00
|
|
|
if (m_update) {
|
2020-06-08 20:57:54 +02:00
|
|
|
m_update->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
2020-03-12 23:12:12 +11:00
|
|
|
}
|
|
|
|
} else {
|
|
|
|
while (true) {
|
2021-03-16 09:12:34 +01:00
|
|
|
last_value = interpreter.execute_statement(global_object, *m_body).value_or(last_value);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 15:18:55 +02:00
|
|
|
if (interpreter.vm().should_unwind()) {
|
|
|
|
if (interpreter.vm().should_unwind_until(ScopeType::Continuable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
} else if (interpreter.vm().should_unwind_until(ScopeType::Breakable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
2020-04-05 00:22:42 +02:00
|
|
|
break;
|
|
|
|
} else {
|
2020-10-08 13:17:40 -07:00
|
|
|
return last_value;
|
2020-04-05 00:22:42 +02:00
|
|
|
}
|
|
|
|
}
|
2020-03-27 15:35:35 +01:00
|
|
|
if (m_update) {
|
2020-06-08 20:57:54 +02:00
|
|
|
m_update->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
2020-03-12 23:12:12 +11:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return last_value;
|
|
|
|
}
|
|
|
|
|
2021-01-01 19:34:07 +01:00
|
|
|
static FlyString variable_from_for_declaration(Interpreter& interpreter, GlobalObject& global_object, const ASTNode& node, RefPtr<BlockStatement> wrapper)
|
2020-04-21 19:21:26 +01:00
|
|
|
{
|
|
|
|
FlyString variable_name;
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<VariableDeclaration>(node)) {
|
|
|
|
auto& variable_declaration = static_cast<const VariableDeclaration&>(node);
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(!variable_declaration.declarations().is_empty());
|
2021-01-01 19:34:07 +01:00
|
|
|
if (variable_declaration.declaration_kind() != DeclarationKind::Var) {
|
|
|
|
wrapper = create_ast_node<BlockStatement>(node.source_range());
|
2020-12-08 18:21:55 +01:00
|
|
|
interpreter.enter_scope(*wrapper, ScopeType::Block, global_object);
|
2020-04-21 19:21:26 +01:00
|
|
|
}
|
2021-01-01 19:34:07 +01:00
|
|
|
variable_declaration.execute(interpreter, global_object);
|
|
|
|
variable_name = variable_declaration.declarations().first().id().string();
|
|
|
|
} else if (is<Identifier>(node)) {
|
|
|
|
variable_name = static_cast<const Identifier&>(node).string();
|
2020-04-21 19:21:26 +01:00
|
|
|
} else {
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-04-21 19:21:26 +01:00
|
|
|
}
|
|
|
|
return variable_name;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ForInStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-21 19:21:26 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2021-02-26 00:37:27 +02:00
|
|
|
bool has_declaration = is<VariableDeclaration>(*m_lhs);
|
|
|
|
if (!has_declaration && !is<Identifier>(*m_lhs)) {
|
2020-04-21 19:21:26 +01:00
|
|
|
// FIXME: Implement "for (foo.bar in baz)", "for (foo[0] in bar)"
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-04-21 19:21:26 +01:00
|
|
|
}
|
|
|
|
RefPtr<BlockStatement> wrapper;
|
2020-06-08 20:57:54 +02:00
|
|
|
auto variable_name = variable_from_for_declaration(interpreter, global_object, m_lhs, wrapper);
|
2020-04-21 19:21:26 +01:00
|
|
|
auto wrapper_cleanup = ScopeGuard([&] {
|
|
|
|
if (wrapper)
|
2020-09-27 16:56:58 +02:00
|
|
|
interpreter.exit_scope(*wrapper);
|
2020-04-21 19:21:26 +01:00
|
|
|
});
|
|
|
|
auto last_value = js_undefined();
|
2020-06-08 20:57:54 +02:00
|
|
|
auto rhs_result = m_rhs->execute(interpreter, global_object);
|
2020-04-21 19:21:26 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 18:36:49 +02:00
|
|
|
auto* object = rhs_result.to_object(global_object);
|
2020-04-21 19:21:26 +01:00
|
|
|
while (object) {
|
2020-07-09 14:42:30 -07:00
|
|
|
auto property_names = object->get_own_properties(*object, Object::PropertyKind::Key, true);
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
for (auto& property_name : property_names.as_object().indexed_properties()) {
|
2021-02-26 00:37:27 +02:00
|
|
|
interpreter.vm().set_variable(variable_name, property_name.value_and_attributes(object).value, global_object, has_declaration);
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2021-03-16 09:12:34 +01:00
|
|
|
last_value = interpreter.execute_statement(global_object, *m_body).value_or(last_value);
|
2020-04-21 19:21:26 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 15:18:55 +02:00
|
|
|
if (interpreter.vm().should_unwind()) {
|
|
|
|
if (interpreter.vm().should_unwind_until(ScopeType::Continuable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
} else if (interpreter.vm().should_unwind_until(ScopeType::Breakable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
2020-04-21 19:21:26 +01:00
|
|
|
break;
|
|
|
|
} else {
|
2020-10-08 13:17:40 -07:00
|
|
|
return last_value;
|
2020-04-21 19:21:26 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
object = object->prototype();
|
2020-06-07 10:53:14 -07:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-21 19:21:26 +01:00
|
|
|
}
|
|
|
|
return last_value;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ForOfStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-21 19:21:26 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2021-02-26 00:37:27 +02:00
|
|
|
bool has_declaration = is<VariableDeclaration>(*m_lhs);
|
|
|
|
if (!has_declaration && !is<Identifier>(*m_lhs)) {
|
2020-04-21 19:21:26 +01:00
|
|
|
// FIXME: Implement "for (foo.bar of baz)", "for (foo[0] of bar)"
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-04-21 19:21:26 +01:00
|
|
|
}
|
|
|
|
RefPtr<BlockStatement> wrapper;
|
2020-06-08 20:57:54 +02:00
|
|
|
auto variable_name = variable_from_for_declaration(interpreter, global_object, m_lhs, wrapper);
|
2020-04-21 19:21:26 +01:00
|
|
|
auto wrapper_cleanup = ScopeGuard([&] {
|
|
|
|
if (wrapper)
|
2020-09-27 16:56:58 +02:00
|
|
|
interpreter.exit_scope(*wrapper);
|
2020-04-21 19:21:26 +01:00
|
|
|
});
|
|
|
|
auto last_value = js_undefined();
|
2020-06-08 20:57:54 +02:00
|
|
|
auto rhs_result = m_rhs->execute(interpreter, global_object);
|
2020-04-21 19:21:26 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
2020-09-08 14:15:13 +02:00
|
|
|
get_iterator_values(global_object, rhs_result, [&](Value value) {
|
2021-02-26 00:37:27 +02:00
|
|
|
interpreter.vm().set_variable(variable_name, value, global_object, has_declaration);
|
2021-03-16 09:12:34 +01:00
|
|
|
last_value = interpreter.execute_statement(global_object, *m_body).value_or(last_value);
|
2020-04-21 19:21:26 +01:00
|
|
|
if (interpreter.exception())
|
2020-07-13 08:27:20 -07:00
|
|
|
return IterationDecision::Break;
|
2020-09-27 15:18:55 +02:00
|
|
|
if (interpreter.vm().should_unwind()) {
|
|
|
|
if (interpreter.vm().should_unwind_until(ScopeType::Continuable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
|
|
|
} else if (interpreter.vm().should_unwind_until(ScopeType::Breakable, m_label)) {
|
|
|
|
interpreter.vm().stop_unwind();
|
2020-07-13 08:27:20 -07:00
|
|
|
return IterationDecision::Break;
|
2020-04-21 19:21:26 +01:00
|
|
|
} else {
|
2020-07-13 08:27:20 -07:00
|
|
|
return IterationDecision::Break;
|
2020-04-21 19:21:26 +01:00
|
|
|
}
|
|
|
|
}
|
2020-07-13 08:27:20 -07:00
|
|
|
return IterationDecision::Continue;
|
|
|
|
});
|
|
|
|
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
2020-04-21 19:21:26 +01:00
|
|
|
return last_value;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value BinaryExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-07 19:42:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto lhs_result = m_lhs->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-06-08 20:57:54 +02:00
|
|
|
auto rhs_result = m_rhs->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-03-07 19:42:11 +01:00
|
|
|
|
|
|
|
switch (m_op) {
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Addition:
|
2020-09-27 19:52:47 +02:00
|
|
|
return add(global_object, lhs_result, rhs_result);
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Subtraction:
|
2020-09-27 19:52:47 +02:00
|
|
|
return sub(global_object, lhs_result, rhs_result);
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Multiplication:
|
2020-09-27 19:52:47 +02:00
|
|
|
return mul(global_object, lhs_result, rhs_result);
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Division:
|
2020-09-27 19:52:47 +02:00
|
|
|
return div(global_object, lhs_result, rhs_result);
|
2020-04-04 21:17:34 +02:00
|
|
|
case BinaryOp::Modulo:
|
2020-09-27 19:52:47 +02:00
|
|
|
return mod(global_object, lhs_result, rhs_result);
|
2020-04-05 13:40:00 +01:00
|
|
|
case BinaryOp::Exponentiation:
|
2020-09-27 18:36:49 +02:00
|
|
|
return exp(global_object, lhs_result, rhs_result);
|
2020-03-08 07:53:02 +02:00
|
|
|
case BinaryOp::TypedEquals:
|
2020-09-27 18:36:49 +02:00
|
|
|
return Value(strict_eq(lhs_result, rhs_result));
|
2020-03-08 23:27:18 +02:00
|
|
|
case BinaryOp::TypedInequals:
|
2020-09-27 18:36:49 +02:00
|
|
|
return Value(!strict_eq(lhs_result, rhs_result));
|
2020-03-16 00:23:38 +02:00
|
|
|
case BinaryOp::AbstractEquals:
|
2020-09-27 19:52:47 +02:00
|
|
|
return Value(abstract_eq(global_object, lhs_result, rhs_result));
|
2020-03-16 00:23:38 +02:00
|
|
|
case BinaryOp::AbstractInequals:
|
2020-09-27 19:52:47 +02:00
|
|
|
return Value(!abstract_eq(global_object, lhs_result, rhs_result));
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::GreaterThan:
|
2020-09-27 19:52:47 +02:00
|
|
|
return greater_than(global_object, lhs_result, rhs_result);
|
2020-03-12 23:07:08 +11:00
|
|
|
case BinaryOp::GreaterThanEquals:
|
2020-09-27 19:52:47 +02:00
|
|
|
return greater_than_equals(global_object, lhs_result, rhs_result);
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::LessThan:
|
2020-09-27 19:52:47 +02:00
|
|
|
return less_than(global_object, lhs_result, rhs_result);
|
2020-03-12 23:07:08 +11:00
|
|
|
case BinaryOp::LessThanEquals:
|
2020-09-27 19:52:47 +02:00
|
|
|
return less_than_equals(global_object, lhs_result, rhs_result);
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::BitwiseAnd:
|
2020-09-27 19:52:47 +02:00
|
|
|
return bitwise_and(global_object, lhs_result, rhs_result);
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::BitwiseOr:
|
2020-09-27 19:52:47 +02:00
|
|
|
return bitwise_or(global_object, lhs_result, rhs_result);
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::BitwiseXor:
|
2020-09-27 19:52:47 +02:00
|
|
|
return bitwise_xor(global_object, lhs_result, rhs_result);
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::LeftShift:
|
2020-09-27 19:52:47 +02:00
|
|
|
return left_shift(global_object, lhs_result, rhs_result);
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::RightShift:
|
2020-09-27 19:52:47 +02:00
|
|
|
return right_shift(global_object, lhs_result, rhs_result);
|
2020-04-23 15:43:10 +01:00
|
|
|
case BinaryOp::UnsignedRightShift:
|
2020-09-27 19:52:47 +02:00
|
|
|
return unsigned_right_shift(global_object, lhs_result, rhs_result);
|
2020-04-23 16:06:01 +01:00
|
|
|
case BinaryOp::In:
|
2020-09-27 19:52:47 +02:00
|
|
|
return in(global_object, lhs_result, rhs_result);
|
2020-03-28 16:56:54 +01:00
|
|
|
case BinaryOp::InstanceOf:
|
2020-09-27 18:36:49 +02:00
|
|
|
return instance_of(global_object, lhs_result, rhs_result);
|
2020-03-08 07:53:02 +02:00
|
|
|
}
|
|
|
|
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-03-08 07:53:02 +02:00
|
|
|
}
|
2020-03-08 07:55:44 +02:00
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value LogicalExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-08 07:55:44 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto lhs_result = m_lhs->execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-03 19:11:31 +02:00
|
|
|
|
2020-03-08 07:55:44 +02:00
|
|
|
switch (m_op) {
|
|
|
|
case LogicalOp::And:
|
2020-04-03 19:11:31 +02:00
|
|
|
if (lhs_result.to_boolean()) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto rhs_result = m_rhs->execute(interpreter, global_object);
|
2020-04-03 19:11:31 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-18 00:49:11 +01:00
|
|
|
return rhs_result;
|
2020-04-03 19:11:31 +02:00
|
|
|
}
|
2020-04-18 00:49:11 +01:00
|
|
|
return lhs_result;
|
|
|
|
case LogicalOp::Or: {
|
2020-04-03 14:33:28 +01:00
|
|
|
if (lhs_result.to_boolean())
|
2020-04-18 00:49:11 +01:00
|
|
|
return lhs_result;
|
2020-06-08 20:57:54 +02:00
|
|
|
auto rhs_result = m_rhs->execute(interpreter, global_object);
|
2020-04-03 19:11:31 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-18 00:49:11 +01:00
|
|
|
return rhs_result;
|
|
|
|
}
|
|
|
|
case LogicalOp::NullishCoalescing:
|
2020-10-02 16:00:15 +02:00
|
|
|
if (lhs_result.is_nullish()) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto rhs_result = m_rhs->execute(interpreter, global_object);
|
2020-04-18 00:49:11 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
return rhs_result;
|
|
|
|
}
|
|
|
|
return lhs_result;
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Reference Expression::to_reference(Interpreter&, GlobalObject&) const
|
2020-04-27 12:10:16 +02:00
|
|
|
{
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Reference Identifier::to_reference(Interpreter& interpreter, GlobalObject&) const
|
2020-04-27 12:37:27 +02:00
|
|
|
{
|
2020-09-27 15:18:55 +02:00
|
|
|
return interpreter.vm().get_reference(string());
|
2020-04-27 12:37:27 +02:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Reference MemberExpression::to_reference(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-27 12:10:16 +02:00
|
|
|
{
|
2020-06-08 20:57:54 +02:00
|
|
|
auto object_value = m_object->execute(interpreter, global_object);
|
2020-05-28 17:48:25 +01:00
|
|
|
if (interpreter.exception())
|
2020-04-27 12:10:16 +02:00
|
|
|
return {};
|
2020-06-08 20:57:54 +02:00
|
|
|
auto property_name = computed_property_name(interpreter, global_object);
|
2020-04-27 12:10:16 +02:00
|
|
|
if (!property_name.is_valid())
|
|
|
|
return {};
|
2020-05-28 17:48:25 +01:00
|
|
|
return { object_value, property_name };
|
2020-04-27 12:10:16 +02:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value UnaryExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-08 23:27:18 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-09-27 18:36:49 +02:00
|
|
|
auto& vm = interpreter.vm();
|
2020-04-26 13:53:40 +02:00
|
|
|
if (m_op == UnaryOp::Delete) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto reference = m_lhs->to_reference(interpreter, global_object);
|
2020-04-26 13:53:40 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-27 12:10:16 +02:00
|
|
|
if (reference.is_unresolvable())
|
|
|
|
return Value(true);
|
2020-04-27 12:37:27 +02:00
|
|
|
// FIXME: Support deleting locals
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(!reference.is_local_variable());
|
2020-04-28 14:44:48 +02:00
|
|
|
if (reference.is_global_variable())
|
2020-06-20 12:47:19 +02:00
|
|
|
return global_object.delete_property(reference.name());
|
2020-09-27 18:36:49 +02:00
|
|
|
auto* base_object = reference.base().to_object(global_object);
|
2020-04-27 12:10:16 +02:00
|
|
|
if (!base_object)
|
2020-04-26 13:53:40 +02:00
|
|
|
return {};
|
2020-04-27 12:10:16 +02:00
|
|
|
return base_object->delete_property(reference.name());
|
2020-04-26 13:53:40 +02:00
|
|
|
}
|
|
|
|
|
2020-06-02 23:26:39 +02:00
|
|
|
Value lhs_result;
|
2021-01-01 19:34:07 +01:00
|
|
|
if (m_op == UnaryOp::Typeof && is<Identifier>(*m_lhs)) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto reference = m_lhs->to_reference(interpreter, global_object);
|
2020-06-02 23:26:39 +02:00
|
|
|
if (interpreter.exception()) {
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
// FIXME: standard recommends checking with is_unresolvable but it ALWAYS return false here
|
|
|
|
if (reference.is_local_variable() || reference.is_global_variable()) {
|
2021-03-03 22:07:10 +01:00
|
|
|
const auto& name = reference.name();
|
2020-09-27 15:18:55 +02:00
|
|
|
lhs_result = interpreter.vm().get_variable(name.to_string(), global_object).value_or(js_undefined());
|
2020-06-02 23:26:39 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
} else {
|
2020-06-08 20:57:54 +02:00
|
|
|
lhs_result = m_lhs->execute(interpreter, global_object);
|
2020-06-02 23:26:39 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2020-03-08 23:27:18 +02:00
|
|
|
switch (m_op) {
|
2020-03-14 20:43:35 +02:00
|
|
|
case UnaryOp::BitwiseNot:
|
2020-09-27 19:52:47 +02:00
|
|
|
return bitwise_not(global_object, lhs_result);
|
2020-03-09 19:04:44 +02:00
|
|
|
case UnaryOp::Not:
|
2020-03-10 11:08:37 +01:00
|
|
|
return Value(!lhs_result.to_boolean());
|
2020-04-02 17:58:39 +01:00
|
|
|
case UnaryOp::Plus:
|
2020-09-27 19:52:47 +02:00
|
|
|
return unary_plus(global_object, lhs_result);
|
2020-04-02 17:58:39 +01:00
|
|
|
case UnaryOp::Minus:
|
2020-09-27 19:52:47 +02:00
|
|
|
return unary_minus(global_object, lhs_result);
|
2020-03-18 06:33:32 +11:00
|
|
|
case UnaryOp::Typeof:
|
2021-04-02 20:33:03 +02:00
|
|
|
return js_string(vm, lhs_result.typeof());
|
2020-04-15 17:55:03 +01:00
|
|
|
case UnaryOp::Void:
|
|
|
|
return js_undefined();
|
2020-04-26 13:53:40 +02:00
|
|
|
case UnaryOp::Delete:
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-03-08 23:27:18 +02:00
|
|
|
}
|
|
|
|
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-03-08 23:27:18 +02:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value SuperExpression::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-06-08 13:31:21 -05:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 13:31:21 -05:00
|
|
|
// The semantics for SuperExpressions are handled in CallExpression::compute_this_and_callee()
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-06-08 13:31:21 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
Value ClassMethod::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-06-08 13:31:21 -05:00
|
|
|
return m_function->execute(interpreter, global_object);
|
|
|
|
}
|
|
|
|
|
|
|
|
Value ClassExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-10-13 23:49:19 +02:00
|
|
|
auto& vm = interpreter.vm();
|
2020-06-08 13:31:21 -05:00
|
|
|
Value class_constructor_value = m_constructor->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
|
|
|
update_function_name(class_constructor_value, m_name);
|
|
|
|
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(class_constructor_value.is_function() && is<ScriptFunction>(class_constructor_value.as_function()));
|
2021-03-03 22:07:10 +01:00
|
|
|
auto* class_constructor = static_cast<ScriptFunction*>(&class_constructor_value.as_function());
|
2020-11-11 21:37:40 +00:00
|
|
|
class_constructor->set_is_class_constructor();
|
2020-06-08 13:31:21 -05:00
|
|
|
Value super_constructor = js_undefined();
|
|
|
|
if (!m_super_class.is_null()) {
|
|
|
|
super_constructor = m_super_class->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-08-25 12:52:32 +02:00
|
|
|
if (!super_constructor.is_function() && !super_constructor.is_null()) {
|
2021-01-23 23:49:04 +01:00
|
|
|
interpreter.vm().throw_exception<TypeError>(global_object, ErrorType::ClassExtendsValueNotAConstructorOrNull, super_constructor.to_string_without_side_effects());
|
2020-08-25 12:52:32 +02:00
|
|
|
return {};
|
|
|
|
}
|
2020-06-08 13:31:21 -05:00
|
|
|
class_constructor->set_constructor_kind(Function::ConstructorKind::Derived);
|
2020-07-22 17:50:18 +02:00
|
|
|
Object* prototype = Object::create_empty(global_object);
|
2020-06-08 13:31:21 -05:00
|
|
|
|
|
|
|
Object* super_constructor_prototype = nullptr;
|
|
|
|
if (!super_constructor.is_null()) {
|
2021-01-28 10:20:52 +01:00
|
|
|
auto super_constructor_prototype_value = super_constructor.as_object().get(vm.names.prototype).value_or(js_undefined());
|
2020-06-08 13:31:21 -05:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2021-01-23 23:49:04 +01:00
|
|
|
if (!super_constructor_prototype_value.is_object() && !super_constructor_prototype_value.is_null()) {
|
|
|
|
interpreter.vm().throw_exception<TypeError>(global_object, ErrorType::ClassExtendsValueInvalidPrototype, super_constructor_prototype_value.to_string_without_side_effects());
|
|
|
|
return {};
|
|
|
|
}
|
2021-01-24 00:15:35 +01:00
|
|
|
if (super_constructor_prototype_value.is_object())
|
2021-01-23 23:49:04 +01:00
|
|
|
super_constructor_prototype = &super_constructor_prototype_value.as_object();
|
2020-06-08 13:31:21 -05:00
|
|
|
}
|
|
|
|
prototype->set_prototype(super_constructor_prototype);
|
|
|
|
|
2020-10-13 23:49:19 +02:00
|
|
|
prototype->define_property(vm.names.constructor, class_constructor, 0);
|
2020-06-08 13:31:21 -05:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-11-29 18:01:59 +01:00
|
|
|
class_constructor->define_property(vm.names.prototype, prototype, Attribute::Writable);
|
2020-06-08 13:31:21 -05:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
class_constructor->set_prototype(super_constructor.is_null() ? global_object.function_prototype() : &super_constructor.as_object());
|
|
|
|
}
|
|
|
|
|
2020-10-13 23:49:19 +02:00
|
|
|
auto class_prototype = class_constructor->get(vm.names.prototype);
|
2020-06-08 13:31:21 -05:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
2020-08-25 12:52:32 +02:00
|
|
|
if (!class_prototype.is_object()) {
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().throw_exception<TypeError>(global_object, ErrorType::NotAnObject, "Class prototype");
|
2020-08-25 12:52:32 +02:00
|
|
|
return {};
|
|
|
|
}
|
2020-06-08 13:31:21 -05:00
|
|
|
for (const auto& method : m_methods) {
|
|
|
|
auto method_value = method.execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
|
|
|
auto& method_function = method_value.as_function();
|
|
|
|
|
|
|
|
auto key = method.key().execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
|
|
|
auto& target = method.is_static() ? *class_constructor : class_prototype.as_object();
|
|
|
|
method_function.set_home_object(&target);
|
|
|
|
|
|
|
|
if (method.kind() == ClassMethod::Kind::Method) {
|
2020-09-27 18:36:49 +02:00
|
|
|
target.define_property(StringOrSymbol::from_value(global_object, key), method_value);
|
2020-06-08 13:31:21 -05:00
|
|
|
} else {
|
|
|
|
String accessor_name = [&] {
|
|
|
|
switch (method.kind()) {
|
|
|
|
case ClassMethod::Kind::Getter:
|
2020-10-04 15:18:52 +01:00
|
|
|
return String::formatted("get {}", get_function_name(global_object, key));
|
2020-06-08 13:31:21 -05:00
|
|
|
case ClassMethod::Kind::Setter:
|
2020-10-04 15:18:52 +01:00
|
|
|
return String::formatted("set {}", get_function_name(global_object, key));
|
2020-06-08 13:31:21 -05:00
|
|
|
default:
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-06-08 13:31:21 -05:00
|
|
|
}
|
|
|
|
}();
|
|
|
|
update_function_name(method_value, accessor_name);
|
2020-09-27 18:36:49 +02:00
|
|
|
target.define_accessor(StringOrSymbol::from_value(global_object, key), method_function, method.kind() == ClassMethod::Kind::Getter, Attribute::Configurable | Attribute::Enumerable);
|
2020-06-08 13:31:21 -05:00
|
|
|
}
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
|
|
|
return class_constructor;
|
|
|
|
}
|
|
|
|
|
|
|
|
Value ClassDeclaration::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 13:31:21 -05:00
|
|
|
Value class_constructor = m_class_expression->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
2020-11-28 16:02:27 +01:00
|
|
|
interpreter.current_scope()->put_to_scope(m_class_expression->name(), { class_constructor, DeclarationKind::Let });
|
2020-06-08 13:31:21 -05:00
|
|
|
|
2021-03-16 09:12:34 +01:00
|
|
|
return {};
|
2020-06-08 13:31:21 -05:00
|
|
|
}
|
|
|
|
|
2020-03-07 19:42:11 +01:00
|
|
|
static void print_indent(int indent)
|
|
|
|
{
|
2020-12-06 16:55:19 +00:00
|
|
|
out("{}", String::repeated(' ', indent * 2));
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void ASTNode::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", class_name());
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void ScopeNode::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
2020-04-13 16:42:54 +02:00
|
|
|
if (!m_variables.is_empty()) {
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Variables)");
|
2020-04-13 16:42:54 +02:00
|
|
|
for (auto& variable : m_variables)
|
|
|
|
variable.dump(indent + 2);
|
|
|
|
}
|
|
|
|
if (!m_children.is_empty()) {
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Children)");
|
2020-04-13 16:42:54 +02:00
|
|
|
for (auto& child : children())
|
|
|
|
child.dump(indent + 2);
|
|
|
|
}
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void BinaryExpression::dump(int indent) const
|
|
|
|
{
|
2020-03-07 23:16:34 +01:00
|
|
|
const char* op_string = nullptr;
|
|
|
|
switch (m_op) {
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Addition:
|
2020-03-07 23:16:34 +01:00
|
|
|
op_string = "+";
|
|
|
|
break;
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Subtraction:
|
2020-03-07 23:16:34 +01:00
|
|
|
op_string = "-";
|
|
|
|
break;
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Multiplication:
|
2020-03-12 23:04:52 +11:00
|
|
|
op_string = "*";
|
|
|
|
break;
|
2020-04-05 12:56:53 +01:00
|
|
|
case BinaryOp::Division:
|
2020-03-12 23:04:52 +11:00
|
|
|
op_string = "/";
|
|
|
|
break;
|
2020-04-04 21:17:34 +02:00
|
|
|
case BinaryOp::Modulo:
|
|
|
|
op_string = "%";
|
|
|
|
break;
|
2020-04-05 13:40:00 +01:00
|
|
|
case BinaryOp::Exponentiation:
|
|
|
|
op_string = "**";
|
|
|
|
break;
|
2020-03-08 07:53:02 +02:00
|
|
|
case BinaryOp::TypedEquals:
|
|
|
|
op_string = "===";
|
|
|
|
break;
|
2020-03-08 23:27:18 +02:00
|
|
|
case BinaryOp::TypedInequals:
|
|
|
|
op_string = "!==";
|
|
|
|
break;
|
2020-03-16 00:23:38 +02:00
|
|
|
case BinaryOp::AbstractEquals:
|
|
|
|
op_string = "==";
|
|
|
|
break;
|
|
|
|
case BinaryOp::AbstractInequals:
|
|
|
|
op_string = "!=";
|
|
|
|
break;
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::GreaterThan:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = ">";
|
|
|
|
break;
|
2020-03-12 23:07:08 +11:00
|
|
|
case BinaryOp::GreaterThanEquals:
|
|
|
|
op_string = ">=";
|
|
|
|
break;
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::LessThan:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = "<";
|
|
|
|
break;
|
2020-03-12 23:07:08 +11:00
|
|
|
case BinaryOp::LessThanEquals:
|
|
|
|
op_string = "<=";
|
|
|
|
break;
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::BitwiseAnd:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = "&";
|
|
|
|
break;
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::BitwiseOr:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = "|";
|
|
|
|
break;
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::BitwiseXor:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = "^";
|
|
|
|
break;
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::LeftShift:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = "<<";
|
|
|
|
break;
|
2020-03-10 11:35:05 +01:00
|
|
|
case BinaryOp::RightShift:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = ">>";
|
|
|
|
break;
|
2020-04-23 15:43:10 +01:00
|
|
|
case BinaryOp::UnsignedRightShift:
|
|
|
|
op_string = ">>>";
|
|
|
|
break;
|
2020-04-23 16:06:01 +01:00
|
|
|
case BinaryOp::In:
|
|
|
|
op_string = "in";
|
|
|
|
break;
|
2020-03-28 16:56:54 +01:00
|
|
|
case BinaryOp::InstanceOf:
|
|
|
|
op_string = "instanceof";
|
|
|
|
break;
|
2020-03-08 07:53:02 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", class_name());
|
2020-03-08 07:53:02 +02:00
|
|
|
m_lhs->dump(indent + 1);
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", op_string);
|
2020-03-08 07:53:02 +02:00
|
|
|
m_rhs->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-08 07:55:44 +02:00
|
|
|
void LogicalExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
const char* op_string = nullptr;
|
|
|
|
switch (m_op) {
|
|
|
|
case LogicalOp::And:
|
|
|
|
op_string = "&&";
|
|
|
|
break;
|
|
|
|
case LogicalOp::Or:
|
|
|
|
op_string = "||";
|
|
|
|
break;
|
2020-04-18 00:49:11 +01:00
|
|
|
case LogicalOp::NullishCoalescing:
|
|
|
|
op_string = "??";
|
|
|
|
break;
|
2020-03-07 23:16:34 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", class_name());
|
2020-03-07 19:42:11 +01:00
|
|
|
m_lhs->dump(indent + 1);
|
2020-03-07 23:16:34 +01:00
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", op_string);
|
2020-03-07 19:42:11 +01:00
|
|
|
m_rhs->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-08 23:27:18 +02:00
|
|
|
void UnaryExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
const char* op_string = nullptr;
|
|
|
|
switch (m_op) {
|
2020-03-14 20:43:35 +02:00
|
|
|
case UnaryOp::BitwiseNot:
|
2020-03-08 23:27:18 +02:00
|
|
|
op_string = "~";
|
|
|
|
break;
|
2020-03-09 19:04:44 +02:00
|
|
|
case UnaryOp::Not:
|
|
|
|
op_string = "!";
|
|
|
|
break;
|
2020-04-02 17:58:39 +01:00
|
|
|
case UnaryOp::Plus:
|
|
|
|
op_string = "+";
|
|
|
|
break;
|
|
|
|
case UnaryOp::Minus:
|
|
|
|
op_string = "-";
|
|
|
|
break;
|
2020-03-18 06:33:32 +11:00
|
|
|
case UnaryOp::Typeof:
|
|
|
|
op_string = "typeof ";
|
|
|
|
break;
|
2020-04-15 17:55:03 +01:00
|
|
|
case UnaryOp::Void:
|
|
|
|
op_string = "void ";
|
|
|
|
break;
|
2020-04-26 13:53:40 +02:00
|
|
|
case UnaryOp::Delete:
|
|
|
|
op_string = "delete ";
|
|
|
|
break;
|
2020-03-08 23:27:18 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", class_name());
|
2020-03-08 23:27:18 +02:00
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", op_string);
|
2020-03-08 23:27:18 +02:00
|
|
|
m_lhs->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-07 19:42:11 +01:00
|
|
|
void CallExpression::dump(int indent) const
|
|
|
|
{
|
2020-04-06 20:24:45 +02:00
|
|
|
print_indent(indent);
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<NewExpression>(*this))
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("CallExpression [new]");
|
|
|
|
else
|
|
|
|
outln("CallExpression");
|
2020-03-12 23:02:41 +01:00
|
|
|
m_callee->dump(indent + 1);
|
2020-03-12 19:34:59 +01:00
|
|
|
for (auto& argument : m_arguments)
|
2020-05-05 22:36:24 -07:00
|
|
|
argument.value->dump(indent + 1);
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 13:31:21 -05:00
|
|
|
void ClassDeclaration::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
m_class_expression->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClassExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("ClassExpression: \"{}\"", m_name);
|
2020-06-08 13:31:21 -05:00
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Constructor)");
|
2020-06-08 13:31:21 -05:00
|
|
|
m_constructor->dump(indent + 1);
|
|
|
|
|
|
|
|
if (!m_super_class.is_null()) {
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Super Class)");
|
2020-06-08 13:31:21 -05:00
|
|
|
m_super_class->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Methods)");
|
2020-06-08 13:31:21 -05:00
|
|
|
for (auto& method : m_methods)
|
|
|
|
method.dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
void ClassMethod::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Key)");
|
2020-06-08 13:31:21 -05:00
|
|
|
m_key->dump(indent + 1);
|
|
|
|
|
|
|
|
const char* kind_string = nullptr;
|
|
|
|
switch (m_kind) {
|
|
|
|
case Kind::Method:
|
|
|
|
kind_string = "Method";
|
|
|
|
break;
|
|
|
|
case Kind::Getter:
|
|
|
|
kind_string = "Getter";
|
|
|
|
break;
|
|
|
|
case Kind::Setter:
|
|
|
|
kind_string = "Setter";
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("Kind: {}", kind_string);
|
2020-06-08 13:31:21 -05:00
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("Static: {}", m_is_static);
|
2020-06-08 13:31:21 -05:00
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Function)");
|
2020-06-08 13:31:21 -05:00
|
|
|
m_function->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-12 12:19:11 +01:00
|
|
|
void StringLiteral::dump(int indent) const
|
2020-03-07 19:42:11 +01:00
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("StringLiteral \"{}\"", m_value);
|
2020-03-12 12:19:11 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 13:31:21 -05:00
|
|
|
void SuperExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("super");
|
2020-06-08 13:31:21 -05:00
|
|
|
}
|
|
|
|
|
2020-03-12 12:19:11 +01:00
|
|
|
void NumericLiteral::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("NumericLiteral {}", m_value);
|
2020-03-12 12:19:11 +01:00
|
|
|
}
|
|
|
|
|
2020-06-06 01:14:10 +01:00
|
|
|
void BigIntLiteral::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("BigIntLiteral {}", m_value);
|
2020-06-06 01:14:10 +01:00
|
|
|
}
|
|
|
|
|
2020-03-12 12:19:11 +01:00
|
|
|
void BooleanLiteral::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("BooleanLiteral {}", m_value);
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-03-15 23:32:34 +02:00
|
|
|
void NullLiteral::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("null");
|
2020-03-15 23:32:34 +02:00
|
|
|
}
|
|
|
|
|
2021-01-17 09:21:15 +01:00
|
|
|
void FunctionNode::dump(int indent, const String& class_name) const
|
2020-03-07 19:42:11 +01:00
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{} '{}'", class_name, name());
|
2020-05-02 11:46:39 -07:00
|
|
|
if (!m_parameters.is_empty()) {
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Parameters)\n");
|
2020-05-02 11:46:39 -07:00
|
|
|
|
|
|
|
for (auto& parameter : m_parameters) {
|
|
|
|
print_indent(indent + 2);
|
2020-05-04 16:05:13 +01:00
|
|
|
if (parameter.is_rest)
|
2020-12-06 16:55:19 +00:00
|
|
|
out("...");
|
|
|
|
outln("{}", parameter.name);
|
2020-05-04 16:05:13 +01:00
|
|
|
if (parameter.default_value)
|
2020-05-02 11:46:39 -07:00
|
|
|
parameter.default_value->dump(indent + 3);
|
|
|
|
}
|
|
|
|
}
|
2020-04-13 16:42:54 +02:00
|
|
|
if (!m_variables.is_empty()) {
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Variables)");
|
2020-05-02 11:46:39 -07:00
|
|
|
|
|
|
|
for (auto& variable : m_variables)
|
|
|
|
variable.dump(indent + 2);
|
2020-04-13 16:42:54 +02:00
|
|
|
}
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Body)");
|
2020-04-13 16:42:54 +02:00
|
|
|
body().dump(indent + 2);
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-03-19 11:12:08 +01:00
|
|
|
void FunctionDeclaration::dump(int indent) const
|
|
|
|
{
|
|
|
|
FunctionNode::dump(indent, class_name());
|
|
|
|
}
|
|
|
|
|
|
|
|
void FunctionExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
FunctionNode::dump(indent, class_name());
|
|
|
|
}
|
|
|
|
|
2020-03-07 19:42:11 +01:00
|
|
|
void ReturnStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
2020-03-11 19:27:43 +01:00
|
|
|
if (argument())
|
|
|
|
argument()->dump(indent + 1);
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|
|
|
|
|
2020-03-08 07:58:58 +02:00
|
|
|
void IfStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("If");
|
2020-03-08 07:58:58 +02:00
|
|
|
predicate().dump(indent + 1);
|
|
|
|
consequent().dump(indent + 1);
|
2020-03-21 18:40:17 +01:00
|
|
|
if (alternate()) {
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("Else");
|
2020-03-21 18:40:17 +01:00
|
|
|
alternate()->dump(indent + 1);
|
|
|
|
}
|
2020-03-08 07:58:58 +02:00
|
|
|
}
|
|
|
|
|
2020-03-09 03:22:21 +08:00
|
|
|
void WhileStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("While");
|
2020-04-04 21:21:19 +02:00
|
|
|
test().dump(indent + 1);
|
2020-03-09 03:22:21 +08:00
|
|
|
body().dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-11-28 15:05:57 +01:00
|
|
|
void WithStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("Object");
|
2020-11-28 15:05:57 +01:00
|
|
|
object().dump(indent + 2);
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("Body");
|
2020-11-28 15:05:57 +01:00
|
|
|
body().dump(indent + 2);
|
|
|
|
}
|
|
|
|
|
2020-04-04 21:29:23 +02:00
|
|
|
void DoWhileStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("DoWhile");
|
2020-04-04 21:29:23 +02:00
|
|
|
test().dump(indent + 1);
|
|
|
|
body().dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-12 23:12:12 +11:00
|
|
|
void ForStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("For");
|
2020-03-12 23:12:12 +11:00
|
|
|
if (init())
|
|
|
|
init()->dump(indent + 1);
|
|
|
|
if (test())
|
|
|
|
test()->dump(indent + 1);
|
|
|
|
if (update())
|
|
|
|
update()->dump(indent + 1);
|
|
|
|
body().dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-04-21 19:21:26 +01:00
|
|
|
void ForInStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("ForIn");
|
2020-04-21 19:21:26 +01:00
|
|
|
lhs().dump(indent + 1);
|
|
|
|
rhs().dump(indent + 1);
|
|
|
|
body().dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
void ForOfStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("ForOf");
|
2020-04-21 19:21:26 +01:00
|
|
|
lhs().dump(indent + 1);
|
|
|
|
rhs().dump(indent + 1);
|
|
|
|
body().dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-06-08 21:25:16 +02:00
|
|
|
Value Identifier::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-09 21:13:55 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-09-27 15:18:55 +02:00
|
|
|
auto value = interpreter.vm().get_variable(string(), global_object);
|
2020-08-25 12:52:32 +02:00
|
|
|
if (value.is_empty()) {
|
2020-10-04 13:55:20 +01:00
|
|
|
interpreter.vm().throw_exception<ReferenceError>(global_object, ErrorType::UnknownIdentifier, string());
|
2020-08-25 12:52:32 +02:00
|
|
|
return {};
|
|
|
|
}
|
2020-04-25 18:43:34 +02:00
|
|
|
return value;
|
2020-03-09 21:13:55 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void Identifier::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("Identifier \"{}\"", m_string);
|
2020-03-09 21:13:55 +01:00
|
|
|
}
|
|
|
|
|
2020-04-26 23:05:37 -07:00
|
|
|
void SpreadExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
m_target->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value SpreadExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-26 23:05:37 -07:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-06-08 20:57:54 +02:00
|
|
|
return m_target->execute(interpreter, global_object);
|
2020-04-26 23:05:37 -07:00
|
|
|
}
|
|
|
|
|
2020-09-29 16:41:28 +02:00
|
|
|
Value ThisExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-13 00:42:14 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-09-29 16:41:28 +02:00
|
|
|
return interpreter.vm().resolve_this_binding(global_object);
|
2020-04-13 00:42:14 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
void ThisExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value AssignmentExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-09 21:13:55 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-10-05 12:30:08 +01:00
|
|
|
#define EXECUTE_LHS_AND_RHS() \
|
|
|
|
do { \
|
|
|
|
lhs_result = m_lhs->execute(interpreter, global_object); \
|
|
|
|
if (interpreter.exception()) \
|
|
|
|
return {}; \
|
|
|
|
rhs_result = m_rhs->execute(interpreter, global_object); \
|
|
|
|
if (interpreter.exception()) \
|
|
|
|
return {}; \
|
|
|
|
} while (0)
|
2020-03-09 21:13:55 +01:00
|
|
|
|
2020-04-06 20:24:45 +02:00
|
|
|
Value lhs_result;
|
2020-10-05 12:30:08 +01:00
|
|
|
Value rhs_result;
|
2020-03-09 21:13:55 +01:00
|
|
|
switch (m_op) {
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::Assignment:
|
2020-03-09 21:13:55 +01:00
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::AdditionAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = add(global_object, lhs_result, rhs_result);
|
2020-03-12 23:09:15 +11:00
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::SubtractionAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = sub(global_object, lhs_result, rhs_result);
|
2020-03-12 23:09:15 +11:00
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::MultiplicationAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = mul(global_object, lhs_result, rhs_result);
|
2020-03-12 23:09:15 +11:00
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::DivisionAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = div(global_object, lhs_result, rhs_result);
|
2020-03-12 23:09:15 +11:00
|
|
|
break;
|
2020-05-04 23:07:05 +01:00
|
|
|
case AssignmentOp::ModuloAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = mod(global_object, lhs_result, rhs_result);
|
2020-05-04 23:07:05 +01:00
|
|
|
break;
|
2020-05-04 23:03:35 +01:00
|
|
|
case AssignmentOp::ExponentiationAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 18:36:49 +02:00
|
|
|
rhs_result = exp(global_object, lhs_result, rhs_result);
|
2020-05-04 23:03:35 +01:00
|
|
|
break;
|
2020-05-04 22:34:45 +01:00
|
|
|
case AssignmentOp::BitwiseAndAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = bitwise_and(global_object, lhs_result, rhs_result);
|
2020-05-04 22:34:45 +01:00
|
|
|
break;
|
|
|
|
case AssignmentOp::BitwiseOrAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = bitwise_or(global_object, lhs_result, rhs_result);
|
2020-05-04 22:34:45 +01:00
|
|
|
break;
|
|
|
|
case AssignmentOp::BitwiseXorAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = bitwise_xor(global_object, lhs_result, rhs_result);
|
2020-05-04 22:34:45 +01:00
|
|
|
break;
|
2020-04-23 13:36:14 +01:00
|
|
|
case AssignmentOp::LeftShiftAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = left_shift(global_object, lhs_result, rhs_result);
|
2020-04-23 13:36:14 +01:00
|
|
|
break;
|
2020-04-23 13:45:19 +01:00
|
|
|
case AssignmentOp::RightShiftAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = right_shift(global_object, lhs_result, rhs_result);
|
2020-04-23 13:45:19 +01:00
|
|
|
break;
|
2020-04-23 15:43:10 +01:00
|
|
|
case AssignmentOp::UnsignedRightShiftAssignment:
|
2020-10-05 12:30:08 +01:00
|
|
|
EXECUTE_LHS_AND_RHS();
|
2020-09-27 19:52:47 +02:00
|
|
|
rhs_result = unsigned_right_shift(global_object, lhs_result, rhs_result);
|
2020-04-23 15:43:10 +01:00
|
|
|
break;
|
2020-10-05 16:49:43 +01:00
|
|
|
case AssignmentOp::AndAssignment:
|
|
|
|
lhs_result = m_lhs->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
if (!lhs_result.to_boolean())
|
|
|
|
return lhs_result;
|
|
|
|
rhs_result = m_rhs->execute(interpreter, global_object);
|
|
|
|
break;
|
|
|
|
case AssignmentOp::OrAssignment:
|
|
|
|
lhs_result = m_lhs->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
if (lhs_result.to_boolean())
|
|
|
|
return lhs_result;
|
|
|
|
rhs_result = m_rhs->execute(interpreter, global_object);
|
|
|
|
break;
|
|
|
|
case AssignmentOp::NullishAssignment:
|
|
|
|
lhs_result = m_lhs->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
if (!lhs_result.is_nullish())
|
|
|
|
return lhs_result;
|
|
|
|
rhs_result = m_rhs->execute(interpreter, global_object);
|
|
|
|
break;
|
2020-03-09 21:13:55 +01:00
|
|
|
}
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-05 19:21:36 +02:00
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto reference = m_lhs->to_reference(interpreter, global_object);
|
2020-04-27 12:56:09 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
2020-10-05 12:30:08 +01:00
|
|
|
if (m_op == AssignmentOp::Assignment) {
|
|
|
|
rhs_result = m_rhs->execute(interpreter, global_object);
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2020-08-25 12:52:32 +02:00
|
|
|
if (reference.is_unresolvable()) {
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().throw_exception<ReferenceError>(global_object, ErrorType::InvalidLeftHandAssignment);
|
2020-08-25 12:52:32 +02:00
|
|
|
return {};
|
|
|
|
}
|
2021-03-21 17:14:20 +01:00
|
|
|
|
2020-09-29 16:45:24 +02:00
|
|
|
reference.put(global_object, rhs_result);
|
2020-04-27 12:56:09 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2021-04-02 20:33:03 +02:00
|
|
|
|
2020-03-09 21:13:55 +01:00
|
|
|
return rhs_result;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value UpdateExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-12 13:45:45 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto reference = m_argument->to_reference(interpreter, global_object);
|
2020-04-28 14:44:48 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-29 16:45:24 +02:00
|
|
|
auto old_value = reference.get(global_object);
|
2020-04-21 23:27:11 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 18:36:49 +02:00
|
|
|
old_value = old_value.to_numeric(global_object);
|
2020-05-18 00:28:00 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-03-12 13:45:45 +02:00
|
|
|
|
2020-06-06 01:14:10 +01:00
|
|
|
Value new_value;
|
2020-03-12 13:45:45 +02:00
|
|
|
switch (m_op) {
|
|
|
|
case UpdateOp::Increment:
|
2020-06-06 01:14:10 +01:00
|
|
|
if (old_value.is_number())
|
|
|
|
new_value = Value(old_value.as_double() + 1);
|
|
|
|
else
|
2020-09-27 20:00:38 +02:00
|
|
|
new_value = js_bigint(interpreter.heap(), old_value.as_bigint().big_integer().plus(Crypto::SignedBigInteger { 1 }));
|
2020-03-12 13:45:45 +02:00
|
|
|
break;
|
|
|
|
case UpdateOp::Decrement:
|
2020-06-06 01:14:10 +01:00
|
|
|
if (old_value.is_number())
|
|
|
|
new_value = Value(old_value.as_double() - 1);
|
|
|
|
else
|
2020-09-27 20:00:38 +02:00
|
|
|
new_value = js_bigint(interpreter.heap(), old_value.as_bigint().big_integer().minus(Crypto::SignedBigInteger { 1 }));
|
2020-03-12 14:24:34 +02:00
|
|
|
break;
|
2020-04-21 23:27:11 +01:00
|
|
|
default:
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-03-12 13:45:45 +02:00
|
|
|
}
|
|
|
|
|
2020-09-29 16:45:24 +02:00
|
|
|
reference.put(global_object, new_value);
|
2020-04-28 14:44:48 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-21 23:27:11 +01:00
|
|
|
return m_prefixed ? new_value : old_value;
|
2020-03-12 13:45:45 +02:00
|
|
|
}
|
|
|
|
|
2020-03-09 21:13:55 +01:00
|
|
|
void AssignmentExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
const char* op_string = nullptr;
|
|
|
|
switch (m_op) {
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::Assignment:
|
2020-03-09 21:13:55 +01:00
|
|
|
op_string = "=";
|
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::AdditionAssignment:
|
2020-03-12 23:09:15 +11:00
|
|
|
op_string = "+=";
|
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::SubtractionAssignment:
|
2020-03-12 23:09:15 +11:00
|
|
|
op_string = "-=";
|
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::MultiplicationAssignment:
|
2020-03-12 23:09:15 +11:00
|
|
|
op_string = "*=";
|
|
|
|
break;
|
2020-03-12 13:54:56 +01:00
|
|
|
case AssignmentOp::DivisionAssignment:
|
2020-03-12 23:09:15 +11:00
|
|
|
op_string = "/=";
|
|
|
|
break;
|
2020-05-04 23:07:05 +01:00
|
|
|
case AssignmentOp::ModuloAssignment:
|
|
|
|
op_string = "%=";
|
|
|
|
break;
|
2020-05-04 23:03:35 +01:00
|
|
|
case AssignmentOp::ExponentiationAssignment:
|
|
|
|
op_string = "**=";
|
|
|
|
break;
|
2020-05-04 22:34:45 +01:00
|
|
|
case AssignmentOp::BitwiseAndAssignment:
|
|
|
|
op_string = "&=";
|
|
|
|
break;
|
|
|
|
case AssignmentOp::BitwiseOrAssignment:
|
|
|
|
op_string = "|=";
|
|
|
|
break;
|
|
|
|
case AssignmentOp::BitwiseXorAssignment:
|
|
|
|
op_string = "^=";
|
|
|
|
break;
|
2020-04-23 13:36:14 +01:00
|
|
|
case AssignmentOp::LeftShiftAssignment:
|
|
|
|
op_string = "<<=";
|
|
|
|
break;
|
2020-04-23 13:45:19 +01:00
|
|
|
case AssignmentOp::RightShiftAssignment:
|
|
|
|
op_string = ">>=";
|
|
|
|
break;
|
2020-04-23 15:43:10 +01:00
|
|
|
case AssignmentOp::UnsignedRightShiftAssignment:
|
|
|
|
op_string = ">>>=";
|
|
|
|
break;
|
2020-10-05 16:49:43 +01:00
|
|
|
case AssignmentOp::AndAssignment:
|
|
|
|
op_string = "&&=";
|
|
|
|
break;
|
|
|
|
case AssignmentOp::OrAssignment:
|
|
|
|
op_string = "||=";
|
|
|
|
break;
|
|
|
|
case AssignmentOp::NullishAssignment:
|
|
|
|
op_string = "\?\?=";
|
|
|
|
break;
|
2020-03-09 21:13:55 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", op_string);
|
2020-03-09 21:13:55 +01:00
|
|
|
m_lhs->dump(indent + 1);
|
|
|
|
m_rhs->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-12 13:45:45 +02:00
|
|
|
void UpdateExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
const char* op_string = nullptr;
|
|
|
|
switch (m_op) {
|
|
|
|
case UpdateOp::Increment:
|
|
|
|
op_string = "++";
|
|
|
|
break;
|
|
|
|
case UpdateOp::Decrement:
|
|
|
|
op_string = "--";
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
ASTNode::dump(indent);
|
2020-10-19 00:17:46 +01:00
|
|
|
if (m_prefixed) {
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", op_string);
|
2020-10-19 00:17:46 +01:00
|
|
|
}
|
2020-03-12 13:45:45 +02:00
|
|
|
m_argument->dump(indent + 1);
|
2020-03-14 20:44:57 +02:00
|
|
|
if (!m_prefixed) {
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", op_string);
|
2020-03-14 20:44:57 +02:00
|
|
|
}
|
2020-03-12 13:45:45 +02:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value VariableDeclaration::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-09 21:13:55 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-04-04 21:46:25 +02:00
|
|
|
for (auto& declarator : m_declarations) {
|
|
|
|
if (auto* init = declarator.init()) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto initalizer_result = init->execute(interpreter, global_object);
|
2020-04-04 21:46:25 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-05-02 20:28:48 +01:00
|
|
|
auto variable_name = declarator.id().string();
|
2021-03-22 12:44:07 +01:00
|
|
|
if (is<ClassExpression>(*init))
|
|
|
|
update_function_name(initalizer_result, variable_name);
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().set_variable(variable_name, initalizer_result, global_object, true);
|
2020-04-04 21:46:25 +02:00
|
|
|
}
|
2020-03-09 21:13:55 +01:00
|
|
|
}
|
2021-03-16 09:12:34 +01:00
|
|
|
return {};
|
2020-03-09 21:13:55 +01:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value VariableDeclarator::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-04-04 21:46:25 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-10-18 17:44:55 +01:00
|
|
|
// NOTE: VariableDeclarator execution is handled by VariableDeclaration.
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-04-04 21:46:25 +02:00
|
|
|
}
|
|
|
|
|
2020-03-09 21:13:55 +01:00
|
|
|
void VariableDeclaration::dump(int indent) const
|
|
|
|
{
|
2020-04-08 11:59:18 +02:00
|
|
|
const char* declaration_kind_string = nullptr;
|
|
|
|
switch (m_declaration_kind) {
|
|
|
|
case DeclarationKind::Let:
|
|
|
|
declaration_kind_string = "Let";
|
2020-03-11 21:09:20 +02:00
|
|
|
break;
|
2020-04-08 11:59:18 +02:00
|
|
|
case DeclarationKind::Var:
|
|
|
|
declaration_kind_string = "Var";
|
2020-03-12 14:24:34 +02:00
|
|
|
break;
|
2020-04-08 11:59:18 +02:00
|
|
|
case DeclarationKind::Const:
|
|
|
|
declaration_kind_string = "Const";
|
2020-03-11 21:09:20 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2020-03-09 21:13:55 +01:00
|
|
|
ASTNode::dump(indent);
|
2020-03-11 21:09:20 +02:00
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{}", declaration_kind_string);
|
2020-04-04 21:46:25 +02:00
|
|
|
|
|
|
|
for (auto& declarator : m_declarations)
|
|
|
|
declarator.dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
void VariableDeclarator::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
m_id->dump(indent + 1);
|
|
|
|
if (m_init)
|
|
|
|
m_init->dump(indent + 1);
|
2020-03-09 21:13:55 +01:00
|
|
|
}
|
|
|
|
|
2020-04-23 19:37:53 +01:00
|
|
|
void ObjectProperty::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
m_key->dump(indent + 1);
|
|
|
|
m_value->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-09 21:28:31 +01:00
|
|
|
void ObjectExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
2020-04-23 19:37:53 +01:00
|
|
|
for (auto& property : m_properties) {
|
|
|
|
property.dump(indent + 1);
|
2020-03-21 02:29:00 +02:00
|
|
|
}
|
2020-03-09 21:28:31 +01:00
|
|
|
}
|
|
|
|
|
2020-03-11 19:27:43 +01:00
|
|
|
void ExpressionStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
m_expression->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value ObjectProperty::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-04-23 19:37:53 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-04-23 19:37:53 +01:00
|
|
|
// NOTE: ObjectProperty execution is handled by ObjectExpression.
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-04-23 19:37:53 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ObjectExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-09 21:28:31 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-07-22 17:50:18 +02:00
|
|
|
auto* object = Object::create_empty(global_object);
|
2020-04-23 19:37:53 +01:00
|
|
|
for (auto& property : m_properties) {
|
2020-07-07 21:38:46 -07:00
|
|
|
auto key = property.key().execute(interpreter, global_object);
|
2020-04-23 19:37:53 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-27 21:52:47 -07:00
|
|
|
|
2020-05-21 17:28:28 -07:00
|
|
|
if (property.type() == ObjectProperty::Type::Spread) {
|
2020-07-07 21:38:46 -07:00
|
|
|
if (key.is_array()) {
|
|
|
|
auto& array_to_spread = static_cast<Array&>(key.as_object());
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
for (auto& entry : array_to_spread.indexed_properties()) {
|
2020-11-06 22:49:36 +00:00
|
|
|
object->indexed_properties().put(object, entry.index(), entry.value_and_attributes(&array_to_spread).value);
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-27 21:52:47 -07:00
|
|
|
}
|
2020-07-07 21:38:46 -07:00
|
|
|
} else if (key.is_object()) {
|
|
|
|
auto& obj_to_spread = key.as_object();
|
2020-04-27 21:52:47 -07:00
|
|
|
|
2020-04-28 19:19:31 -07:00
|
|
|
for (auto& it : obj_to_spread.shape().property_table_ordered()) {
|
2020-06-07 10:53:14 -07:00
|
|
|
if (it.value.attributes.is_enumerable()) {
|
LibJS: Simplify and normalize publicly-exposed Object functions
Previously, the Object class had many different types of functions for
each action. For example: get_by_index, get(PropertyName),
get(FlyString). This is a bit verbose, so these methods have been
shortened to simply use the PropertyName structure. The methods then
internally call _by_index if necessary. Note that the _by_index
have been made private to enforce this change.
Secondly, a clear distinction has been made between "putting" and
"defining" an object property. "Putting" should mean modifying a
(potentially) already existing property. This is akin to doing "a.b =
'foo'".
This implies two things about put operations:
- They will search the prototype chain for setters and call them, if
necessary.
- If no property exists with a particular key, the put operation
should create a new property with the default attributes
(configurable, writable, and enumerable).
In contrast, "defining" a property should completely overwrite any
existing value without calling setters (if that property is
configurable, of course).
Thus, all of the many JS objects have had any "put" calls changed to
"define_property" calls. Additionally, "put_native_function" and
"put_native_property" have had their "put" replaced with "define".
Finally, "put_own_property" has been made private, as all necessary
functionality should be exposed with the put and define_property
methods.
2020-05-26 21:33:37 -07:00
|
|
|
object->define_property(it.key, obj_to_spread.get(it.key));
|
2020-06-07 10:53:14 -07:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
2020-04-27 21:52:47 -07:00
|
|
|
}
|
2020-07-07 21:38:46 -07:00
|
|
|
} else if (key.is_string()) {
|
|
|
|
auto& str_to_spread = key.as_string().string();
|
2020-04-27 21:52:47 -07:00
|
|
|
|
|
|
|
for (size_t i = 0; i < str_to_spread.length(); i++) {
|
2020-09-27 20:03:42 +02:00
|
|
|
object->define_property(i, js_string(interpreter.heap(), str_to_spread.substring(i, 1)));
|
2020-06-07 10:53:14 -07:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-27 21:52:47 -07:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto value = property.value().execute(interpreter, global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-05-21 17:28:28 -07:00
|
|
|
|
2020-06-08 13:31:21 -05:00
|
|
|
if (value.is_function() && property.is_method())
|
|
|
|
value.as_function().set_home_object(object);
|
|
|
|
|
2020-09-27 18:36:49 +02:00
|
|
|
String name = get_function_name(global_object, key);
|
2020-05-21 17:28:28 -07:00
|
|
|
if (property.type() == ObjectProperty::Type::Getter) {
|
2020-10-04 15:18:52 +01:00
|
|
|
name = String::formatted("get {}", name);
|
2020-05-21 17:28:28 -07:00
|
|
|
} else if (property.type() == ObjectProperty::Type::Setter) {
|
2020-10-04 15:18:52 +01:00
|
|
|
name = String::formatted("set {}", name);
|
2020-05-21 17:28:28 -07:00
|
|
|
}
|
|
|
|
|
|
|
|
update_function_name(value, name);
|
|
|
|
|
|
|
|
if (property.type() == ObjectProperty::Type::Getter || property.type() == ObjectProperty::Type::Setter) {
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(value.is_function());
|
2020-09-27 18:36:49 +02:00
|
|
|
object->define_accessor(PropertyName::from_value(global_object, key), value.as_function(), property.type() == ObjectProperty::Type::Getter, Attribute::Configurable | Attribute::Enumerable);
|
2020-06-13 21:23:33 -05:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-05-21 17:28:28 -07:00
|
|
|
} else {
|
2020-09-27 18:36:49 +02:00
|
|
|
object->define_property(PropertyName::from_value(global_object, key), value);
|
2020-06-07 10:53:14 -07:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-05-21 17:28:28 -07:00
|
|
|
}
|
2020-03-27 15:35:35 +01:00
|
|
|
}
|
2020-03-21 02:29:00 +02:00
|
|
|
return object;
|
2020-03-09 21:28:31 +01:00
|
|
|
}
|
|
|
|
|
2020-03-11 18:58:19 +01:00
|
|
|
void MemberExpression::dump(int indent) const
|
|
|
|
{
|
2020-03-20 20:51:03 +01:00
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("%{}(computed={})", class_name(), is_computed());
|
2020-03-11 18:58:19 +01:00
|
|
|
m_object->dump(indent + 1);
|
|
|
|
m_property->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
PropertyName MemberExpression::computed_property_name(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-20 20:51:03 +01:00
|
|
|
{
|
|
|
|
if (!is_computed()) {
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(is<Identifier>(*m_property));
|
LibJS: Simplify and normalize publicly-exposed Object functions
Previously, the Object class had many different types of functions for
each action. For example: get_by_index, get(PropertyName),
get(FlyString). This is a bit verbose, so these methods have been
shortened to simply use the PropertyName structure. The methods then
internally call _by_index if necessary. Note that the _by_index
have been made private to enforce this change.
Secondly, a clear distinction has been made between "putting" and
"defining" an object property. "Putting" should mean modifying a
(potentially) already existing property. This is akin to doing "a.b =
'foo'".
This implies two things about put operations:
- They will search the prototype chain for setters and call them, if
necessary.
- If no property exists with a particular key, the put operation
should create a new property with the default attributes
(configurable, writable, and enumerable).
In contrast, "defining" a property should completely overwrite any
existing value without calling setters (if that property is
configurable, of course).
Thus, all of the many JS objects have had any "put" calls changed to
"define_property" calls. Additionally, "put_native_function" and
"put_native_property" have had their "put" replaced with "define".
Finally, "put_own_property" has been made private, as all necessary
functionality should be exposed with the put and define_property
methods.
2020-05-26 21:33:37 -07:00
|
|
|
return static_cast<const Identifier&>(*m_property).string();
|
2020-03-20 20:51:03 +01:00
|
|
|
}
|
2020-10-07 19:54:36 +01:00
|
|
|
auto value = m_property->execute(interpreter, global_object);
|
2020-05-15 13:39:24 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(!value.is_empty());
|
2020-10-07 19:54:36 +01:00
|
|
|
return PropertyName::from_value(global_object, value);
|
2020-03-20 20:51:03 +01:00
|
|
|
}
|
|
|
|
|
2020-04-19 01:12:51 +01:00
|
|
|
String MemberExpression::to_string_approximation() const
|
|
|
|
{
|
|
|
|
String object_string = "<object>";
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<Identifier>(*m_object))
|
2020-04-19 01:12:51 +01:00
|
|
|
object_string = static_cast<const Identifier&>(*m_object).string();
|
|
|
|
if (is_computed())
|
2020-10-04 15:18:52 +01:00
|
|
|
return String::formatted("{}[<computed>]", object_string);
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY(is<Identifier>(*m_property));
|
2020-10-04 15:18:52 +01:00
|
|
|
return String::formatted("{}.{}", object_string, static_cast<const Identifier&>(*m_property).string());
|
2020-04-19 01:12:51 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value MemberExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-11 18:58:19 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto object_value = m_object->execute(interpreter, global_object);
|
2020-04-06 20:24:45 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 18:36:49 +02:00
|
|
|
auto* object_result = object_value.to_object(global_object);
|
2020-03-27 15:35:35 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-12 10:22:36 +01:00
|
|
|
auto property_name = computed_property_name(interpreter, global_object);
|
|
|
|
if (!property_name.is_valid())
|
|
|
|
return {};
|
|
|
|
return object_result->get(property_name).value_or(js_undefined());
|
2020-03-11 18:58:19 +01:00
|
|
|
}
|
|
|
|
|
2020-11-02 21:27:42 +00:00
|
|
|
void MetaProperty::dump(int indent) const
|
|
|
|
{
|
|
|
|
String name;
|
|
|
|
if (m_type == MetaProperty::Type::NewTarget)
|
|
|
|
name = "new.target";
|
|
|
|
else if (m_type == MetaProperty::Type::ImportMeta)
|
|
|
|
name = "import.meta";
|
|
|
|
else
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-11-02 21:27:42 +00:00
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{} {}", class_name(), name);
|
2020-11-02 21:27:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
Value MetaProperty::execute(Interpreter& interpreter, GlobalObject&) const
|
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-11-02 21:27:42 +00:00
|
|
|
if (m_type == MetaProperty::Type::NewTarget)
|
|
|
|
return interpreter.vm().get_new_target().value_or(js_undefined());
|
|
|
|
if (m_type == MetaProperty::Type::ImportMeta)
|
|
|
|
TODO();
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-11-02 21:27:42 +00:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value StringLiteral::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-12 12:19:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-09-27 20:03:42 +02:00
|
|
|
return js_string(interpreter.heap(), m_value);
|
2020-03-12 12:19:11 +01:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value NumericLiteral::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-12 12:19:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-03-12 12:19:11 +01:00
|
|
|
return Value(m_value);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value BigIntLiteral::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-06-06 01:14:10 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-09-27 20:00:38 +02:00
|
|
|
return js_bigint(interpreter.heap(), Crypto::SignedBigInteger::from_base10(m_value.substring(0, m_value.length() - 1)));
|
2020-06-06 01:14:10 +01:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value BooleanLiteral::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-12 12:19:11 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-03-12 12:19:11 +01:00
|
|
|
return Value(m_value);
|
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value NullLiteral::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-15 23:32:34 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-03-15 23:32:34 +02:00
|
|
|
return js_null();
|
|
|
|
}
|
|
|
|
|
2020-06-03 16:05:49 -07:00
|
|
|
void RegExpLiteral::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("{} (/{}/{})", class_name(), content(), flags());
|
2020-06-03 16:05:49 -07:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value RegExpLiteral::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-06-03 16:05:49 -07:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-06-08 20:57:54 +02:00
|
|
|
return RegExpObject::create(global_object, content(), flags());
|
2020-06-03 16:05:49 -07:00
|
|
|
}
|
|
|
|
|
2020-03-20 20:29:57 +01:00
|
|
|
void ArrayExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
for (auto& element : m_elements) {
|
2020-04-15 20:09:06 +01:00
|
|
|
if (element) {
|
|
|
|
element->dump(indent + 1);
|
|
|
|
} else {
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("<empty>");
|
2020-04-15 20:09:06 +01:00
|
|
|
}
|
2020-03-20 20:29:57 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ArrayExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-20 20:29:57 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-20 12:47:19 +02:00
|
|
|
auto* array = Array::create(global_object);
|
2020-03-20 20:29:57 +01:00
|
|
|
for (auto& element : m_elements) {
|
2020-04-15 20:09:06 +01:00
|
|
|
auto value = Value();
|
|
|
|
if (element) {
|
2020-06-08 20:57:54 +02:00
|
|
|
value = element->execute(interpreter, global_object);
|
2020-04-15 20:09:06 +01:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-04-26 23:05:37 -07:00
|
|
|
|
2021-01-01 19:34:07 +01:00
|
|
|
if (is<SpreadExpression>(*element)) {
|
2020-09-08 14:15:13 +02:00
|
|
|
get_iterator_values(global_object, value, [&](Value iterator_value) {
|
2020-07-13 08:27:20 -07:00
|
|
|
array->indexed_properties().append(iterator_value);
|
|
|
|
return IterationDecision::Continue;
|
|
|
|
});
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
continue;
|
2020-04-26 23:05:37 -07:00
|
|
|
}
|
2020-04-15 20:09:06 +01:00
|
|
|
}
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
array->indexed_properties().append(value);
|
2020-03-20 20:29:57 +01:00
|
|
|
}
|
|
|
|
return array;
|
|
|
|
}
|
|
|
|
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
void TemplateLiteral::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
2020-05-06 10:17:35 +01:00
|
|
|
for (auto& expression : m_expressions)
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
expression.dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value TemplateLiteral::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
StringBuilder string_builder;
|
|
|
|
|
2020-05-06 10:17:35 +01:00
|
|
|
for (auto& expression : m_expressions) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto expr = expression.execute(interpreter, global_object);
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 18:36:49 +02:00
|
|
|
auto string = expr.to_string(global_object);
|
2020-05-15 13:39:24 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
string_builder.append(string);
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
}
|
|
|
|
|
2020-09-27 20:03:42 +02:00
|
|
|
return js_string(interpreter.heap(), string_builder.build());
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
}
|
|
|
|
|
2020-05-06 10:17:35 +01:00
|
|
|
void TaggedTemplateLiteral::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Tag)");
|
2020-05-06 10:17:35 +01:00
|
|
|
m_tag->dump(indent + 2);
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Template Literal)");
|
2020-05-06 10:17:35 +01:00
|
|
|
m_template_literal->dump(indent + 2);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value TaggedTemplateLiteral::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-05-06 10:17:35 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-10-13 23:49:19 +02:00
|
|
|
auto& vm = interpreter.vm();
|
2020-06-08 20:57:54 +02:00
|
|
|
auto tag = m_tag->execute(interpreter, global_object);
|
2020-10-13 23:49:19 +02:00
|
|
|
if (vm.exception())
|
2020-05-06 10:17:35 +01:00
|
|
|
return {};
|
|
|
|
if (!tag.is_function()) {
|
2020-10-13 23:49:19 +02:00
|
|
|
vm.throw_exception<TypeError>(global_object, ErrorType::NotAFunction, tag.to_string_without_side_effects());
|
2020-05-06 10:17:35 +01:00
|
|
|
return {};
|
|
|
|
}
|
|
|
|
auto& tag_function = tag.as_function();
|
|
|
|
auto& expressions = m_template_literal->expressions();
|
2020-06-20 12:47:19 +02:00
|
|
|
auto* strings = Array::create(global_object);
|
2020-10-13 23:49:19 +02:00
|
|
|
MarkedValueList arguments(vm.heap());
|
2020-05-06 10:17:35 +01:00
|
|
|
arguments.append(strings);
|
|
|
|
for (size_t i = 0; i < expressions.size(); ++i) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto value = expressions[i].execute(interpreter, global_object);
|
2020-10-13 23:49:19 +02:00
|
|
|
if (vm.exception())
|
2020-05-06 10:17:35 +01:00
|
|
|
return {};
|
|
|
|
// tag`${foo}` -> "", foo, "" -> tag(["", ""], foo)
|
|
|
|
// tag`foo${bar}baz${qux}` -> "foo", bar, "baz", qux, "" -> tag(["foo", "baz", ""], bar, qux)
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
if (i % 2 == 0) {
|
|
|
|
strings->indexed_properties().append(value);
|
|
|
|
} else {
|
2020-05-06 10:17:35 +01:00
|
|
|
arguments.append(value);
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
}
|
2020-05-06 10:17:35 +01:00
|
|
|
}
|
2020-05-06 16:34:14 -07:00
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto* raw_strings = Array::create(global_object);
|
2020-05-06 16:34:14 -07:00
|
|
|
for (auto& raw_string : m_template_literal->raw_strings()) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto value = raw_string.execute(interpreter, global_object);
|
2020-10-13 23:49:19 +02:00
|
|
|
if (vm.exception())
|
2020-05-06 16:34:14 -07:00
|
|
|
return {};
|
LibJS: Object index properties have descriptors; Handle sparse indices
This patch adds an IndexedProperties object for storing indexed
properties within an Object. This accomplishes two goals: indexed
properties now have an associated descriptor, and objects now gracefully
handle sparse properties.
The IndexedProperties class is a wrapper around two other classes, one
for simple indexed properties storage, and one for general indexed
property storage. Simple indexed property storage is the common-case,
and is simply a vector of properties which all have attributes of
default_attributes (writable, enumerable, and configurable).
General indexed property storage is for a collection of indexed
properties where EITHER one or more properties have attributes other
than default_attributes OR there is a property with a large index (in
particular, large is '200' or higher).
Indexed properties are now treated relatively the same as storage within
the various Object methods. Additionally, there is a custom iterator
class for IndexedProperties which makes iteration easy. The iterator
skips empty values by default, but can be configured otherwise.
Likewise, it evaluates getters by default, but can be set not to.
2020-05-27 11:35:09 -07:00
|
|
|
raw_strings->indexed_properties().append(value);
|
2020-05-06 16:34:14 -07:00
|
|
|
}
|
2020-10-13 23:49:19 +02:00
|
|
|
strings->define_property(vm.names.raw, raw_strings, 0);
|
|
|
|
return vm.call(tag_function, js_undefined(), move(arguments));
|
2020-05-06 10:17:35 +01:00
|
|
|
}
|
|
|
|
|
2020-03-24 14:03:55 +01:00
|
|
|
void TryStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Block)");
|
2020-03-24 14:03:55 +01:00
|
|
|
block().dump(indent + 1);
|
|
|
|
|
|
|
|
if (handler()) {
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Handler)");
|
2020-03-24 14:03:55 +01:00
|
|
|
handler()->dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (finalizer()) {
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Finalizer)");
|
2020-03-24 14:03:55 +01:00
|
|
|
finalizer()->dump(indent + 1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void CatchClause::dump(int indent) const
|
|
|
|
{
|
|
|
|
print_indent(indent);
|
2020-12-06 16:55:19 +00:00
|
|
|
if (m_parameter.is_null())
|
|
|
|
outln("CatchClause");
|
|
|
|
else
|
|
|
|
outln("CatchClause ({})", m_parameter);
|
2020-03-24 14:03:55 +01:00
|
|
|
body().dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-03-24 22:03:50 +01:00
|
|
|
void ThrowStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
argument().dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value TryStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-24 14:03:55 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2021-04-03 14:56:54 +02:00
|
|
|
auto result = interpreter.execute_statement(global_object, m_block, ScopeType::Try);
|
2020-03-24 14:37:39 +01:00
|
|
|
if (auto* exception = interpreter.exception()) {
|
|
|
|
if (m_handler) {
|
2020-09-21 15:28:09 +02:00
|
|
|
interpreter.vm().clear_exception();
|
2020-12-08 18:12:39 +01:00
|
|
|
|
|
|
|
HashMap<FlyString, Variable> parameters;
|
|
|
|
parameters.set(m_handler->parameter(), Variable { exception->value(), DeclarationKind::Var });
|
|
|
|
auto* catch_scope = interpreter.heap().allocate<LexicalEnvironment>(global_object, move(parameters), interpreter.vm().call_frame().scope);
|
|
|
|
TemporaryChange<ScopeObject*> scope_change(interpreter.vm().call_frame().scope, catch_scope);
|
2021-04-03 14:56:54 +02:00
|
|
|
result = interpreter.execute_statement(global_object, m_handler->body());
|
2020-03-24 14:37:39 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-09-11 23:30:00 +01:00
|
|
|
if (m_finalizer) {
|
|
|
|
// Keep, if any, and then clear the current exception so we can
|
|
|
|
// execute() the finalizer without an exception in our way.
|
|
|
|
auto* previous_exception = interpreter.exception();
|
2020-09-21 15:28:09 +02:00
|
|
|
interpreter.vm().clear_exception();
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().stop_unwind();
|
2021-04-03 14:56:54 +02:00
|
|
|
result = m_finalizer->execute(interpreter, global_object);
|
2020-09-11 23:30:00 +01:00
|
|
|
// If we previously had an exception and the finalizer didn't
|
|
|
|
// throw a new one, restore the old one.
|
|
|
|
// FIXME: This will print debug output in throw_exception() for
|
2021-04-03 14:56:54 +02:00
|
|
|
// a second time with m_should_log_exceptions enabled.
|
2020-09-11 23:30:00 +01:00
|
|
|
if (previous_exception && !interpreter.exception())
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().throw_exception(previous_exception);
|
2020-09-11 23:30:00 +01:00
|
|
|
}
|
2020-03-24 14:37:39 +01:00
|
|
|
|
2021-04-03 14:56:54 +02:00
|
|
|
return result;
|
2020-03-24 14:03:55 +01:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value CatchClause::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-24 14:03:55 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-03-24 14:37:39 +01:00
|
|
|
// NOTE: CatchClause execution is handled by TryStatement.
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-03-24 14:03:55 +01:00
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ThrowStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-24 22:03:50 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-06-08 20:57:54 +02:00
|
|
|
auto value = m_argument->execute(interpreter, global_object);
|
2020-09-27 15:18:55 +02:00
|
|
|
if (interpreter.vm().exception())
|
2020-03-27 15:35:35 +01:00
|
|
|
return {};
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().throw_exception(global_object, value);
|
2020-08-25 12:52:32 +02:00
|
|
|
return {};
|
2020-03-24 22:03:50 +01:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value SwitchStatement::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-03-29 13:09:54 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto discriminant_result = m_discriminant->execute(interpreter, global_object);
|
2020-03-29 14:34:25 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
|
|
|
|
bool falling_through = false;
|
|
|
|
|
|
|
|
for (auto& switch_case : m_cases) {
|
|
|
|
if (!falling_through && switch_case.test()) {
|
2020-06-08 20:57:54 +02:00
|
|
|
auto test_result = switch_case.test()->execute(interpreter, global_object);
|
2020-03-29 14:34:25 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 18:36:49 +02:00
|
|
|
if (!strict_eq(discriminant_result, test_result))
|
2020-03-29 14:34:25 +02:00
|
|
|
continue;
|
|
|
|
}
|
|
|
|
falling_through = true;
|
|
|
|
|
|
|
|
for (auto& statement : switch_case.consequent()) {
|
2020-10-18 17:44:55 +01:00
|
|
|
auto last_value = statement.execute(interpreter, global_object);
|
2020-03-29 14:34:25 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
2020-09-27 15:18:55 +02:00
|
|
|
if (interpreter.vm().should_unwind()) {
|
2020-10-18 17:44:55 +01:00
|
|
|
if (interpreter.vm().should_unwind_until(ScopeType::Continuable, m_label)) {
|
2020-10-18 18:01:12 +01:00
|
|
|
// No stop_unwind(), the outer loop will handle that - we just need to break out of the switch/case.
|
|
|
|
return {};
|
2020-10-18 17:44:55 +01:00
|
|
|
} else if (interpreter.vm().should_unwind_until(ScopeType::Breakable, m_label)) {
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().stop_unwind();
|
2020-04-05 00:09:48 +02:00
|
|
|
return {};
|
2020-10-18 17:44:55 +01:00
|
|
|
} else {
|
|
|
|
return last_value;
|
2020-04-05 00:09:48 +02:00
|
|
|
}
|
|
|
|
}
|
2020-03-29 14:34:25 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-06 20:24:45 +02:00
|
|
|
return js_undefined();
|
2020-03-29 13:09:54 +02:00
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value SwitchCase::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-29 13:09:54 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-10-18 17:44:55 +01:00
|
|
|
// NOTE: SwitchCase execution is handled by SwitchStatement.
|
2021-02-23 20:42:32 +01:00
|
|
|
VERIFY_NOT_REACHED();
|
2020-03-29 13:09:54 +02:00
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value BreakStatement::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-03-29 13:09:54 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().unwind(ScopeType::Breakable, m_target_label);
|
2021-03-16 09:12:34 +01:00
|
|
|
return {};
|
2020-03-29 13:09:54 +02:00
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ContinueStatement::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-04-05 00:22:42 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-09-27 15:18:55 +02:00
|
|
|
interpreter.vm().unwind(ScopeType::Continuable, m_target_label);
|
2021-03-16 09:12:34 +01:00
|
|
|
return {};
|
2020-04-05 00:22:42 +02:00
|
|
|
}
|
|
|
|
|
2020-03-29 13:09:54 +02:00
|
|
|
void SwitchStatement::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
m_discriminant->dump(indent + 1);
|
|
|
|
for (auto& switch_case : m_cases) {
|
|
|
|
switch_case.dump(indent + 1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void SwitchCase::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
2020-05-04 19:01:24 +01:00
|
|
|
print_indent(indent + 1);
|
2020-03-29 13:09:54 +02:00
|
|
|
if (m_test) {
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Test)");
|
2020-05-04 19:01:24 +01:00
|
|
|
m_test->dump(indent + 2);
|
2020-03-29 13:09:54 +02:00
|
|
|
} else {
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Default)");
|
2020-03-29 13:09:54 +02:00
|
|
|
}
|
2020-05-04 19:01:24 +01:00
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Consequent)");
|
2020-05-04 19:01:24 +01:00
|
|
|
for (auto& statement : m_consequent)
|
|
|
|
statement.dump(indent + 2);
|
2020-03-29 13:09:54 +02:00
|
|
|
}
|
2020-04-01 18:31:24 +01:00
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value ConditionalExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-03 12:14:28 +02:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
auto test_result = m_test->execute(interpreter, global_object);
|
2020-04-03 12:14:28 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
Value result;
|
|
|
|
if (test_result.to_boolean()) {
|
2020-06-08 20:57:54 +02:00
|
|
|
result = m_consequent->execute(interpreter, global_object);
|
2020-04-03 12:14:28 +02:00
|
|
|
} else {
|
2020-06-08 20:57:54 +02:00
|
|
|
result = m_alternate->execute(interpreter, global_object);
|
2020-04-03 12:14:28 +02:00
|
|
|
}
|
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
|
|
|
void ConditionalExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Test)");
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
m_test->dump(indent + 2);
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Consequent)");
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
m_consequent->dump(indent + 2);
|
|
|
|
print_indent(indent + 1);
|
2020-12-06 16:55:19 +00:00
|
|
|
outln("(Alternate)");
|
LibJS: Add template literals
Adds fully functioning template literals. Because template literals
contain expressions, most of the work has to be done in the Lexer rather
than the Parser. And because of the complexity of template literals
(expressions, nesting, escapes, etc), the Lexer needs to have some
template-related state.
When entering a new template literal, a TemplateLiteralStart token is
emitted. When inside a literal, all text will be parsed up until a '${'
or '`' (or EOF, but that's a syntax error) is seen, and then a
TemplateLiteralExprStart token is emitted. At this point, the Lexer
proceeds as normal, however it keeps track of the number of opening
and closing curly braces it has seen in order to determine the close
of the expression. Once it finds a matching curly brace for the '${',
a TemplateLiteralExprEnd token is emitted and the state is updated
accordingly.
When the Lexer is inside of a template literal, but not an expression,
and sees a '`', this must be the closing grave: a TemplateLiteralEnd
token is emitted.
The state required to correctly parse template strings consists of a
vector (for nesting) of two pieces of information: whether or not we
are in a template expression (as opposed to a template string); and
the count of the number of unmatched open curly braces we have seen
(only applicable if the Lexer is currently in a template expression).
TODO: Add support for template literal newlines in the JS REPL (this will
cause a syntax error currently):
> `foo
> bar`
'foo
bar'
2020-05-03 15:41:14 -07:00
|
|
|
m_alternate->dump(indent + 2);
|
2020-04-03 12:14:28 +02:00
|
|
|
}
|
|
|
|
|
2020-04-07 15:11:05 +02:00
|
|
|
void SequenceExpression::dump(int indent) const
|
|
|
|
{
|
|
|
|
ASTNode::dump(indent);
|
|
|
|
for (auto& expression : m_expressions)
|
|
|
|
expression.dump(indent + 1);
|
|
|
|
}
|
|
|
|
|
2020-06-08 20:57:54 +02:00
|
|
|
Value SequenceExpression::execute(Interpreter& interpreter, GlobalObject& global_object) const
|
2020-04-07 15:11:05 +02:00
|
|
|
{
|
2021-03-21 17:38:42 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-12-28 20:45:22 +03:30
|
|
|
|
2020-04-07 15:11:05 +02:00
|
|
|
Value last_value;
|
|
|
|
for (auto& expression : m_expressions) {
|
2020-06-08 20:57:54 +02:00
|
|
|
last_value = expression.execute(interpreter, global_object);
|
2020-04-07 15:11:05 +02:00
|
|
|
if (interpreter.exception())
|
|
|
|
return {};
|
|
|
|
}
|
|
|
|
return last_value;
|
|
|
|
}
|
|
|
|
|
2020-12-28 20:45:22 +03:30
|
|
|
Value DebuggerStatement::execute(Interpreter& interpreter, GlobalObject&) const
|
2020-04-30 17:26:27 +01:00
|
|
|
{
|
2021-03-16 10:51:55 +01:00
|
|
|
InterpreterNodeScope node_scope { interpreter, *this };
|
2020-07-03 22:46:12 -07:00
|
|
|
// Sorry, no JavaScript debugger available (yet)!
|
2021-03-16 09:12:34 +01:00
|
|
|
return {};
|
2020-04-30 17:26:27 +01:00
|
|
|
}
|
|
|
|
|
2020-04-13 16:42:54 +02:00
|
|
|
void ScopeNode::add_variables(NonnullRefPtrVector<VariableDeclaration> variables)
|
|
|
|
{
|
|
|
|
m_variables.append(move(variables));
|
|
|
|
}
|
|
|
|
|
2020-06-04 14:48:36 +02:00
|
|
|
void ScopeNode::add_functions(NonnullRefPtrVector<FunctionDeclaration> functions)
|
|
|
|
{
|
|
|
|
m_functions.append(move(functions));
|
|
|
|
}
|
|
|
|
|
2020-03-07 19:42:11 +01:00
|
|
|
}
|