Enum StepOutput 

pub enum StepOutput<L: LabelId> {
    Sent(ProtocolEnvelope),
    Received {
        envelope: ProtocolEnvelope,
        response: Option<ProtocolEnvelope>,
    },
    ChoiceMade(L),
    OfferReceived(L),
    Completed,
    NoProgress,
}

Output from a state machine step.

Variants

Sent(ProtocolEnvelope)

A message was sent.

Received

A message was received and processed.

Fields

envelope: ProtocolEnvelope

The received envelope.

response: Option<ProtocolEnvelope>

Any response to send (for request-response patterns).

ChoiceMade(L)

A choice was made.

OfferReceived(L)

An offer was received.

Completed

The protocol completed.

NoProgress

No progress was made (input didn’t match what was needed).

Implementations

impl<L: LabelId> StepOutput<L>

pub fn is_completed(&self) -> bool

Check if this output indicates completion.

pub fn made_progress(&self) -> bool

Check if progress was made.

Trait Implementations

impl<L: Clone + LabelId> Clone for StepOutput<L>

fn clone(&self) -> StepOutput<L>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<L: Debug + LabelId> Debug for StepOutput<L>

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

Formats the value using the given formatter.