Struct MultiRegion 

pub struct MultiRegion { /* private fields */ }

A set of arena regions in absolute arena coordinates, the multi-region sibling of Region. Where a Region confines an entire value graph to one window, a MultiRegion lets the graph span regions: every followed pointer is an arena-absolute offset that must land fully inside one of these regions (contains_span picks the region whose window the span starts in and requires the whole span to fit it). A span that starts in no region, or starts in one region but runs past its end, is rejected — there is no “fell through to the next region” silent over-read.

The regions are half-open [start, end) absolute byte windows and may be empty (start == end, e.g. a zero-length in_buf); an empty region contains no span. They are expected non-overlapping (the ABI arena layout guarantees this), but contains_span only ever requires a span to fit some region, so a benign overlap could not cause a missed bounds check.

Implementations

impl MultiRegion

pub fn new( const_data: (usize, usize), in_buf: (usize, usize), out_buf: (usize, usize), scratch: (usize, usize), ) -> Result<Self, VerifyError>

Build the four-region map from absolute arena boundaries. Each pair is a half-open [start, end) window; start > end for any region is a caller bug surfaced as VerifyError::DegenerateRegion.

Trait Implementations

impl Clone for MultiRegion

fn clone(&self) -> MultiRegion

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for MultiRegion

impl Debug for MultiRegion

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.