strop-engine 0.36.0

strop editor engine: documents, grammar, services and sessions — no frontend UI dependencies
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

use super::*;
impl FsState {
    pub(crate) fn unconfirmed(&self) -> usize {
        self.history
            .iter()
            .map(|attempt| {
                attempt
                    .receipts
                    .iter()
                    .filter(|receipt| receipt.outcome.is_unconfirmed())
                    .count()
            })
            .sum()
    }
}
impl Editor {
    pub(crate) fn filesystem_shutdown_error(&self) -> Option<String> {
        let stores = self.io.store_attempts().count();
        if self.filesystem.unconfirmed() == 0 && stores == 0 {
            return None;
        }
        let mut text = String::from(
            "filesystem outcomes remain unconfirmed; in-memory receipts are not persisted:",
        );
        for attempt in &self.filesystem.history {
            for receipt in attempt
                .receipts
                .iter()
                .filter(|receipt| receipt.outcome.is_unconfirmed())
            {
                text.push_str(&format!(
                    "\n  operation {} step {}: {}",
                    attempt.ticket.request.get(),
                    receipt.step + 1,
                    receipt.operation.intent.kind.label()
                ));
                for location in receipt
                    .operation
                    .intent
                    .source
                    .iter()
                    .chain(receipt.operation.intent.destination.iter())
                {
                    text.push(' ');
                    text.push_str(&location.label());
                }
            }
        }
        // Unconfirmed document stores hold the same in-memory-only
        // evidence (0058 WK09): report them rather than dying silently.
        for (_document, attempt) in self.io.store_attempts() {
            text.push_str(&format!(
                "\n  document save: {} — {}",
                attempt.receipt.operation.intent.kind.label(),
                strop_workspace::ResourceLocation::local(attempt.write_target.clone()).label()
            ));
        }
        Some(text)
    }
}