Struct LoggedCap 

pub struct LoggedCap<P>
where
    P: Permission,
{ /* private fields */ }

An audited capability token that logs every exercise attempt.

Created via LoggedCap::new, which consumes a Cap<P> as proof of possession. Every call to try_cap appends a LogEntry to the shared audit log.

!Send + !Sync by default — use make_send for cross-thread transfer. Cloning shares the same audit log: entries from any clone appear in the same log.

Implementations

impl<P> LoggedCap<P>

where P: Permission,

pub fn new(_cap: Cap<P>) -> LoggedCap<P>

Creates an audited capability by consuming a Cap<P> as proof of possession.

pub fn try_cap(&self) -> Result<Cap<P>, CapSecError>

Attempts to obtain a Cap<P> and records the attempt in the audit log.

Always succeeds (since LoggedCap wraps a Cap<P> directly). The granted field in the log entry is always true.

pub fn is_active(&self) -> bool

Advisory check — always returns true for LoggedCap.

pub fn entries(&self) -> Vec<LogEntry>

Returns a cloned snapshot of the audit log.

pub fn entry_count(&self) -> usize

Returns the number of entries in the audit log.

pub fn make_send(self) -> LoggedSendCap<P>

Converts this capability into a LoggedSendCap that can cross thread boundaries.

Trait Implementations

impl<P> Clone for LoggedCap<P>

where P: Permission,

fn clone(&self) -> LoggedCap<P>

Returns a duplicate of the value.

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

Performs copy-assignment from source.