Struct PostconditionRequest 

pub struct PostconditionRequest { /* private fields */ }

Request passed to an independent observer without performer authority.

Implementations

impl PostconditionRequest

pub const fn operation(&self) -> &OperationId

Returns the semantic operation identity.

pub const fn target(&self) -> &Datum

Returns the exact target to inspect.

pub const fn expected(&self) -> &Datum

Returns the expected semantic postcondition.

pub const fn dispatch(&self) -> Option<&FencedDispatchId>

Returns the latest dispatch, when performance was durably authorized.

pub const fn receipt(&self) -> Option<&LifecycleReceiptId>

Returns the latest raw receipt identity, when one became durable.

pub const fn last_durable_step(&self) -> OperationStep

Returns the last durable lifecycle boundary known before observation.

pub const fn observed_at(&self) -> u64

Returns the caller-supplied monotonic tick at which observation began.

Trait Implementations

impl Clone for PostconditionRequest

fn clone(&self) -> PostconditionRequest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PostconditionRequest

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

Formats the value using the given formatter.

impl Eq for PostconditionRequest

impl PartialEq for PostconditionRequest

fn eq(&self, other: &PostconditionRequest) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PostconditionRequest