Struct LeaseKernel 

pub struct LeaseKernel { /* private fields */ }

In-process registry of active leases.

Implementations

impl LeaseKernel

pub fn new() -> Self

pub fn with_clock(clock: Clock) -> Self

pub fn acquire( &mut self, ir_lease: &IRLease, ir_resource: &IRResource, ) -> Result<LeaseToken, HandlerError>

Mint a fresh token for a lease against a resource. Rejects persistent resources (defence in depth — the type-checker already did this).

pub fn use_token( &mut self, token: &LeaseToken, ) -> Result<UseOutcome, HandlerError>

Verify the token is still valid and apply on_expire policy on decay.

pub fn release(&mut self, token: &LeaseToken)

Explicitly revoke a token. Idempotent.

pub fn sweep(&mut self) -> Vec<LeaseToken>

Purge tokens whose τ has elapsed. Returns the removed tokens.

pub fn active(&self) -> Vec<LeaseToken>

Snapshot of currently-valid tokens.

pub fn contains(&self, token_id: &str) -> bool

Trait Implementations

impl Default for LeaseKernel

fn default() -> Self

Returns the “default value” for a type.