Struct SlotFile 

pub struct SlotFile<P: ValueWidthPolicy> { /* private fields */ }

Bounded indexed storage whose occupancy is measured in policy-defined units.

A value is loaded only through the first slot in its span. Replacing any unit of an initialized span first releases the entire old value, so partial overwrites are always observable as explicit uninitialization.

Implementations

impl<P: ValueWidthPolicy> SlotFile<P>

pub fn new(limit: AdmissionLimit) -> Self

Creates an uninitialized slot file using the control organ’s admission limit.

pub fn limit(&self) -> usize

Returns the number of logical slots in the file.

pub fn load(&self, slot: usize) -> Result<&P::Value, SlotError>

Returns the initialized value beginning at slot.

pub fn store(&mut self, slot: usize, value: P::Value) -> Result<(), SlotError>

Stores value beginning at slot, releasing every overlapped span.

pub fn release(&mut self, slot: usize) -> Result<P::Value, SlotError>

Releases the initialized span containing slot and clears all its units.

pub fn is_initialized(&self, slot: usize) -> bool

Returns whether slot is occupied by any initialized span.

pub fn visit_values(&self, visit: impl FnMut(&P::Value))

Visits initialized values in ascending start-slot order.