Struct CapabilityLease 

pub struct CapabilityLease<'scope, K: ScopeKind> { /* private fields */ }

Borrowed capability access tied to one typed scope owner.

A lease cannot be returned after its owner is dropped:

use a3s_code_core::capability::{CapabilityLease, CapabilityScope, Run};

fn escape<'a>(scope: CapabilityScope<Run>) -> CapabilityLease<'a, Run> {
    scope.lease().unwrap()
}

Marker types also prevent a narrower Turn lease from entering a Run-only API:

use a3s_code_core::capability::{CapabilityLease, Run, Turn};

fn needs_run(_lease: CapabilityLease<'_, Run>) {}
fn wrong_scope(lease: CapabilityLease<'_, Turn>) {
    needs_run(lease);
}

Implementations

impl<'scope, K: ScopeKind> CapabilityLease<'scope, K>

pub fn scope_id(&self) -> &CapabilityScopeId

pub const fn kind(&self) -> CapabilityScopeKind

pub fn parent_id(&self) -> Option<&CapabilityScopeId>

pub fn catalog_generation(&self) -> CodeCatalogGeneration

pub fn catalog_digest(&self) -> &Sha256Digest

pub fn use_generation(&self) -> Option<&UseCapabilityGeneration>

pub fn ceiling(&self) -> &CapabilityCeiling

pub fn cancellation(&self) -> CancellationToken

pub fn get( &self, id: &CapabilityId, ) -> Result<Option<&'scope CapabilityDescriptor>, CapabilityScopeError>

pub fn contains(&self, id: &CapabilityId) -> Result<bool, CapabilityScopeError>

pub fn iter( &self, ) -> Result<impl Iterator<Item = (&'scope CapabilityId, &'scope CapabilityDescriptor)> + 'scope, CapabilityScopeError>

Trait Implementations

impl<K: ScopeKind> Debug for CapabilityLease<'_, K>

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

Formats the value using the given formatter.