Enum Event 

pub enum Event {
    SendRequest {
        slot: u8,
        method: u8,
        reliable: bool,
    },
    ReceiveRequest {
        slot: u8,
        method: u8,
        reliable: bool,
        to_tag: u8,
    },
    ReceiveResponse {
        slot: u8,
        method: u8,
        status: u8,
        to_tag: u8,
    },
    SendResponse {
        slot: u8,
        method: u8,
        status: u8,
        to_tag: u8,
    },
    FireTimer {
        key: u8,
        timer: u8,
        any: bool,
    },
    TransportError {
        key: u8,
    },
    Abandon {
        key: u8,
    },
}

One step of a decoded program.

The three kinds the story names — a message arriving, the application asking for something, a timer firing — plus the two things a driver reports that no message can express.

Variants

SendRequest

The application starts a client transaction.

Fields

slot: u8

Which conversation, and therefore which branch.

method: u8

Index into the method vocabulary.

reliable: bool

Whether the transport retransmits, which decides half the timer behaviour.

ReceiveRequest

A request arrives from the network.

Fields

slot: u8

Which conversation, and therefore which branch.

method: u8

Index into the method vocabulary.

reliable: bool

Whether the transport retransmits.

to_tag: u8

Index into TAGS, for the To tag.

ReceiveResponse

A response arrives from the network, addressed at a client transaction.

Fields

slot: u8

Which conversation, and therefore which branch.

method: u8

Index into the method vocabulary, used for the CSeq method.

status: u8

Index into STATUSES.

to_tag: u8

Index into TAGS, for the To tag.

SendResponse

The application answers a server transaction.

Fields

slot: u8

Which conversation, and therefore which branch.

method: u8

Index into the method vocabulary.

status: u8

Index into STATUSES.

to_tag: u8

Index into TAGS, for the To tag.

FireTimer

A timer the driver holds fires.

The key is chosen from every key the layer has ever created, including ones whose transaction is gone — a driver’s timer wheel cannot cancel atomically, so a timer firing into a retired machine is the normal case rather than the exotic one, and Invariant::TimerForRemovedKey is what says it must be harmless.

Fields

key: u8

Index into the keys the layer has created.

timer: u8

Index into the timers.

any: bool

Choose from all thirteen timers rather than the ones currently armed. Off by default so the budget mostly goes on timers a real driver would have set, and on so that stray and never-armed ones are reachable too.

TransportError

The transport reports it could not deliver for a transaction.

Fields

key: u8

Index into the keys the layer has created.

Abandon

The driver gives up on a server transaction the application never answered.

Fields

key: u8

Index into the keys the layer has created.

Trait Implementations

impl Clone for Event

fn clone(&self) -> Event

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Event

impl Debug for Event

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

Formats the value using the given formatter.

impl Eq for Event

impl PartialEq for Event

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Event