Function collect_from_statement

src/diagnostics/undefined_variables.rs:227–277

Walk a top-level statement, recursing into namespace blocks, class declarations, and function bodies.

(
    stmt: &Statement<'_>,
    ctx: &mut DiagnosticCtx<'_>,
    resolver: Option<ByRefResolver<'_>>,
)

/// Walk a top-level statement, recursing into namespace blocks,
/// class declarations, and function bodies.
fn collect_from_statement(
    stmt: &Statement<'_>,
    ctx: &mut DiagnosticCtx<'_>,
    resolver: Option<ByRefResolver<'_>>,
) {
    match stmt {
        Statement::Function(func) => {
            let body_start = func.body.left_brace.start.offset;
            let body_end = func.body.right_brace.end.offset;
            let scope = collect_function_scope_with_resolver(
                &func.parameter_list,
                func.body.statements.as_slice(),
                body_start,
                body_end,
                resolver,
            );
            check_scope(
                &scope,
                func.body.statements.as_slice(),
                ctx,
                false, // not a method
            );
        }
        Statement::Class(class) => {
            let class_name = class.name.value.to_string();
            collect_from_class_members(class.members.as_slice(), ctx, resolver, Some(&class_name));
        }
        Statement::Trait(tr) => {
            let trait_name = tr.name.value.to_string();
            collect_from_class_members(tr.members.as_slice(), ctx, resolver, Some(&trait_name));
        }
        Statement::Enum(en) => {
            let enum_name = en.name.value.to_string();
            collect_from_class_members(en.members.as_slice(), ctx, resolver, Some(&enum_name));
        }
        Statement::Interface(_) => {
            // Interfaces don't have method bodies.
        }
        Statement::Namespace(ns) => {
            for inner in ns.statements().iter() {
                collect_from_statement(inner, ctx, resolver);
            }
        }
        // Top-level code (outside any function/class).
        _ => {
            // We don't diagnose top-level code because PHP's global
            // scope has too many implicit variable definitions
            // (include/require, extract in bootstrap files, etc.).
        }
    }
}

/// Walk class-like members to find method bodies.
fn collect_from_class_members(