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

//! Session-context storage for endpoints.
//!
//! Endpoints store rendezvous-scoped session context directly inside
//! [`Endpoint`](super::Endpoint) so that session faulting, route resolution,
//! and rendezvous-owned endpoint release remain bound to the resident session
//! cluster.

use core::ptr::NonNull;

use crate::{session::types::Lane, transport::Transport};

/// Rendezvous-scoped session context stored inside endpoints.
pub(crate) struct SessionCtx<'rv, T>
where
    T: Transport,
{
    cluster: NonNull<crate::session::cluster::core::SessionCluster<'rv, T>>,
}

impl<'rv, T> SessionCtx<'rv, T>
where
    T: Transport,
{
    pub(crate) fn new(
        _lane: Lane,
        cluster: &'rv crate::session::cluster::core::SessionCluster<'rv, T>,
    ) -> Self {
        Self {
            cluster: NonNull::from(cluster),
        }
    }

    #[inline]
    pub(crate) fn cluster(&self) -> &'rv crate::session::cluster::core::SessionCluster<'rv, T> {
        /* SAFETY: endpoints are constructed only from resident cluster attach,
        and the cluster outlives attached endpoint storage. */
        unsafe { self.cluster.as_ref() }
    }
}