Enum Event 

pub enum Event<C, M, S> {
    Cmd(C),
    Msg {
        from: NodeId,
        msg: M,
    },
    Timer(TimerId),
    ScopeEvent(S),
    Init,
    Recovery,
}

An event a protocol can be given. Used by drivers and by the test helper.

Variants

Cmd(C)

Msg

Fields

from: NodeId

msg: M

Timer(TimerId)

A timer registered by this protocol, or by something it composes, has fired.

ScopeEvent(S)

A scope this protocol’s guarantees depended on has ended.

Init

This process is starting for the first time, with nothing written down.

Recovery

This process restarted, and something it wrote down survived.

Trait Implementations

impl<C: Clone, M: Clone, S: Clone> Clone for Event<C, M, S>

fn clone(&self) -> Event<C, M, S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<C: Debug, M: Debug, S: Debug> Debug for Event<C, M, S>

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

Formats the value using the given formatter.

impl<C: Eq, M: Eq, S: Eq> Eq for Event<C, M, S>

impl<C: PartialEq, M: PartialEq, S: PartialEq> PartialEq for Event<C, M, S>

fn eq(&self, other: &Event<C, M, S>) -> 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<C: PartialEq, M: PartialEq, S: PartialEq> StructuralPartialEq for Event<C, M, S>