Trait PostconditionObserver 

pub trait PostconditionObserver {
    // Required methods
    fn identity(&self) -> Datum;
    fn observe(
        &mut self,
        request: &PostconditionRequest,
    ) -> PostconditionResponse;
}

Effect-free identity plus independently performed postcondition observation.

Required Methods

fn identity(&self) -> Datum

Returns the stable observer authority identity.

fn observe(&mut self, request: &PostconditionRequest) -> PostconditionResponse

Observes the postcondition without performing the requested operation.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors