comindly-core 0.5.0-beta.14

comindly's engine: cross-repo code intelligence — parsing, binding, the graph, search and the ledger.
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

//! What the apps show of an index — graph, contracts, ledger, conventions, dependencies — read once.

use crate::conventions::Convention;
use crate::graph::{CodeGraph, ContractView};
use crate::ledger::Entry;
use crate::manifests::InternalDep;
use crate::model::{Edge, Symbol};

pub use comindly_api::view::View;

/// Everything the UI shows, loaded from an index.
pub struct Data {
    pub graph: CodeGraph,
    pub symbols: Vec<Symbol>,
    pub edges: Vec<Edge>,
    pub contracts: Vec<ContractView>,
    pub entries: Vec<Entry>,
    /// Measured conventions; `manual` holds the team's changes to them.
    pub conventions: Vec<Convention>,
    pub manual: Vec<crate::conventions::Manual>,
    pub deps: Vec<InternalDep>,
    /// Index root for writing ledger reviews; `None` makes the UI read-only.
    pub root: Option<String>,
    /// Why the index could not be loaded (the UIs then start empty).
    pub problem: Option<String>,
    /// Each repository's recent history, to tell a record's own change from a later one.
    pub logs: crate::index::RepoLogs,
}

impl Data {
    /// Everything the UIs show, read from the index at `root`.
    pub fn load(root: &str, verifier: &crate::signing::Verifier) -> anyhow::Result<Data> {
        let dir = format!("{}/_graph", root.trim_end_matches('/'));
        let (symbols, edges) = crate::index::read_graph_blocking(&dir)
            .map_err(|e| anyhow::anyhow!("no index at {dir}: {e:#}"))?;
        let mut conventions = match crate::index::read_facts_blocking(&dir) {
            Ok(Some(facts)) => crate::conventions::mine(&symbols, &edges, &facts),
            _ => Vec::new(),
        };
        conventions.extend(crate::index::read_recipes_blocking(&dir).unwrap_or_default());
        let manual = crate::conventions::manual_blocking(root).unwrap_or_default();
        let records = crate::ledger::all_blocking(root).unwrap_or_default();
        let logs = crate::index::read_repo_logs_blocking(&dir).unwrap_or_default();
        let mut entries = crate::ledger::derive(&records, &symbols, verifier);
        crate::ledger::settle_notes(&mut entries, &records, &logs);
        let packages = crate::index::read_packages_blocking(&dir).unwrap_or_default();
        let findings = crate::checks::run(&entries, &symbols, &edges, &packages);
        crate::checks::promote(&mut entries, &findings);
        let deps = crate::manifests::internal(&packages);
        let mut data = Data::from_view(View {
            symbols: symbols.into(),
            edges: edges.into(),
            entries: entries.into(),
            conventions: conventions.into(),
            manual: manual.into(),
            deps: deps.into(),
            problem: None,
        });
        data.root = Some(root.to_string());
        data.logs = logs;
        Ok(data)
    }

    /// The UI's data from a transferred view; the graph and contracts are rebuilt. Read-only.
    pub fn from_view(v: View<'_>) -> Data {
        let (symbols, edges) = (v.symbols.into_owned(), v.edges.into_owned());
        let graph = CodeGraph::build(&symbols, &edges);
        Data {
            contracts: graph.contracts(None, false),
            graph,
            symbols,
            edges,
            entries: v.entries.into_owned(),
            conventions: v.conventions.into_owned(),
            manual: v.manual.into_owned(),
            deps: v.deps.into_owned(),
            root: None,
            problem: v.problem,
            logs: Default::default(),
        }
    }

    /// No index yet: an empty view of `root` that says why.
    pub fn empty(root: &str, problem: String) -> Data {
        Data {
            graph: CodeGraph::build(&[], &[]),
            symbols: Vec::new(),
            edges: Vec::new(),
            contracts: Vec::new(),
            entries: Vec::new(),
            conventions: Vec::new(),
            manual: Vec::new(),
            deps: Vec::new(),
            root: Some(root.to_string()),
            problem: Some(problem),
            logs: Default::default(),
        }
    }

    /// The index at `root`, or an empty view saying why it could not be read.
    pub fn load_or_empty(root: &str, verifier: &crate::signing::Verifier) -> Data {
        Data::load(root, verifier).unwrap_or_else(|e| Data::empty(root, format!("{e:#}")))
    }
}