From 36d22d82aa202bb199967e9512281e9a53db42c9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 21:33:14 +0200 Subject: Adding upstream version 115.7.0esr. Signed-off-by: Daniel Baumann --- js/src/frontend/AbstractScopePtr.h | 90 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 90 insertions(+) create mode 100644 js/src/frontend/AbstractScopePtr.h (limited to 'js/src/frontend/AbstractScopePtr.h') diff --git a/js/src/frontend/AbstractScopePtr.h b/js/src/frontend/AbstractScopePtr.h new file mode 100644 index 0000000000..33867632f4 --- /dev/null +++ b/js/src/frontend/AbstractScopePtr.h @@ -0,0 +1,90 @@ +/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- + * vim: set ts=8 sts=2 et sw=2 tw=80: + * This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +#ifndef frontend_AbstractScopePtr_h +#define frontend_AbstractScopePtr_h + +#include + +#include "frontend/ScopeIndex.h" +#include "vm/ScopeKind.h" // For ScopeKind + +namespace js { +class Scope; +class GlobalScope; +class EvalScope; + +namespace frontend { +struct CompilationState; +class ScopeStencil; +} // namespace frontend + +// An interface class to support Scope queries in the frontend without requiring +// a GC Allocated scope to necessarily exist. +// +// This abstracts Scope* and a ScopeStencil type used within the frontend before +// the Scope is allocated. +// +// Queries to GC Scope should be pre-calculated and stored into ScopeContext. +class AbstractScopePtr { + private: + // ScopeIndex::invalid() if this points CompilationInput.enclosingScope. + ScopeIndex index_; + + frontend::CompilationState& compilationState_; + + public: + friend class js::Scope; + + AbstractScopePtr(frontend::CompilationState& compilationState, + ScopeIndex index) + : index_(index), compilationState_(compilationState) {} + + static AbstractScopePtr compilationEnclosingScope( + frontend::CompilationState& compilationState) { + return AbstractScopePtr(compilationState, ScopeIndex::invalid()); + } + + private: + bool isScopeStencil() const { return index_.isValid(); } + + frontend::ScopeStencil& scopeData() const; + + public: + // This allows us to check whether or not this provider wraps + // or otherwise would reify to a particular scope type. + template + bool is() const { + static_assert(std::is_base_of_v, + "Trying to ask about non-Scope type"); + return kind() == T::classScopeKind_; + } + + ScopeKind kind() const; + AbstractScopePtr enclosing() const; + bool hasEnvironment() const; + // Valid iff is + bool isArrow() const; + +#ifdef DEBUG + bool hasNonSyntacticScopeOnChain() const; +#endif +}; + +// Specializations of AbstractScopePtr::is +template <> +inline bool AbstractScopePtr::is() const { + return kind() == ScopeKind::Global || kind() == ScopeKind::NonSyntactic; +} + +template <> +inline bool AbstractScopePtr::is() const { + return kind() == ScopeKind::Eval || kind() == ScopeKind::StrictEval; +} + +} // namespace js + +#endif // frontend_AbstractScopePtr_h -- cgit v1.2.3