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

mod blob_image;
mod event_rows;
#[cfg(kani)]
mod kani;
mod lane_image;
mod metadata;
mod plan;
mod projection;
mod ref_access;
#[cfg(all(test, hibana_repo_tests))]
mod tests;

#[inline(always)]
const fn decode_binary_route_arm_index(arm: u8) -> Option<usize> {
    match arm {
        0 => Some(0),
        1 => Some(1),
        2..=u8::MAX => None,
    }
}

#[inline(never)]
const fn binary_route_arm_index(arm: u8) -> usize {
    match decode_binary_route_arm_index(arm) {
        Some(index) => index,
        None => crate::invariant(),
    }
}

#[inline(never)]
const fn route_arm_row_index(slot: usize, arm: u8) -> usize {
    let arm = binary_route_arm_index(arm);
    let Some(base) = slot.checked_mul(2) else {
        crate::invariant();
    };
    let Some(row) = base.checked_add(arm) else {
        crate::invariant();
    };
    row
}