kmp-domain 0.12.0

Domain model of the Kernel Memory Protocol: aggregates, value objects, repositories and projections, with no IO
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

use super::shared_label::SharedLabel;

/// Two facts that both still stand and that a declared `contradicts` edge
/// joins. Shown, never resolved: the disagreement is the information.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct Tension {
    ref_id: String,
    other: String,
    /// The dimension kind of the scope both stand in, when they share one;
    /// empty otherwise.
    dimension: String,
    /// The scope both stand in, when they share one; empty otherwise.
    scope_id: String,
    why: String,
    evidence: String,
}

impl Tension {
    pub fn new(
        ref_id: impl Into<String>,
        other: impl Into<String>,
        label: Option<SharedLabel>,
        why: impl Into<String>,
        evidence: impl Into<String>,
    ) -> Self {
        let (dimension, scope_id) = label
            .map(|label| (label.key().to_string(), label.value().to_string()))
            .unwrap_or_default();
        Self {
            ref_id: ref_id.into(),
            other: other.into(),
            dimension,
            scope_id,
            why: why.into(),
            evidence: evidence.into(),
        }
    }

    pub fn ref_id(&self) -> &str {
        &self.ref_id
    }

    pub fn other(&self) -> &str {
        &self.other
    }

    pub fn dimension(&self) -> &str {
        &self.dimension
    }

    pub fn scope_id(&self) -> &str {
        &self.scope_id
    }

    pub fn why(&self) -> &str {
        &self.why
    }

    pub fn evidence(&self) -> &str {
        &self.evidence
    }
}