Struct ViewMap 

pub struct ViewMap { /* private fields */ }

A set of zero-copy view → source aliasing relationships.

Each entry means “view owns no activation slot; its bytes live inside source’s buffer”. A view of a view is allowed; ViewMap::root folds a chain down to the single real buffer owner.

Implementations

impl ViewMap

pub fn new() -> Self

An empty map (no views — every value owns its own buffer).

pub fn from_pairs(pairs: impl IntoIterator<Item = (ValueId, ValueId)>) -> Self

Build a map from (view, source) pairs.

pub fn insert(&mut self, view: ValueId, source: ValueId)

Record that view aliases source (owns no buffer of its own).

pub fn is_view(&self, value: ValueId) -> bool

Whether value is a zero-copy view (aliases another value’s buffer and therefore gets no slot of its own).

pub fn source_of(&self, value: ValueId) -> Option<ValueId>

The immediate source value aliases, if it is a view.

pub fn root(&self, value: ValueId) -> ValueId

Fold value to the root buffer owner by following view → source edges transitively. Returns value itself when it is not a view.

A cycle in the (malformed) view map is broken defensively: the last node visited before the cycle closes is returned rather than looping forever.

pub fn len(&self) -> usize

Number of recorded view edges.

pub fn is_empty(&self) -> bool

Whether there are no view edges.

Trait Implementations

impl Clone for ViewMap

fn clone(&self) -> ViewMap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ViewMap

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

Formats the value using the given formatter.

impl Default for ViewMap

fn default() -> ViewMap

Returns the “default value” for a type.