Struct SessionStep 

pub struct SessionStep {
    pub op: String,
    pub message_type: String,
    pub branches: Vec<SessionBranch>,
    pub loc: Loc,
}

One step in a session protocol.

§Fase 4: send T | receive T | loop | end. §Fase 41.b adds choice: select { ℓ: [..], … } (⊕ — this role chooses) and branch { ℓ: [..], … } (& — this role offers); for those ops the labelled continuations live in SessionStep::branches (a nested sub-protocol per label).

Fields

op: String

message_type: String

branches: Vec<SessionBranch>

§Fase 41.b — populated only for op == "select" | "branch": the labelled branches, each a nested step sequence (its own sub-protocol).

loc: Loc

Trait Implementations

impl Clone for SessionStep

fn clone(&self) -> SessionStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SessionStep

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

Formats the value using the given formatter.

impl Default for SessionStep

fn default() -> SessionStep

Returns the “default value” for a type.