Enum Event 

pub enum Event<'a> {
    PduReceived {
        transaction_id: TransactionId,
        pdu: &'a Pdu,
    },
    TimerExpired {
        transaction_id: TransactionId,
        timer_type: TimerType,
    },
    FileDataWritten {
        transaction_id: TransactionId,
        offset: u64,
        len: usize,
    },
    ChecksumVerified {
        transaction_id: TransactionId,
        is_valid: bool,
    },
    SuspendRequest {
        transaction_id: TransactionId,
    },
    ResumeRequest {
        transaction_id: TransactionId,
    },
    FilestoreResponsesReceived {
        transaction_id: TransactionId,
        responses: Vec<FilestoreResponse, 4, u8>,
    },
}

Represents all possible inputs that can drive the ReceiverMachine.

Variants

PduReceived

A PDU has been received from a remote entity for a transaction this machine is handling.

Fields

transaction_id: TransactionId

The transaction this PDU belongs to.

pdu: &'a Pdu

The received PDU to be processed.

TimerExpired

A timer, previously requested via an Action, has expired.

Fields

transaction_id: TransactionId

The transaction whose timer expired.

timer_type: TimerType

The kind of timer that expired.

FileDataWritten

A chunk of file data, requested to be written via a WriteFileData action, has been successfully written.

Fields

transaction_id: TransactionId

The transaction this write confirmation belongs to.

offset: u64

The byte offset within the file where the data was written.

len: usize

The number of bytes that were written.

ChecksumVerified

The checksum verification, requested via an Action, has completed.

Fields

transaction_id: TransactionId

The transaction whose checksum was verified.

is_valid: bool

Whether the computed checksum matched the expected value.

SuspendRequest

A user request to suspend a transaction.

Fields

transaction_id: TransactionId

The transaction to suspend.

ResumeRequest

A user request to resume a suspended transaction.

Fields

transaction_id: TransactionId

The transaction to resume.

FilestoreResponsesReceived

The filestore requests have been executed and responses are ready.

Fields

transaction_id: TransactionId

The transaction these responses belong to.

responses: Vec<FilestoreResponse, 4, u8>

The results of the executed filestore requests.

Trait Implementations

impl<'a> Debug for Event<'a>

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

Formats the value using the given formatter.