hibana 0.9.2

Session-typed choreographic programming for no_std Rust protocols, inspired by affine MPST
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

//! Runtime resource substrate owned by [`crate::runtime::SessionKit`].
//!
//! Public callers provide one mutable slab directly to `SessionKit::rendezvous`.
//! The runtime keeps this private wrapper only while carving resident storage.

use core::{fmt, ops::Range};

pub(crate) struct RuntimeResources<'a> {
    pub(crate) slab: &'a mut [u8],
}

impl<'a> fmt::Debug for RuntimeResources<'a> {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        f.debug_struct("RuntimeResources")
            .field("slab_bytes", &self.slab.len())
            .finish()
    }
}

impl<'a> RuntimeResources<'a> {
    pub(crate) fn new(slab: &'a mut [u8]) -> Self {
        Self { slab }
    }

    pub(crate) fn initial_lane_range() -> Range<u16> {
        0..0
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn resources_defer_lane_domain_until_projected_descriptor() {
        let mut slab = [0u8; 256];
        let _: RuntimeResources<'_> = RuntimeResources::new(&mut slab);
        let lane_range = RuntimeResources::initial_lane_range();
        assert_eq!(lane_range, 0..0);
    }
}