pub struct AttemptAdmissionBinding { /* private fields */ }Expand description
Opaque, identity-bound admission attachment for one execution attempt.
AttemptOwner mints this as one unit so an admission request can never
combine one attempt’s observation owner with another attempt’s cleanup
capability. It exposes neither terminalization nor observation-seal
authority to the request caller.
Implementations§
Source§impl AttemptAdmissionBinding
impl AttemptAdmissionBinding
Sourcepub fn observation_handle(&self) -> RuntimeObservationHandle
pub fn observation_handle(&self) -> RuntimeObservationHandle
Returns recording-only access to the attempt observation.
The returned handle cannot seal the observation. Admission must take this binding as a whole to receive the paired cleanup commitment.
Sourcepub fn register_seal_observer<F>(&self, observer: F)
pub fn register_seal_observer<F>(&self, observer: F)
Registers a read-only notification for the immutable attempt seal, without exposing any terminal-seal authority to callers.
Trait Implementations§
Source§impl Clone for AttemptAdmissionBinding
impl Clone for AttemptAdmissionBinding
Auto Trait Implementations§
impl !RefUnwindSafe for AttemptAdmissionBinding
impl !UnwindSafe for AttemptAdmissionBinding
impl Freeze for AttemptAdmissionBinding
impl Send for AttemptAdmissionBinding
impl Sync for AttemptAdmissionBinding
impl Unpin for AttemptAdmissionBinding
impl UnsafeUnpin for AttemptAdmissionBinding
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more