Struct Program 

pub struct Program<R: RoleId, M> { /* private fields */ }

A choreographic program as a sequence of effects

Implementations

impl<R: RoleId, M> Program<R, M>

Program analysis utilities

pub fn roles_involved(&self) -> HashSet<R>

Get all roles involved in this program

pub fn send_count(&self) -> usize

Count the number of send operations

pub fn recv_count(&self) -> usize

Count the number of receive operations

pub fn has_timeouts(&self) -> bool

Check if the program has any timeout effects

pub fn has_parallel(&self) -> bool

Check if the program has any parallel effects

pub fn validate(&self) -> Result<(), ProgramError>

Validate that the program is well-formed

impl<R: RoleId, M> Program<R, M>

pub fn new() -> ProgramBuilder<R, M>

Create a new program builder.

pub fn builder() -> ProgramBuilder<R, M>

Create a new program builder.

pub fn effects(&self) -> &[Effect<R, M>]

Borrow the program’s effects.

pub fn into_effects(self) -> Vec<Effect<R, M>>

Consume the program and return its effects.

pub fn then(self, other: Program<R, M>) -> Program<R, M>

Extend this program with another program.

If self ends with Effect::End, that terminal marker is removed before appending other, so composition preserves the single-terminal-End invariant.

Panics

Panics only if the composed program violates structural invariants. Use try_then for fallible composition.

pub fn try_then( self, other: Program<R, M>, ) -> Result<Program<R, M>, ProgramError>

Fallible version of Program::then.

pub fn is_empty(&self) -> bool

Check if the program is empty.

pub fn len(&self) -> usize

Get the length of the program (number of effects).

Trait Implementations

impl<R: Clone + RoleId, M: Clone> Clone for Program<R, M>

fn clone(&self) -> Program<R, M>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<R: Debug + RoleId, M: Debug> Debug for Program<R, M>

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

Formats the value using the given formatter.

impl<R: RoleId, M> Default for Program<R, M>

fn default() -> Self

Returns an empty program with no effects.

An empty program is always valid, so this cannot fail.