code2graph 0.0.0-beta.13

Purpose-neutral code-graph extraction: source files → symbols, references, and cross-file edges. Tree-sitter based, no storage opinion.
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

// SPDX-License-Identifier: Apache-2.0

#![cfg(feature = "rust")]

use code2graph::extract::Extractor;
use code2graph::{
    FileFacts,
    extract::RustExtractor,
    resolve::{
        ConformanceResolver, ExternalResolver, FfiBridgeResolver, LayeredResolver,
        NormalizedNameResolver, Resolver, ScopeGraphResolver, SymbolTableResolver,
    },
};

fn competing_versions() -> Vec<FileFacts> {
    let first = RustExtractor
        .extract("pub fn retired() {}", "src/service.rs")
        .expect("extract first version");
    let caller = RustExtractor
        .extract("pub fn run() {}", "src/caller.rs")
        .expect("extract caller");
    let last = RustExtractor
        .extract("pub fn current() {}", "src/service.rs")
        .expect("extract final version");
    vec![first, caller, last]
}

fn assert_last_input_wins(resolver: impl Resolver) {
    let graph = resolver.resolve(&competing_versions()).unwrap();
    let names: Vec<_> = graph
        .symbols
        .iter()
        .map(|symbol| symbol.name.as_str())
        .collect();

    assert!(
        names.contains(&"current"),
        "the final FileFacts version must contribute its definitions: {names:?}"
    );
    assert!(
        !names.contains(&"retired"),
        "a replaced FileFacts version must not remain in the resolved graph: {names:?}"
    );
}

macro_rules! resolver_uses_last_input_version {
    ($test_name:ident, $resolver:expr) => {
        #[test]
        fn $test_name() {
            assert_last_input_wins($resolver);
        }
    };
}

resolver_uses_last_input_version!(symbol_table_uses_last_input_version, SymbolTableResolver);
resolver_uses_last_input_version!(scope_graph_uses_last_input_version, ScopeGraphResolver);
resolver_uses_last_input_version!(
    normalized_name_uses_last_input_version,
    NormalizedNameResolver
);
resolver_uses_last_input_version!(conformance_uses_last_input_version, ConformanceResolver);
resolver_uses_last_input_version!(external_uses_last_input_version, ExternalResolver);
resolver_uses_last_input_version!(ffi_bridge_uses_last_input_version, FfiBridgeResolver);
resolver_uses_last_input_version!(
    layered_uses_last_input_version,
    LayeredResolver::default_dense()
);