Struct Context 

pub struct Context<'a, 'owner, 'd: 'owner> { /* private fields */ }

Driver access carrying retained-owner authority with the same representation as driver::Context. Submitting borrowed storage still requires the exact resource-retention proof documented at each raw submission boundary.

Implementations

impl<'a, 'owner, 'd: 'owner> Context<'a, 'owner, 'd>

pub fn new(driver: Context<'a, 'd>, owner: Owner<'owner, 'd>) -> Self

Joins driver access with a validated owner proof.

pub fn reborrow(&mut self) -> Context<'_, 'owner, 'd>

pub fn driver(&mut self) -> &mut Context<'a, 'd>

pub fn into_driver(self) -> Context<'a, 'd>

Drops the owner proof while preserving the exact driver turn.

Methods from Deref<Target = Context<'a, 'd>>

pub fn rejected(&mut self, failure: Failure)

Reports one exact cancellation rejection to this scope’s mandatory observer.

pub fn accept_error( &mut self, target: Erased<'d, Accept>, cause: Failure, flow: Flow, )

Reports a consumed accept failure with its original driver-bound target.

pub fn retire(&mut self, event: Event<'d>) -> ControlFlow<Event<'d>>

Reclaims a terminal routed receive and reports its original target and outcome.

pub fn reclaim(&mut self, done: Completion<'d>)

Consumes one routed receive, releases its owner, and reports the exact result.

pub fn reborrow(&mut self) -> Context<'_, 'd>

pub fn region_token(&mut self) -> &mut Token<Identity<'d>>

pub fn state_token(&mut self) -> &mut Token<Identity<'d, 1>>

pub fn regions(&self) -> &(Token<Identity<'d>>, Token<Identity<'d, 1>>)

pub fn receive(&self) -> Receive

pub fn driver_ref(&self) -> Reference<'d>

pub fn dispatch( &mut self, work: Reactor<'_, 'd>, emit: impl FnMut(Event<'d>, &mut Self) -> ControlFlow<Event<'d>>, ) -> Dispatch<'d>

pub fn commit(&mut self, work: Reactor<'_, 'd>) -> Result<Commit, Error>

pub fn wait( &mut self, work: Reactor<'_, 'd>, timeout: Option<Duration>, ) -> Result<(), Error>

Trait Implementations

impl<'a, 'owner, 'd: 'owner> Deref for Context<'a, 'owner, 'd>

type Target = Context<'a, 'd>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'a, 'owner, 'd: 'owner> DerefMut for Context<'a, 'owner, 'd>

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.