Struct Observed 

pub struct Observed<'a> {
    pub subject: &'a Subject<'a>,
    pub policy: PolicyId,
    pub compiled: CompiledId,
    pub outcome: &'a Outcome,
}

One evaluator’s account of a single policy’s attempt and outcome, on its declared observation surface.

The decision channel (Evaluator::evaluate) short-circuits once an overall verdict cannot get any more severe. This one does not: a metapolicy that freezes agents for repeatedly tripping other policies has to see every attempt and outcome on its declared surface, whether or not evaluation of the write as a whole stopped early.

Fields

subject: &'a Subject<'a>

The subject the attempt was against.

policy: PolicyId

Which policy this attempt and outcome belong to, in this crate’s own bookkeeping – useful for a caller correlating this event with a crate::evaluate::Verdict, but not what an evaluator serving many compiled policies uses to tell them apart; see compiled.

compiled: CompiledId

Which compiled artifact this attempt and outcome belong to, in the evaluator’s own naming – see CompiledId’s doc comment. This, not policy, is what a multi-policy evaluator consults.

outcome: &'a Outcome

The verdict every policy that judged the subject reached together: what the write path did with the attempt, not only what this policy said.

Trait Implementations

impl<'a> Clone for Observed<'a>

fn clone(&self) -> Observed<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for Observed<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for Observed<'a>

fn eq(&self, other: &Observed<'a>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a> Copy for Observed<'a>

impl<'a> Eq for Observed<'a>

impl<'a> StructuralPartialEq for Observed<'a>