mir-analyzer 0.87.0

Analysis engine for the mir PHP static analyzer
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

use super::load_full_symfony_fixture;
use crate::db::{file_scopes, MirDatabase, ScopeKey};

#[test]
#[ignore = "requires MIR_SYMFONY_FIXTURE or benches/fixtures/symfony"]
fn symfony_query_file_scopes() {
    let Some(fx) = load_full_symfony_fixture() else {
        eprintln!("skipping: Symfony fixture not available");
        return;
    };

    let db = fx.session.snapshot_db();
    let file = db
        .lookup_source_file(fx.request_stack.as_ref())
        .expect("RequestStack file");
    let scopes = file_scopes(&db, file);
    assert_eq!(
        scopes.len(),
        1,
        "RequestStack should contribute one class-like scope"
    );
    assert!(
        scopes.iter().any(|scope| matches!(
            scope,
            ScopeKey::ClassLike(name, _) if name.as_ref()
                == "Symfony\\Component\\HttpFoundation\\RequestStack"
        )),
        "RequestStack class scope should be discoverable"
    );
    assert!(
        !scopes
            .iter()
            .any(|scope| matches!(scope, ScopeKey::FileHeader)),
        "file_scopes should not duplicate the file header as a class-like scope entry"
    );
}