ladybird/Userland/Libraries/LibJS/Runtime/GlobalEnvironmentRecord.h

/*
 * Copyright (c) 2021, Andreas Kling <kling@serenityos.org>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

#include <LibJS/Runtime/EnvironmentRecord.h>

namespace JS {

class GlobalEnvironmentRecord final : public EnvironmentRecord {
    JS_ENVIRONMENT_RECORD(GlobalEnvironmentRecord, EnvironmentRecord);

public:
    explicit GlobalEnvironmentRecord(GlobalObject&);

    virtual Optional<Variable> get_from_environment_record(FlyString const&) const override;
    virtual void put_into_environment_record(FlyString const&, Variable) override;
    virtual bool delete_from_environment_record(FlyString const&) override;
    virtual bool has_this_binding() const final { return true; }
    virtual Value get_this_binding(GlobalObject&) const final;

    virtual bool has_binding(FlyString const& name) const override;
    virtual void create_mutable_binding(GlobalObject&, FlyString const& name, bool can_be_deleted) override;
    virtual void create_immutable_binding(GlobalObject&, FlyString const& name, bool strict) override;
    virtual void initialize_binding(GlobalObject&, FlyString const& name, Value) override;
    virtual void set_mutable_binding(GlobalObject&, FlyString const& name, Value, bool strict) override;
    virtual Value get_binding_value(GlobalObject&, FlyString const& name, bool strict) override;
    virtual bool delete_binding(GlobalObject&, FlyString const& name) override;

    Value global_this_value() const;

    // [[ObjectRecord]]
    ObjectEnvironmentRecord& object_record() { return *m_object_record; }

    // [[DeclarativeRecord]]
    DeclarativeEnvironmentRecord& declarative_record() { return *m_declarative_record; }

    bool has_var_declaration(FlyString const& name) const;
    bool has_lexical_declaration(FlyString const& name) const;
    bool has_restricted_global_property(FlyString const& name) const;
    bool can_declare_global_var(FlyString const& name) const;
    bool can_declare_global_function(FlyString const& name) const;
    void create_global_var_binding(FlyString const& name, bool can_be_deleted);
    void create_global_function_binding(FlyString const& name, Value, bool can_be_deleted);

private:
    virtual bool is_global_environment_record() const override { return true; }
    virtual void visit_edges(Visitor&) override;

    GlobalObject& m_global_object;

    ObjectEnvironmentRecord* m_object_record { nullptr };
    DeclarativeEnvironmentRecord* m_declarative_record { nullptr };

    Vector<FlyString> m_var_names;
};

template<>
inline bool EnvironmentRecord::fast_is<GlobalEnvironmentRecord>() const { return is_global_environment_record(); }
}