harmos-runtime 0.1.13

Harmos runtime: managed state, undo, recovery, background work and typed streams.
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

/* ***
 *
 * Harmos
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * ***
 */

// Share The Deterministic Script Between Stories And Benchmarks

/* === Modules === */

/* === Re-Exports === */

/* === Imports === */

use super::support::{Bank, DEPOSIT, Deposit, NOTED, Noted, alice, pulse};
use harmos_runtime::{DefinitionId, Identified};
use harmos_runtime::{Setup, simulation::SimulatedRuntime};

// Standard Library Imports

// Third Party Imports

// Local Imports

/* === Constants === */

/* === Macros === */

/* === Type Aliases === */

/* === Structs === */

/* === Enums === */

/* === Traits === */

/* === Implementations === */

impl Identified for Deposit {
    fn definition() -> (DefinitionId, u32) {
        (DefinitionId::new(DEPOSIT.1), DEPOSIT.2)
    }
}

impl Identified for Noted {
    fn definition() -> (DefinitionId, u32) {
        (DefinitionId::new(NOTED.1), NOTED.2)
    }
}

/* === Public Functions === */

pub(crate) fn configure(setup: &mut Setup<Bank>) {
    setup.settings().simulated_service("adapter", resident);
}

pub(crate) fn scripted(mut sim: SimulatedRuntime<Bank>) -> SimulatedRuntime<Bank> {
    sim.commit(
        alice(),
        Deposit {
            account: super::support::HOUSE,
            amount: 7,
        },
    )
    .expect("the scripted commit lands");
    let record = Noted("seeded".to_owned());
    sim.record(alice(), record).expect("the scripted record lands");
    let row = pulse(4);
    sim.publish(row).expect("the row catalog is frozen");
    sim.fault("adapter", "bus reset").expect("the running service receives its exit");
    sim.advance_ms(12);
    sim
}

/* === Private Functions === */

async fn resident(mut context: harmos_runtime::services::ServiceContext<Bank>) -> Result<(), std::io::Error> {
    context.ready();
    context.stopping().await;
    Ok(())
}

/* === Tests === */