etsm 0.5.0

Efficient Tiny State Machine using object callbacks.
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

use etsm::*;

state_machine!(
    Foo,
    State {
        {A, Some(Foo::enter_a), Some(Foo::exit_a)},
        {B, Some(Foo::enter_b), Some(Foo::exit_b)}
    }
);

struct Foo {
    state_machine: StateMachine<State>,
    state_a_enter: i32,
    state_a_exit: i32,
    state_b_enter: i32,
    state_b_exit: i32,
}

impl Foo {
    fn new() -> Foo {
        Foo {
            state_machine: StateMachine::new(),
            state_a_enter: 0,
            state_a_exit: 0,
            state_b_enter: 0,
            state_b_exit: 0,
        }
    }

    // Simple simulation that make transition using this pattern:
    //    None -> A -> B -> None
    fn simulation(&mut self) {
        match &self.state_machine.current_state {
            None => {
                transition!(self, state_machine, Some(State::A));
            }
            Some(s) => match s {
                State::A => {
                    transition!(self, state_machine, Some(State::B));
                }
                State::B => {
                    transition!(self, state_machine, None);
                }
            },
        }
    }

    fn enter_a(&mut self) {
        self.state_a_enter += 1;
        assert!(transition!(self, state_machine, Some(State::A)) == false)
    }

    fn exit_a(&mut self) {
        self.state_a_exit += 1;
        assert!(transition!(self, state_machine, Some(State::A)) == false)
    }

    fn enter_b(&mut self) {
        self.state_b_enter += 1;
        assert!(transition!(self, state_machine, Some(State::A)) == false)
    }

    fn exit_b(&mut self) {
        self.state_b_exit += 1;
    }
}

#[test]
fn ab() {
    let mut foo = Foo::new();

    for i in 1..3 {
        assert!(foo.state_machine.is_in(None));
        foo.simulation();
        assert!(foo.state_machine.is_in(Some(State::A)));
        foo.simulation();
        assert!(foo.state_machine.is_in(Some(State::B)));
        foo.simulation();
        assert!(foo.state_machine.is_in(None));
        assert_eq!(foo.state_a_enter, i);
        assert_eq!(foo.state_a_exit, i);
        assert_eq!(foo.state_b_enter, i);
        assert_eq!(foo.state_b_exit, i);
    }
}