Struct IRSessionStep 

pub struct IRSessionStep {
    pub node_type: &'static str,
    pub source_line: u32,
    pub source_column: u32,
    pub op: String,
    pub message_type: String,
    pub branches: Vec<IRSessionBranch>,
}

One operation in a compiled session protocol (send / receive / loop / end / select / branch — §Fase 41.b adds the choices).

Fields

node_type: &'static str

source_line: u32

source_column: u32

op: String

message_type: String

branches: Vec<IRSessionBranch>

§Fase 41.b — labelled branches (only for op == "select" | "branch").

Trait Implementations

impl Clone for IRSessionStep

fn clone(&self) -> IRSessionStep

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IRSessionStep

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

Formats the value using the given formatter.

impl Serialize for IRSessionStep

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.