diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 19:33:14 +0000 |
commit | 36d22d82aa202bb199967e9512281e9a53db42c9 (patch) | |
tree | 105e8c98ddea1c1e4784a60a5a6410fa416be2de /third_party/rust/jsparagus-scope/src/lib.rs | |
parent | Initial commit. (diff) | |
download | firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip |
Adding upstream version 115.7.0esr.upstream/115.7.0esr
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'third_party/rust/jsparagus-scope/src/lib.rs')
-rw-r--r-- | third_party/rust/jsparagus-scope/src/lib.rs | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/third_party/rust/jsparagus-scope/src/lib.rs b/third_party/rust/jsparagus-scope/src/lib.rs new file mode 100644 index 0000000000..919776ee38 --- /dev/null +++ b/third_party/rust/jsparagus-scope/src/lib.rs @@ -0,0 +1,36 @@ +//! Collect information about scopes and bindings, used by the emitter. +//! +//! Scope analysis happens in a separate pass after the AST is built: +//! +//! 1. Parse the script, check for early errors, and build an AST. +//! 2. Traverse the AST and do scope analysis (this crate). +//! 3. Traverse the AST and emit bytecode. +//! +//! The output of this analysis is a `ScopeDataMapAndFunctionMap` +//! describing each scope, binding, and function in the AST. + +mod builder; +pub mod data; +pub mod free_name_tracker; +mod pass; + +extern crate jsparagus_ast as ast; +extern crate jsparagus_stencil as stencil; + +use ast::visit::Pass; + +pub use builder::ScopeBuildError; +pub use pass::ScopePassResult; + +/// Visit all nodes in the AST, and create a scope data. +/// +/// `ast` must already have been checked for early errors. This analysis does +/// not check for errors, even scope-related errors like redeclaration of a +/// `let` variable. +pub fn generate_scope_data<'alloc, 'a>( + ast: &'alloc ast::types::Program<'alloc>, +) -> ScopePassResult { + let mut scope_pass = pass::ScopePass::new(); + scope_pass.visit_program(ast); + scope_pass.into() +} |