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

//! Frontier-selection helpers for `offer()`.
//!
//! # Unsafe Owner Contract
//!
//! This module owns frontier scratch slices borrowed from the endpoint runtime
//! image. Unsafe blocks here may form slices over that storage only after the
//! endpoint has initialized the matching capacity fields for the current
//! generation.

use core::{mem, slice};

use crate::global::const_dsl::ScopeId;
use crate::global::typestate::{PRESENT_STATE_INDEX_CAPACITY, StateIndex, state_index_to_usize};

mod active_offer_entry;
mod entry_sets;
mod kind;
mod observation;
mod offer_entries;
mod progress_selection;
mod scratch;
mod select;
mod visit_set;

pub(crate) use active_offer_entry::*;
pub(crate) use entry_sets::*;
pub(crate) use kind::*;
pub(crate) use observation::*;
pub(crate) use offer_entries::*;
pub(crate) use progress_selection::*;
pub(crate) use scratch::*;
pub(crate) use select::*;
pub(crate) use visit_set::*;