weavatrix-rust 2.7.4

Protocol-independent Rust repository intelligence: typed evidence graphs for impact, architecture, APIs, Git, search, and memory
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

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

mod support;

use blazingly_json::json;
use support::GitFixture;
use weavatrix_rust::{Weavatrix, tools};

#[test]
fn graph_diff_names_a_public_symbol_whose_body_changed() {
    let fixture = GitFixture::new();
    fixture.write(
        "src/lib.rs",
        "pub fn permission(a: i32, b: i32) -> i32 { a + b }\n\
         fn private_helper() -> bool { false }\n",
    );
    fixture.commit("baseline");
    fixture.write(
        "src/lib.rs",
        "pub fn permission(a: i32, b: i32) -> i32 { a - b }\n\
         fn private_helper() -> bool { false }\n",
    );

    let mut engine = Weavatrix::open(&fixture.root).unwrap();
    let diff = tools::call(
        &mut engine,
        "graph_diff",
        json!({"base_ref": "HEAD", "detail": "edges", "max_results": 20}),
    )
    .unwrap();
    let changed = diff["nodes"]["changed"].as_array().unwrap();
    let public = changed
        .iter()
        .find(|item| item["after"]["label"] == "permission")
        .expect("the changed declaration is named, not only its file");

    assert_eq!(public["after"]["attributes"]["exported"], true);
    assert!(
        changed
            .iter()
            .all(|item| item["after"]["label"] != "private_helper")
    );
}

#[test]
fn graph_diff_names_an_exported_go_symbol_whose_body_changed() {
    let fixture = GitFixture::new();
    fixture.write(
        "service/auth.go",
        "package service\n\nfunc CanDelete(viewer bool) bool { return !viewer }\n",
    );
    fixture.commit("baseline");
    fixture.write(
        "service/auth.go",
        "package service\n\nfunc CanDelete(viewer bool) bool { return viewer }\n",
    );

    let mut engine = Weavatrix::open(&fixture.root).unwrap();
    let diff = tools::call(
        &mut engine,
        "graph_diff",
        json!({"base_ref": "HEAD", "detail": "edges", "max_results": 20}),
    )
    .unwrap();
    let changed = diff["nodes"]["changed"].as_array().unwrap();
    let public = changed
        .iter()
        .find(|item| item["after"]["label"] == "CanDelete")
        .expect("the changed Go declaration is named, not only its file");

    assert_eq!(public["after"]["attributes"]["exported"], true);
}

#[test]
fn graph_diff_rolls_edge_churn_up_to_file_pairs_by_default() {
    let fixture = GitFixture::new();
    fixture.write("src/lib.rs", "mod caller;\nmod target;\n");
    fixture.write(
        "src/caller.rs",
        "use crate::target::target;\npub fn caller() {}\n",
    );
    fixture.write("src/target.rs", "pub fn target() {}\n");
    fixture.commit("baseline");
    fixture.write(
        "src/caller.rs",
        "use crate::target::target;\npub fn caller() { target(); }\n",
    );

    let mut engine = Weavatrix::open(&fixture.root).unwrap();
    let compact = tools::call(&mut engine, "graph_diff", json!({"base_ref": "HEAD"})).unwrap();
    let pairs = compact["edges"]["by_file"].as_array().unwrap();

    assert_eq!(compact["edges"]["detail"], "file_pairs");
    assert!(
        pairs.iter().any(|pair| {
            pair["from"] == "src/caller.rs"
                && pair["to"] == "src/target.rs"
                && pair["relation"] == "calls"
                && pair["added"] == 1
                && pair["removed"] == 0
        }),
        "the compact diff must retain the actionable cross-file call change: {pairs:?}"
    );

    let detailed = tools::call(
        &mut engine,
        "graph_diff",
        json!({"base_ref": "HEAD", "detail": "edges"}),
    )
    .unwrap();
    assert_eq!(detailed["edges"]["detail"], "edges");
    assert!(detailed["edges"]["added"].as_array().is_some());
    assert!(detailed["edges"]["by_file"].is_null());
}