statig 0.4.1

Hierarchical state machines for designing event-driven systems
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

#[cfg(test)]
#[allow(unused)]
mod tests {
    use std::marker::PhantomData;
    use std::ops::Deref;

    use statig::prelude::*;

    #[derive(Default)]
    struct Counter<'a, T, A, B, const SIZE: usize> {
        marker: PhantomData<[&'a T; SIZE]>,
        marker2: PhantomData<(A, B)>,
    }

    #[derive(Clone)]
    struct ExternalContext(usize);

    enum Event {}

    #[state_machine(initial = "State::a()")]
    impl<'a, T, A, B, const SIZE: usize> Counter<'a, T, A, B, SIZE>
    where
        T: 'static + Default + Copy,
        A: 'static + Deref<Target = B>,
        B: 'static,
    {
        #[state]
        fn a() -> Outcome<State<T, B, SIZE>> {
            Handled
        }

        #[state]
        fn b(array: &mut [T; SIZE]) -> Outcome<State<T, B, SIZE>> {
            Handled
        }

        #[state]
        fn c(deref: &B) -> Outcome<State<T, B, SIZE>> {
            Handled
        }
    }
}