Skip to main content

Module codegen

Module codegen 

Source
Expand description

Code generation from projected local types to Telltale session types.

This module generates Rust code from choreographies including:

  • Session type definitions
  • Role structs and implementations
  • Extension support
  • Namespace wrapping
  • Topology integration

Structs§

InlineTopology
Parsed inline topology definition for code generation

Functions§

generate_choreography_code
Generate complete Telltale code from a choreography
generate_choreography_code_with_annotations
Generate complete Telltale code from a choreography with annotation support
generate_choreography_code_with_dynamic_roles
Generate enhanced choreography code with dynamic role support
generate_choreography_code_with_extensions
Generate choreography code with extension support
generate_choreography_code_with_namespacing
Generate complete code from a choreography, with namespace support and annotations
generate_choreography_code_with_topology
Generate complete choreography code with topology integration
generate_dynamic_role_support
Generate dynamic role support structures for runtime role management
generate_helpers
Generate helper functions and types for the choreography
generate_role_implementations
Generate implementation functions for each role
generate_session_type
Generate Telltale session type definitions from a local type
generate_topology_integration
Generate topology-aware protocol handlers