Enum tcb::vv::structs::messages::MiddlewareClient

pub enum MiddlewareClient {
    DELIVER {
        sender_id: usize,
        message: Message,
        version_vector: VersionVector,
    },
    STABLE {
        sender_id: usize,
        message_id: usize,
        version_vector: VersionVector,
    },
    SETUP,
}

Enum that will be sent by the Middleware to the Client.

Variants

DELIVER

Delivered message with its sender id, payload and version vector

Fields of DELIVER

sender_id: usizemessage: Messageversion_vector: VersionVector

STABLE

Stable message with its sender id, message id and version vector

Fields of STABLE

sender_id: usizemessage_id: usizeversion_vector: VersionVector

SETUP

Setup variation