Struct ProjectionCompiler 

pub struct ProjectionCompiler {
    pub include_tracing: bool,
}

Projection compiler: validates, projects, and generates code from choreographies.

Fields

include_tracing: bool

Whether to include tracing spans in generated code.

Implementations

impl ProjectionCompiler

pub fn new() -> Self

Create a new projection compiler.

pub fn compile( &self, protocol: &GlobalProtocol, participant: &str, ) -> Result<ProjectionOutput, CompilationError>

Compile a global protocol for a specific participant.

Validates the protocol, projects it to a local type, and generates Rust code including session type aliases, message structs, and handler function skeletons.

pub fn compile_all( &self, protocol: &GlobalProtocol, ) -> Result<BTreeMap<String, ProjectionOutput>, CompilationError>

Compile a global protocol for all participants.

Returns a map from participant name to projection output.

Trait Implementations

impl Debug for ProjectionCompiler

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

Formats the value using the given formatter.

impl Default for ProjectionCompiler

fn default() -> Self

Returns the “default value” for a type.