Function foreach_value_is_write

src/scope_collector/tests.rs:189–208

()

#[test]
fn foreach_value_is_write() {
    let php = r#"<?php
function test($items) {
    foreach ($items as $key => $value) {
        echo $key;
        echo $value;
    }
}
"#;
    let scope_map = collect_from_function(php);

    // foreach key and value bindings are writes.
    assert_eq!(count_kind(&scope_map, "$key", AccessKind::Write), 1);
    assert_eq!(count_kind(&scope_map, "$value", AccessKind::Write), 1);
    // They are read inside the loop.
    assert_eq!(count_kind(&scope_map, "$key", AccessKind::Read), 1);
    assert_eq!(count_kind(&scope_map, "$value", AccessKind::Read), 1);
    // $items: 1 write (param) + 1 read (foreach expression).
    assert_eq!(count_kind(&scope_map, "$items", AccessKind::Read), 1);
}

#[test]
fn for_loop_variables() {