Struct TsGenerator 

pub struct TsGenerator { /* private fields */ }

Implementations

impl TsGenerator

pub fn new() -> Self

Creates a new TypeScript code generator.

Trait Implementations

impl CodeGenerator for TsGenerator

fn generate_project( &self, modules: &[(&AIRModule, &Path)], ) -> Result<GeneratedCode, CodegenError>

Emit a per-module native ES-module import tree (spec §20.6.1; DQ19 resolved): each reachable module → its own .ts file, cross-module references resolved with real ESM import/import type. Mirrors the JS backend’s per-module path (see crate::js) plus TS’s type level: Optional/Result runtime types and concurrency/range runtime helpers are emitted once into a shared _bock_runtime.ts, imported per file. The minimal package.json {"type":"module"} run affordance — which makes the .ts source tree run under node --experimental-strip-types — is emitted by the scaffolder in project mode (S6a / DV18), not by codegen, so --source-only output is bare source.

Output-path mapping is keyed on each module’s declared path (module core.option ⇒ core/option.ts, imported "./core/option.ts" — ESM specifiers reference the emitted .ts source directly so node strip-types resolves them verbatim; tsc accepts the .ts extension via rewriteRelativeImportExtensions, which also rewrites it to .js on emit). The entry module is always main.ts.

fn generate_tests( &self, modules: &[(&AIRModule, &Path)], framework: &str, ) -> Result<TestArtifacts, CodegenError>

Transpile @test functions into a Vitest/Jest bock.test.ts file (S7).

Identical in shape to the JS backend’s generate_tests (shared via crate::generator::js_ts_generate_tests); only the file extension and the concrete TS emit context differ. framework selects Vitest (default) vs Jest.

fn target(&self) -> &TargetProfile

Returns the target profile for this generator.

fn generate_module( &self, module: &AIRModule, ) -> Result<GeneratedCode, CodegenError>

Generates target code from a fully-lowered AIR module.

fn entry_invocation(&self, main_is_async: bool) -> Option<String>

Returns the source-code snippet that invokes the user’s main function as the entry point for this target, or None if the target has a native entry-point convention (Rust fn main, Go func main) that runs without a synthetic call.

fn needs_ai_synthesis(&self, node: &AIRNode) -> bool

Returns true when the given AIR node should go through Tier 1 AI synthesis (§17.2, Q3 amended).

impl Debug for TsGenerator

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

Formats the value using the given formatter.

impl Default for TsGenerator

fn default() -> Self

Returns the “default value” for a type.