statum 0.8.2

Represent workflow and protocol state correctly in Rust by making invalid states unrepresentable
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

#![allow(dead_code)]

use statum::{machine, state, transition, Branch, MachineIntrospection, MachineTransitionRecorder};

#[state]
enum BranchState {
    Draft,
    Accepted,
    Rejected,
}

#[machine]
struct BranchFlow<BranchState> {}

#[transition]
impl BranchFlow<Draft> {
    fn decide(self, accept: bool) -> ::statum::Branch<BranchFlow<Accepted>, BranchFlow<Rejected>> {
        if accept {
            Branch::First(self.transition())
        } else {
            Branch::Second(self.transition())
        }
    }
}

#[test]
fn branch_wrapper_graph_exposes_both_targets() {
    let graph = <BranchFlow<Draft> as MachineIntrospection>::GRAPH;
    let decide = graph
        .transition_from_method(branch_flow::StateId::Draft, "decide")
        .unwrap();

    assert_eq!(
        graph.legal_targets(decide.id).unwrap(),
        &[
            branch_flow::StateId::Accepted,
            branch_flow::StateId::Rejected
        ]
    );
}

#[test]
fn branch_wrapper_runtime_join_records_concrete_target() {
    let accepted = BranchFlow::<Draft>::try_record_transition_to::<BranchFlow<Accepted>>(
        BranchFlow::<Draft>::DECIDE,
    )
    .unwrap();
    assert_eq!(accepted.chosen, branch_flow::StateId::Accepted);

    let rejected = BranchFlow::<Draft>::try_record_transition_to::<BranchFlow<Rejected>>(
        BranchFlow::<Draft>::DECIDE,
    )
    .unwrap();
    assert_eq!(rejected.chosen, branch_flow::StateId::Rejected);
}