Struct AccessContext 

pub struct AccessContext<O, K> { /* private fields */ }

Budget and reentry state shared by one property operation.

Implementations

impl<O, K> AccessContext<O, K>

where O: Clone + Eq + Hash, K: Clone + Eq + Hash,

pub fn new(work_budget: usize) -> Self

Creates an operation context with an exact work allowance.

pub fn remaining(&self) -> usize

Returns the unspent work allowance.

pub fn intercept<T, E>( &mut self, kind: AccessKind, receiver: &O, key: &K, call: impl FnOnce(&mut Self) -> Result<T, AccessError<E>>, ) -> Result<T, AccessError<E>>

Runs one guarded interception. Nested hooks may use this method to preserve the same budget and reentry invariant.