sim-kernel 0.1.0

SIM workspace package for sim kernel.
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
112
113
114
115
116
117
118
119
120

use crate::{Error, Expr, Symbol};

use super::{CatalogRow, CatalogStore, CatalogTableSpec, CatalogTx, CatalogWritePolicy};

fn sym(name: &str) -> Symbol {
    Symbol::new(name)
}

fn required_field() -> Symbol {
    sym("required")
}

fn spec(name: &str, policy: CatalogWritePolicy) -> CatalogTableSpec {
    CatalogTableSpec::new(sym(name), policy).with_required_fields(vec![required_field()])
}

fn row(table: &Symbol, key: &str, value: bool) -> CatalogRow {
    CatalogRow::new(table.clone(), sym(key)).with_data(required_field(), Expr::Bool(value))
}

fn store_with_mutable_table(name: &str) -> CatalogStore {
    let mut store = CatalogStore::new();
    store
        .install_table(spec(name, CatalogWritePolicy::Mutable))
        .unwrap();
    store
}

#[test]
fn overlay_success_commits_rows_sequences_and_journal() {
    let table = sym("overlay-success");
    let key = sym("row");
    let sequence = sym("registry-seq/test");
    let mut store = store_with_mutable_table("overlay-success");

    store
        .with_overlay(|store| {
            let mut tx = CatalogTx::new();
            tx.put_row(row(&table, "row", true));
            tx.bump_sequence(sequence.clone(), 3);
            tx.commit(store)?;

            assert_eq!(
                store.row(&table, &key).unwrap().data.get(&required_field()),
                Some(&Expr::Bool(true))
            );
            assert_eq!(store.sequence(&sequence), Some(3));
            assert_eq!(store.journal().len(), 2);
            Ok(())
        })
        .unwrap();

    assert_eq!(store.epoch(), 1);
    assert_eq!(
        store.row(&table, &key).unwrap().data.get(&required_field()),
        Some(&Expr::Bool(true))
    );
    assert_eq!(store.sequence(&sequence), Some(3));
    assert_eq!(store.journal().len(), 2);
}

#[test]
fn overlay_error_rolls_back_rows_sequences_and_journal() {
    let table = sym("overlay-rollback");
    let key = sym("row");
    let sequence = sym("registry-seq/test");
    let mut store = store_with_mutable_table("overlay-rollback");

    let err = store
        .with_overlay(|store| {
            let mut tx = CatalogTx::new();
            tx.put_row(row(&table, "row", true));
            tx.bump_sequence(sequence.clone(), 9);
            tx.commit(store)?;

            assert!(store.row(&table, &key).is_some());
            assert_eq!(store.sequence(&sequence), Some(9));
            Err::<(), Error>(Error::Eval("rollback overlay".to_owned()))
        })
        .unwrap_err();

    assert!(matches!(err, Error::Eval(message) if message == "rollback overlay"));
    assert!(store.row(&table, &key).is_none());
    assert_eq!(store.sequence(&sequence), None);
    assert_eq!(store.epoch(), 0);
    assert!(store.journal().is_empty());
}

#[test]
fn overlay_delete_is_local_until_commit() {
    let table = sym("overlay-delete");
    let key = sym("row");
    let mut store = store_with_mutable_table("overlay-delete");
    let mut seed = CatalogTx::new();
    seed.put_row(row(&table, "row", true));
    seed.commit(&mut store).unwrap();

    let err = store
        .with_overlay(|store| {
            let mut tx = CatalogTx::new();
            tx.delete_row(table.clone(), key.clone());
            tx.commit(store)?;
            assert!(store.row(&table, &key).is_none());
            Err::<(), Error>(Error::Eval("rollback delete".to_owned()))
        })
        .unwrap_err();

    assert!(matches!(err, Error::Eval(message) if message == "rollback delete"));
    assert!(store.row(&table, &key).is_some());

    store
        .with_overlay(|store| {
            let mut tx = CatalogTx::new();
            tx.delete_row(table.clone(), key.clone());
            tx.commit(store)?;
            Ok(())
        })
        .unwrap();
    assert!(store.row(&table, &key).is_none());
}