dimpact 0.5.3

impact analysis from diff
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

use crate::ir::Symbol;
use crate::ir::reference::{RefKind, UnresolvedRef};
use crate::languages::rust_ts::RustTsAnalyzer;
use crate::languages::util::{byte_to_line, line_offsets};
use crate::languages::{LanguageAnalyzer, rust::RustAnalyzer};
use crate::ts_core::{QueryRunner, compile_queries_rust, load_rust_spec};

pub struct SpecRustAnalyzer {
    queries: crate::ts_core::CompiledQueries,
    runner: QueryRunner,
}

impl SpecRustAnalyzer {
    pub fn new() -> Self {
        let spec = load_rust_spec();
        let queries = compile_queries_rust(&spec).expect("compile rust queries");
        let runner = QueryRunner::new_rust();
        Self { queries, runner }
    }
}

impl Default for SpecRustAnalyzer {
    fn default() -> Self {
        Self::new()
    }
}

impl LanguageAnalyzer for SpecRustAnalyzer {
    fn language(&self) -> &'static str {
        "rust"
    }

    fn symbols_in_file(&self, path: &str, source: &str) -> Vec<Symbol> {
        // For reliability (methods inside impl), reuse the existing TS analyzer's symbol extraction
        RustTsAnalyzer::new().symbols_in_file(path, source)
    }

    fn unresolved_refs(&self, path: &str, source: &str) -> Vec<UnresolvedRef> {
        let mut out = Vec::new();
        let offs = line_offsets(source);
        for caps in self.runner.run_captures(source, &self.queries.calls) {
            let name_cap = caps.iter().find(|c| c.name == "name");
            let qname_cap = caps.iter().find(|c| c.name == "qname");
            let method_cap = caps.iter().find(|c| c.name == "method");
            let ln = byte_to_line(&offs, caps.first().map(|c| c.start).unwrap_or(0));
            if let Some(n) = method_cap.or(name_cap) {
                let name = &source.as_bytes()[n.start..n.end];
                let name = std::str::from_utf8(name).unwrap_or("");
                if name.is_empty() || name.ends_with('!') {
                    continue;
                }
                out.push(UnresolvedRef {
                    name: name.to_string(),
                    kind: RefKind::Call,
                    file: path.to_string(),
                    line: ln,
                    qualifier: None,
                    is_method: method_cap.is_some(),
                });
                continue;
            }
            if let Some(q) = qname_cap {
                let txt = &source.as_bytes()[q.start..q.end];
                let txt = std::str::from_utf8(txt).unwrap_or("");
                let parts: Vec<&str> = txt.split("::").collect();
                if let Some((last, rest)) = parts.split_last() {
                    let qualifier = if rest.is_empty() {
                        None
                    } else {
                        Some(rest.join("::"))
                    };
                    out.push(UnresolvedRef {
                        name: (*last).to_string(),
                        kind: RefKind::Call,
                        file: path.to_string(),
                        line: ln,
                        qualifier,
                        is_method: false,
                    });
                }
            }
        }
        out
    }

    fn imports_in_file(
        &self,
        path: &str,
        source: &str,
    ) -> std::collections::HashMap<String, String> {
        // reuse robust regex-based import parser for now
        RustAnalyzer::new().imports_in_file(path, source)
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::ir::SymbolKind;

    #[test]
    fn rust_hard_case_fixture_trait_dispatch_method_value_generic_v73() {
        let src = include_str!(concat!(
            env!("CARGO_MANIFEST_DIR"),
            "/tests/fixtures/rust/analyzer_hard_cases_trait_dispatch_method_value_generic.rs"
        ));
        let ana = SpecRustAnalyzer::new();

        let syms = ana.symbols_in_file("demo/hard_v73.rs", src);
        assert!(
            syms.iter()
                .any(|s| s.name == "Pipeline" && matches!(s.kind, SymbolKind::Struct))
        );
        assert!(syms.iter().any(|s| s.name == "run"));

        let refs = ana.unresolved_refs("demo/hard_v73.rs", src);
        assert!(refs.iter().any(|r| r.name == "handle" && r.is_method));
        assert!(refs.iter().any(|r| r.name == "clone" && r.is_method));
    }
}