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

use super::{Rendezvous, ResourceScope, Transport};

impl<'rv, 'cfg, T: Transport> Rendezvous<'rv, 'cfg, T>
where
    'cfg: 'rv,
{
    pub(crate) fn ensure_core_lane_storage_for_assoc_entries(
        &self,
        required_lane_slots: usize,
        required_assoc_slots: usize,
    ) -> Result<(), ResourceScope> {
        self.ensure_core_lane_tables_for_assoc_entries(required_lane_slots, required_assoc_slots)
    }

    pub(crate) fn ensure_endpoint_resident_capacity(&self) -> Result<(), ResourceScope> {
        let frontier_workspace_bytes = self.resident_frontier_workspace_floor();
        self.ensure_frontier_workspace_capacity(frontier_workspace_bytes)?;
        Ok(())
    }
}