Function classify_range_parameters

src/scope_collector/tests.rs:677–713

()

#[test]
fn classify_range_parameters() {
    // $x is written before the range and read inside → parameter.
    let php = r#"<?php
function test() {
    $x = new Foo();
    echo $x;
}
"#;
    let scope_map = collect_from_function(php);

    // Find the offsets of the write and read.
    let x_accesses = accesses_for(&scope_map, "$x");
    assert_eq!(x_accesses.len(), 2);
    let write_offset = x_accesses[0].0;
    let read_offset = x_accesses[1].0;
    let frame_end = scope_map.frames[0].end;

    // Range that only includes the read (not the write).
    // Use frame_end so the range stays within the function body.
    let classification = scope_map.classify_range(read_offset, frame_end);
    assert!(
        classification.parameters.contains(&"$x".to_string()),
        "Expected $x in parameters, got: {:?}",
        classification.parameters
    );
    assert!(classification.return_values.is_empty());
    assert!(classification.locals.is_empty());

    // Range that includes only the write.
    let classification2 = scope_map.classify_range(write_offset, read_offset);
    // Written inside, read after → return value.
    assert!(
        classification2.return_values.contains(&"$x".to_string()),
        "Expected $x in return_values, got: {:?}",
        classification2
    );
}

#[test]
fn classify_range_locals() {