Struct Lease 

pub struct Lease<A: Address, K, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = LeaseOutcome<K>>>> { /* private fields */ }

Exclusive expiring ownership behavior.

Acquisition is accepted only while vacant and commits a fresh generation before emitting its schedule. Renewal and release require the exact holder and generation. Matching elapsed evidence expires ownership; wrong timer IDs and stale generations are inert. Release cannot retract an already queued elapsed observation, so later evidence is explicitly stale. Once the finite generation domain is consumed, the vacant state becomes Exhausted and no successful ownership can be created. Initialization is empty, no actors are created, and the host never terminates by policy. Exclusivity, checked generation progression, and commit-before-schedule ordering are Bombay policy. Scheduling and sleeping belong to Timers. The current Bombay timer adapter has no cancellation effect lane; release is semantically immediate while the stale queue entry may remain until due. No transition panics.

Implementations

impl<A, K, Route> Lease<A, K, Route>

where A: Address, K: Clone + Eq, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = LeaseOutcome<K>>> + Clone,

pub const fn new(id: TimerId) -> Self

Construct a vacant lease using one actor-local timer key.

pub const fn state(&self) -> &LeaseState<K, Route>

Borrow the complete ownership phase.

Trait Implementations

impl<A, K, Route> Behavior for Lease<A, K, Route>

where A: Address, K: Clone + Eq, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = LeaseOutcome<K>>> + Clone, Route::Sends: SendsFor<TimedEvent<User<A, LeaseMessage<K, Route>>>>,

type Protocol = Lease<A, K, Route>

Stable public communication identity owned by this actor template.

type Event = EventLayer<TimerElapsed, User<A, <<Lease<A, K, Route> as Behavior>::Protocol as Protocol>::Msg>>

type Sends = LeaseSends<<Route as DeliveryRoute>::Sends, InterpreterRequests<ScheduleAfter>>

type Ph = Never

type Error = Never

type Birth = NoBirths

fn transition( &mut self, _: ActiveTurn, event: Self::Event, ) -> BehaviorActed<Self>

Fold exactly one event into explicit actions and the next behavior.

fn init( &mut self, _turn: InitializationTurn, ) -> Result<Actions<<Self::Protocol as Protocol>::Addr, Self::Ph, Self::Sends, Self::Birth>, Self::Error>

where Self: Sized,

Produce initialization actions before the first event is accepted.

fn layer<L>(self, layer: L) -> <L as BehaviorLayer<Self>>::Output

where Self: Sized, L: BehaviorLayer<Self>,

Apply one statically dispatched construction layer.

impl<A, K, Route> BehaviorBase for Lease<A, K, Route>

where A: Address, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = LeaseOutcome<K>>>,

type Base = Lease<A, K, Route>

fn base(&self) -> &Self

impl<A, K, Route> Protocol for Lease<A, K, Route>

where A: Address, Route: DeliveryRoute<Protocol: Protocol<Addr = A, Msg = LeaseOutcome<K>>>,

type Addr = A

type Msg = LeaseMessage<K, Route>