mir-analyzer 0.83.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
37
38
39
40

use std::collections::BTreeSet;

use super::{fqcn, load_full_symfony_fixture};
use crate::db::class_array_property_defaults;

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

    let db = fx.session.snapshot_db();
    let router = fqcn(&db, "Symfony\\Component\\Routing\\Router");
    let defaults = class_array_property_defaults(&db, router);
    let properties: BTreeSet<&str> = defaults.iter().map(|d| d.property.as_ref()).collect();
    assert!(
        properties.is_superset(&BTreeSet::from([
            "cache",
            "expressionLanguageProviders",
            "options"
        ])),
        "Router should expose its array-typed defaulted properties"
    );
    assert!(
        defaults.iter().any(|d| d.property == "cache"),
        "Router should expose its static empty array default"
    );
    let cache = defaults
        .iter()
        .find(|d| d.property == "cache")
        .expect("cache default");
    assert!(cache.entries.is_empty());
    let options = defaults
        .iter()
        .find(|d| d.property == "options")
        .expect("options default");
    assert!(options.entries.is_empty());
}