Struct OperationControl 

pub struct OperationControl { /* private fields */ }

Cloneable operation-scoped cooperative cancellation and deadline control.

A synchronous callback cannot be forcefully interrupted. It observes a request when it returns to a checkpoint. Cancellation, deadlines, resource ceilings, and resource arithmetic failures compete for one sticky terminal outcome per operation scope.

Implementations

impl OperationControl

pub fn new() -> Self

Creates active control using the platform monotonic clock.

pub fn child(&self) -> Self

Creates an independently cancellable child that observes this control’s cancellation and deadline state.

pub fn for_phase(&self, phase: OperationPhase) -> Self

Creates a shared view whose unnamed checkpoints report the supplied operation phase.

pub fn with_deadline(self, timeout: Duration) -> Self

Sets a relative monotonic deadline if one is not already configured.

pub fn set_deadline(&self, timeout: Duration) -> bool

Sets a relative monotonic deadline, returning whether this call installed it.

pub fn cancel(&self)

Requests cancellation for this control and its clones.

pub fn is_cancelled(&self) -> bool

Returns whether this control or an ancestor has received a cancellation request.

pub fn checkpoint(&self) -> Result<(), OperationCancelled>

Checks cancellation/deadline at an unspecified phase.

pub fn checkpoint_at( &self, phase: OperationPhase, ) -> Result<(), OperationCancelled>

Checks cancellation/deadline at a named phase.

This cancellation-only projection is used by parsing and analysis code that cannot produce resource terminals. If a target adapter has already recorded a non-cancellation terminal, this method does not replace it with a later cancellation. Target adapters use Self::terminal_checkpoint_at to replay the complete terminal value.

pub fn terminal_checkpoint_at( &self, phase: OperationPhase, ) -> Result<(), OperationLedgerError>

Checks cancellation, deadlines, and any previously observed operation terminal.

Target adapters call this before formal charges and controlled work. Speculative estimates that may be discarded may use Self::checkpoint_at, but they must not record a resource terminal.

pub fn terminate_resource_limit( &self, error: OperationResourceLimitExceeded, ) -> OperationLedgerError

Records a target-owned resource ceiling as this operation’s first terminal outcome.

pub fn terminate_resource_overflow( &self, id: &'static str, phase: OperationPhase, resource_phase: &'static str, actual: u64, maximum: u64, provenance: OperationResourceProvenance, ) -> OperationLedgerError

Records target-owned resource accounting overflow as this operation’s first terminal outcome.

Trait Implementations

impl Clone for OperationControl

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperationControl

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

Formats the value using the given formatter.

impl Default for OperationControl

fn default() -> Self

Returns the “default value” for a type.