Enum tcb::causality_checker::causality_checker_structs::HandlePeerDotCausalError

pub enum HandlePeerDotCausalError {
    Ok,
    CausalDeliveryError {
        message: String,
        current_dot: Dot,
        current_peer: usize,
        current_peer_dot_sequence_index: usize,
    },
    CausalStabilityError {
        message: String,
        current_dot: Dot,
        current_peer: usize,
        current_peer_dot_sequence_index: usize,
    },
}

Auxiliary eum for errors that occur during the recursive call.

Variants

Ok

No error was thrown during the recursive call.

CausalDeliveryError

A delivery error was thrown during the recursive call.

Fields of CausalDeliveryError

message: Stringcurrent_dot: Dotcurrent_peer: usizecurrent_peer_dot_sequence_index: usize

CausalStabilityError

A stability error was thrown during the recursive call.

Fields of CausalStabilityError

message: Stringcurrent_dot: Dotcurrent_peer: usizecurrent_peer_dot_sequence_index: usize