blob: 919776ee38d30da43138824c56cc6430232db37a (
plain)
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
|
//! 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()
}
|
