weavatrix-rust 2.16.2

Protocol-independent Rust repository intelligence: typed evidence graphs for impact, architecture, APIs, Git, n8n, Dify, Agent catalogs, Mermaid, and Web3 ABI
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

#[allow(dead_code)]
mod web3_support;

use weavatrix_rust::{Analyzer, SourceInput};
use web3_support::Fixture;

#[test]
fn comment_api_is_not_a_consumer() {
    let fixture = Fixture::empty();
    fixture.write(
        "app/comment.ts",
        "import { readContract } from \"viem\";\n// readContract({ abi: vaultAbi, functionName: \"getBalance\" })\n",
    );
    let snapshot = Analyzer::default()
        .analyze_sources(
            &fixture.root,
            "comment",
            [SourceInput {
                path: "app/comment.ts".into(),
                bytes: fixture_bytes(&fixture, "app/comment.ts"),
                content_hash: None,
            }],
        )
        .unwrap();
    let consumers = snapshot
        .nodes
        .iter()
        .filter(|node| node.kind.as_str() == "web3.consumer")
        .count();
    assert_eq!(consumers, 0, "commented APIs are not consumers");
}

#[test]
fn get_does_not_bind_get_balance() {
    let fixture = Fixture::empty();
    fixture.write(
        "abi.json",
        r#"[{"type":"function","name":"getBalance","inputs":[],"outputs":[{"type":"uint256"}],"stateMutability":"view"}]"#,
    );
    fixture.write(
        "app/client.ts",
        "import { readContract } from \"viem\";\nimport { tokenAbi } from \"./abi.json\";\nexport const value = readContract({ abi: tokenAbi, functionName: \"get\" });\n",
    );
    let engine = weavatrix_rust::Weavatrix::open(&fixture.root).unwrap();
    let bound = engine.state().graph().edges().iter().any(|edge| {
        edge.kind.as_str() == "web3.binds"
            && engine
                .state()
                .graph()
                .node(edge.target.as_str())
                .is_some_and(|node| node.label.contains("getBalance"))
    });
    assert!(!bound, "prefix lookup must not bind get to getBalance");
}

fn fixture_bytes(fixture: &Fixture, relative: &str) -> Vec<u8> {
    std::fs::read(fixture.root.join(relative)).unwrap()
}