Function resolve_in_top_level

src/completion/variable/forward_walk.rs:2491–2511

Resolve the target variable from top-level code (outside any function or class body) using the forward walker. Seeds superglobals, then walks all top-level statements forward to the cursor, skipping class/function/interface/enum/trait declarations (which have their own isolated scopes).

(
    var_name: &str,
    statements: impl Iterator<Item = &'b Statement<'b>>,
    ctx: &ForwardWalkCtx<'_>,
)

/// the cursor, skipping class/function/interface/enum/trait declarations
/// (which have their own isolated scopes).
pub(crate) fn resolve_in_top_level<'b>(
    var_name: &str,
    statements: impl Iterator<Item = &'b Statement<'b>>,
    ctx: &ForwardWalkCtx<'_>,
) -> Option<Vec<ResolvedType>> {
    let mut scope = ScopeState::new();

    // Seed superglobals so that `$_GET`, `$_POST`, etc. resolve.
    seed_superglobals(&mut scope);

    // Walk the top-level statements forward.
    walk_body_forward(statements, &mut scope, ctx);

    // Return `Some` when the variable exists in scope (even with
    // empty types), `None` when it was never seen.
    if scope.contains(var_name) {
        Some(scope.get(var_name).to_vec())
    } else {
        None
    }
}

/// Walk top-level statements to build a scope of variable types for
/// `global` keyword resolution.  This is a lightweight walk that only