Enum WaitEnd 

pub enum WaitEnd {
    Reply {
        reply: SignalId,
    },
    Timeout,
    Left,
}

What ended a reply wait. Three arms and no fourth: the model’s waits_end holds every wait to one of them.

Variants

Reply

The room waited on sent a signal to the waiting run’s room.

Fields

reply: SignalId

Timeout

The injected clock passed the deadline.

Left

The run left its room while it waited: cancelled, failed, or frozen after the process died.

Trait Implementations

impl Clone for WaitEnd

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WaitEnd

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WaitEnd

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WaitEnd

impl PartialEq for WaitEnd

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WaitEnd

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for WaitEnd