Struct ScopeTree 

pub struct ScopeTree<K: ScopeKindTrait> {
    pub scopes: Vec<Scope<K>>,
    pub interner: StringInterner,
    pub class_members: ClassMemberIndex,
    pub class_infos: ClassInfoIndex,
    pub debug: DebugLogLimiter,
    pub content_len: usize,
    /* private fields */
}

Per-file scope tree with variable binding and resolution.

Generic over K, a language-specific ScopeKind enum that implements ScopeKindTrait.

Fields

scopes: Vec<Scope<K>>

All scopes, indexed by ScopeId.

interner: StringInterner

String deduplication cache.

class_members: ClassMemberIndex

Class member tracking (for OOP languages).

class_infos: ClassInfoIndex

Class info index (for type name resolution).

debug: DebugLogLimiter

Rate-limited debug logger.

content_len: usize

Total content length in bytes (for span validation).

Implementations

impl<K: ScopeKindTrait> ScopeTree<K>

pub fn new(content_len: usize) -> Self

Create a new empty scope tree for the given content length.

Language plugins should populate the tree using add_scope(), add_binding(), and rebuild_index().

pub fn attach_node_id( &mut self, name: &str, decl_start_byte: usize, node_id: NodeId, ) -> bool

Attach a graph NodeId to an existing variable binding.

First tries exact match by name + byte position. Falls back to a fuzzy match (single unattached binding with the same name). Returns true if a binding was found and updated.

pub fn resolve_identifier( &mut self, usage_byte: usize, identifier: &str, ) -> ResolutionOutcome

Resolve an identifier to a local variable, class member, or no-match.

This is the primary entry point for resolution. It:

1. Finds the innermost scope at the usage byte position
2. Builds a scope chain to the root
3. Detects class boundaries and handles capture semantics
4. Falls back to class member resolution for OOP languages

pub fn is_known_type_name(&self, name: &str) -> bool

Quick check if a name is a known type/class name.

pub fn has_local_binding(&self, name: &str, byte: usize) -> bool

Quick check if a local variable binding exists for name at the given byte position.

pub fn resolve_local_in_chain( &self, identifier: &str, usage_byte: usize, chain: &[ScopeId], ) -> Option<LocalBindingMatch>

Walk a scope chain looking for a binding matching identifier before usage_byte.

pub fn resolve_class_member( &mut self, scope_id: ScopeId, identifier: &str, ) -> Option<ResolutionOutcome>

Resolve a class member by scope ID and identifier name.

pub fn innermost_scope_at(&self, byte: usize) -> Option<ScopeId>

Find the innermost (deepest) scope containing the given byte position.

Uses a sorted interval index with binary search + reverse scan for O(log n) lookup.

pub fn scope_chain(&self, innermost: ScopeId) -> Vec<ScopeId>

Build the parent chain from a scope to the root.

pub fn add_scope( &mut self, kind: K, start_byte: usize, end_byte: usize, parent: Option<ScopeId>, ) -> Option<ScopeId>

Add a new scope to the tree.

Returns None if the span is invalid (start > end or beyond content).

pub fn rebuild_index(&mut self)

Rebuild the interval index from the current scopes.

Must be called after adding scopes and before performing lookups.

pub fn add_binding( &mut self, scope_id: ScopeId, name: &str, decl_start_byte: usize, decl_end_byte: usize, declarator_end_byte: usize, initializer_start_byte: Option<usize>, )

Add a variable binding to a scope.

Performs overlap detection before adding. If the binding would overlap with an existing binding in the same or enclosing scope (depending on language rules), it is silently rejected.

Trait Implementations

impl<K: Debug + ScopeKindTrait> Debug for ScopeTree<K>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.