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
45
46
47
48
49
50
51
52
53
54
55
56

#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub(crate) enum UniqueMatch<T> {
    None,
    One(T),
    Ambiguous,
}

#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub(crate) enum UniqueMatchFailure {
    None,
    Ambiguous,
}

impl<T> UniqueMatch<T>
where
    T: Copy + PartialEq,
{
    pub(crate) const NONE: Self = Self::None;

    #[inline(always)]
    pub(crate) fn add(self, candidate: T) -> Self {
        match self {
            Self::None => Self::One(candidate),
            Self::One(existing) if existing == candidate => self,
            Self::One(_) | Self::Ambiguous => Self::Ambiguous,
        }
    }

    #[inline(always)]
    pub(crate) const fn is_ambiguous(self) -> bool {
        matches!(self, Self::Ambiguous)
    }

    #[inline(always)]
    pub(crate) fn finish(self) -> Result<T, UniqueMatchFailure> {
        match self {
            Self::None => Err(UniqueMatchFailure::None),
            Self::One(candidate) => Ok(candidate),
            Self::Ambiguous => Err(UniqueMatchFailure::Ambiguous),
        }
    }

    #[inline(always)]
    pub(crate) fn finish_optional(self) -> Result<Option<T>, UniqueMatchFailure> {
        match self {
            Self::None => Ok(None),
            Self::One(candidate) => Ok(Some(candidate)),
            Self::Ambiguous => Err(UniqueMatchFailure::Ambiguous),
        }
    }
}

#[cfg(kani)]
mod kani;
#[cfg(all(test, hibana_repo_tests))]
mod tests;