Struct CompiledChoreography 

pub struct CompiledChoreography {
    pub choreography: Choreography,
    pub local_types: Vec<(Role, LocalType)>,
}

Parsed choreography plus projected locals for integration work.

Fields

choreography: Choreography

Validated authoritative choreography AST.

local_types: Vec<(Role, LocalType)>

Per-role projected local types in choreography role order.

Implementations

impl CompiledChoreography

pub fn role_names(&self) -> Vec<String>

Return role names in choreography source order.

pub fn local_type(&self, role_name: &str) -> Option<&LocalType>

Look up one projected local type by role name.

pub fn try_global_type(&self) -> Result<GlobalTypeCore, ConversionError>

Convert the authoritative choreography to a theory-level global type.

This only succeeds for the subset of the DSL that has a direct theory correspondence.

pub fn try_local_type_r_map( &self, ) -> Result<BTreeMap<String, LocalTypeR>, ConversionError>

Convert projected locals to theory-level local types keyed by role name.

pub fn global_type_json(&self) -> Result<String, CompileArtifactsError>

Serialize the theory-level global type as JSON.

pub fn local_type_r_json(&self) -> Result<String, CompileArtifactsError>

Serialize theory-level local types as JSON.

pub fn annotation_records(&self) -> Vec<ProtocolAnnotationRecord>

Collect ordered annotation records from the authoritative choreography AST.

Trait Implementations

impl Debug for CompiledChoreography

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

Formats the value using the given formatter.