hibana 0.9.6

Choreography-derived runtime enforcement kernel for no_std Rust multiparty protocols
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

macro_rules! define_public_operation_kernel {
    (
        phases { $($phase:ident),+ $(,)? }
        edges { $($edge:ident => ($expected:ident, $next:ident)),+ $(,)? }
    ) => {
        #[derive(Clone, Copy, Debug, PartialEq, Eq)]
        pub(in crate::endpoint) enum PublicActiveOp {
            $($phase),+
        }

        impl PublicActiveOp {
            #[cfg(any(kani, all(test, hibana_repo_tests)))]
            const ALL: &'static [Self] = &[$(Self::$phase),+];
        }

        /// Complete strict lifecycle edges used by the public endpoint operations.
        /// An edge is transient and is never stored in an endpoint or descriptor.
        #[derive(Clone, Copy, Debug, PartialEq, Eq)]
        pub(in crate::endpoint::kernel) enum PublicOpEdge {
            $($edge),+
        }

        impl PublicOpEdge {
            #[cfg(any(kani, all(test, hibana_repo_tests)))]
            const ALL: &'static [Self] = &[$(Self::$edge),+];

            #[inline(always)]
            pub(in crate::endpoint::kernel) const fn expected(self) -> PublicActiveOp {
                match self {
                    $(Self::$edge => PublicActiveOp::$expected),+
                }
            }

            #[inline(always)]
            pub(in crate::endpoint::kernel) const fn next(self) -> PublicActiveOp {
                match self {
                    $(Self::$edge => PublicActiveOp::$next),+
                }
            }
        }
    };
}

pub(super) use define_public_operation_kernel;