Struct DecodeSpaceRebinding 

pub struct DecodeSpaceRebinding { /* private fields */ }

Rebinds a task’s derived address spaces at its composition position.

Implementations

impl DecodeSpaceRebinding

pub fn is_identity(&self) -> bool

Whether every address-space identifier retains its value.

pub fn rebind(&self, space: &mut SpaceId)

Rebinds a task-owned space. Spaces from before the task retain their IDs.

Trait Implementations

impl Clone for DecodeSpaceRebinding

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for DecodeSpaceRebinding

impl Debug for DecodeSpaceRebinding

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

Formats the value using the given formatter.