Struct ChannelDefinition 

pub struct ChannelDefinition {
    pub name: String,
    pub message: String,
    pub qos: String,
    pub lifetime: String,
    pub persistence: String,
    pub shield_ref: String,
    pub loc: Loc,
    pub leading_trivia: Vec<Trivia>,
    pub trailing_trivia: Vec<Trivia>,
}

channel Name { message: T, qos: X, lifetime: ℓ, persistence: π, shield: σ }.

First-class affine resource carrying a typed message. Direct port of axon.compiler.ast_nodes.ChannelDefinition. message retains the surface spelling (e.g. "Order" or "Channel<Order>") so the type checker can resolve nested mobility (paper §3.3).

Fields

name: String

message: String

qos: String

lifetime: String

persistence: String

shield_ref: String

loc: Loc

leading_trivia: Vec<Trivia>

Fase 14.b — leading comment trivia attached to this declaration (comments preceding the declaration’s first token, since the previous declaration or file start). Empty by default.

trailing_trivia: Vec<Trivia>

Fase 14.b — trailing comment trivia (same line as the declaration’s last effective token). Empty by default.

Trait Implementations

impl Debug for ChannelDefinition

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

Formats the value using the given formatter.