Userland/Libraries/LibJS/Runtime/ErrorConstructor.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

/*
 * Copyright (c) 2020-2022, Linus Groh <linusg@serenityos.org>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#include <LibJS/Runtime/AbstractOperations.h>
#include <LibJS/Runtime/Error.h>
#include <LibJS/Runtime/ErrorConstructor.h>
#include <LibJS/Runtime/GlobalObject.h>

namespace JS {

ErrorConstructor::ErrorConstructor(Realm& realm)
    : NativeFunction(realm.vm().names.Error.as_string(), *realm.intrinsics().function_prototype())
{
}

void ErrorConstructor::initialize(Realm& realm)
{
    auto& vm = this->vm();
    NativeFunction::initialize(realm);

    // 20.5.2.1 Error.prototype, https://tc39.es/ecma262/#sec-error.prototype
    define_direct_property(vm.names.prototype, realm.intrinsics().error_prototype(), 0);

    define_direct_property(vm.names.length, Value(1), Attribute::Configurable);
}

// 20.5.1.1 Error ( message [ , options ] ), https://tc39.es/ecma262/#sec-error-message
ThrowCompletionOr<Value> ErrorConstructor::call()
{
    // 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget.
    return TRY(construct(*this));
}

// 20.5.1.1 Error ( message [ , options ] ), https://tc39.es/ecma262/#sec-error-message
ThrowCompletionOr<NonnullGCPtr<Object>> ErrorConstructor::construct(FunctionObject& new_target)
{
    auto& vm = this->vm();

    auto message = vm.argument(0);
    auto options = vm.argument(1);

    // 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%Error.prototype%", « [[ErrorData]] »).
    auto error = TRY(ordinary_create_from_constructor<Error>(vm, new_target, &Intrinsics::error_prototype));

    // 3. If message is not undefined, then
    if (!message.is_undefined()) {
        // a. Let msg be ? ToString(message).
        auto msg = TRY(message.to_deprecated_string(vm));

        // b. Perform CreateNonEnumerableDataPropertyOrThrow(O, "message", msg).
        error->create_non_enumerable_data_property_or_throw(vm.names.message, PrimitiveString::create(vm, move(msg)));
    }

    // 4. Perform ? InstallErrorCause(O, options).
    TRY(error->install_error_cause(options));

    // 5. Return O.
    return error;
}

#define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName, ArrayType)                                        \
    ConstructorName::ConstructorName(Realm& realm)                                                                              \
        : NativeFunction(realm.vm().names.ClassName.as_string(), *static_cast<Object*>(realm.intrinsics().error_constructor())) \
    {                                                                                                                           \
    }                                                                                                                           \
                                                                                                                                \
    void ConstructorName::initialize(Realm& realm)                                                                              \
    {                                                                                                                           \
        auto& vm = this->vm();                                                                                                  \
        NativeFunction::initialize(realm);                                                                                      \
                                                                                                                                \
        /* 20.5.6.2.1 NativeError.prototype, https://tc39.es/ecma262/#sec-nativeerror.prototype */                              \
        define_direct_property(vm.names.prototype, realm.intrinsics().snake_name##_prototype(), 0);                             \
                                                                                                                                \
        define_direct_property(vm.names.length, Value(1), Attribute::Configurable);                                             \
    }                                                                                                                           \
                                                                                                                                \
    ConstructorName::~ConstructorName() = default;                                                                              \
                                                                                                                                \
    /* 20.5.6.1.1 NativeError ( message [ , options ] ), https://tc39.es/ecma262/#sec-nativeerror */                            \
    ThrowCompletionOr<Value> ConstructorName::call()                                                                            \
    {                                                                                                                           \
        /* 1. If NewTarget is undefined, let newTarget be the active function object; else let newTarget be NewTarget. */       \
        return TRY(construct(*this));                                                                                           \
    }                                                                                                                           \
                                                                                                                                \
    /* 20.5.6.1.1 NativeError ( message [ , options ] ), https://tc39.es/ecma262/#sec-nativeerror */                            \
    ThrowCompletionOr<NonnullGCPtr<Object>> ConstructorName::construct(FunctionObject& new_target)                              \
    {                                                                                                                           \
        auto& vm = this->vm();                                                                                                  \
                                                                                                                                \
        auto message = vm.argument(0);                                                                                          \
        auto options = vm.argument(1);                                                                                          \
                                                                                                                                \
        /* 2. Let O be ? OrdinaryCreateFromConstructor(newTarget, "%NativeError.prototype%", « [[ErrorData]] »). */           \
        auto error = TRY(ordinary_create_from_constructor<ClassName>(vm, new_target, &Intrinsics::snake_name##_prototype));     \
                                                                                                                                \
        /* 3. If message is not undefined, then */                                                                              \
        if (!message.is_undefined()) {                                                                                          \
            /* a. Let msg be ? ToString(message). */                                                                            \
            auto msg = TRY(message.to_deprecated_string(vm));                                                                   \
                                                                                                                                \
            /* b. Perform CreateNonEnumerableDataPropertyOrThrow(O, "message", msg). */                                         \
            error->create_non_enumerable_data_property_or_throw(vm.names.message, PrimitiveString::create(vm, move(msg)));      \
        }                                                                                                                       \
                                                                                                                                \
        /* 4. Perform ? InstallErrorCause(O, options). */                                                                       \
        TRY(error->install_error_cause(options));                                                                               \
                                                                                                                                \
        /* 5. Return O. */                                                                                                      \
        return error;                                                                                                           \
    }

JS_ENUMERATE_NATIVE_ERRORS
#undef __JS_ENUMERATE

}