sim-lib-standard-core 0.1.0

SIM workspace package for sim lib standard core.
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

//! Claim publication helpers for conformance matrix cells.

use sim_kernel::{
    Claim, ClaimKind, ClaimPattern, Cx, Datum, DatumStore, Ref, Result, Symbol,
    card::{card_kind_predicate, card_tests_predicate},
    standard::standard_evidence_predicate,
};

use crate::{
    MatrixCellResult, standard_test_case_predicate, standard_test_organ_predicate,
    standard_test_profile_predicate, standard_test_result_predicate, standard_test_run_kind,
    standard_test_status_predicate,
};

pub(crate) fn publish_matrix_cell_claim(cx: &mut Cx, cell: &MatrixCellResult) -> Result<()> {
    let evidence = matrix_cell_ref(cx, cell)?;
    insert_observed_once(
        cx,
        evidence.clone(),
        card_kind_predicate(),
        Ref::Symbol(standard_test_run_kind()),
    )?;
    insert_observed_once(
        cx,
        evidence.clone(),
        card_tests_predicate(),
        Ref::Symbol(cell.case_symbol.clone()),
    )?;
    insert_observed_once(
        cx,
        evidence.clone(),
        standard_test_profile_predicate(),
        Ref::Symbol(cell.profile.clone()),
    )?;
    insert_observed_once(
        cx,
        evidence.clone(),
        standard_test_organ_predicate(),
        Ref::Symbol(cell.organ.clone()),
    )?;
    insert_observed_once(
        cx,
        evidence.clone(),
        standard_test_case_predicate(),
        Ref::Symbol(cell.case_symbol.clone()),
    )?;
    insert_observed_once(
        cx,
        evidence.clone(),
        standard_test_status_predicate(),
        Ref::Symbol(cell.outcome.status_symbol()),
    )?;
    insert_observed_once(
        cx,
        Ref::Symbol(cell.profile.clone()),
        standard_test_result_predicate(),
        evidence.clone(),
    )?;
    insert_observed_once(
        cx,
        Ref::Symbol(cell.organ.clone()),
        standard_test_result_predicate(),
        evidence.clone(),
    )?;
    insert_observed_once(
        cx,
        Ref::Symbol(cell.profile.clone()),
        standard_evidence_predicate(),
        evidence,
    )
}

fn matrix_cell_ref(cx: &mut Cx, cell: &MatrixCellResult) -> Result<Ref> {
    let mut fields = vec![
        (Symbol::new("profile"), Datum::Symbol(cell.profile.clone())),
        (
            Symbol::new("language"),
            Datum::Symbol(cell.language.clone()),
        ),
        (Symbol::new("organ"), Datum::Symbol(cell.organ.clone())),
        (Symbol::new("test"), Datum::Symbol(cell.case_symbol.clone())),
        (Symbol::new("passed"), Datum::Bool(cell.outcome.passed)),
        (
            Symbol::new("status"),
            Datum::Symbol(cell.outcome.status_symbol()),
        ),
    ];
    if let Some(detail) = &cell.outcome.detail {
        fields.push((Symbol::new("detail"), Datum::String(detail.clone())));
    }
    cx.datum_store_mut()
        .intern(Datum::Node {
            tag: standard_test_run_kind(),
            fields,
        })
        .map(Ref::Content)
}

fn insert_observed_once(cx: &mut Cx, subject: Ref, predicate: Symbol, object: Ref) -> Result<()> {
    let exists = !cx
        .query_facts(ClaimPattern::exact(
            subject.clone(),
            predicate.clone(),
            object.clone(),
        ))?
        .is_empty();
    if !exists {
        cx.insert_fact(Claim::public(subject, predicate, object).with_kind(ClaimKind::Observed))?;
    }
    Ok(())
}