Struct JsBackend 

pub struct JsBackend {
    pub module: JsModule,
    pub fn_map: HashMap<String, String>,
    pub fresh_counter: usize,
}

JavaScript code generation backend.

Compiles LCNF function declarations to a JsModule containing ES2020+ JavaScript functions.

Fields

module: JsModule

The module being built.

fn_map: HashMap<String, String>

Mapping from LCNF names to mangled JS names.

fresh_counter: usize

Counter for generating fresh temporary variable names.

Implementations

impl JsBackend

pub fn new() -> Self

Create a new JS backend.

pub fn fresh_var(&mut self) -> String

Generate a fresh temporary variable name: _t0, _t1, etc.

pub fn mangle_name(&self, name: &str) -> String

Mangle an LCNF name into a valid JavaScript identifier.

Rules:

• Replace . with _
• Replace ' (prime) with _prime
• Prefix reserved words with _

pub fn compile_module(decls: &[LcnfFunDecl]) -> Result<String, String>

Top-level entry point: compile a slice of LCNF function declarations into a JavaScript module string.

pub fn compile_decl(&mut self, decl: &LcnfFunDecl) -> Result<JsFunction, String>

Compile a single LCNF function declaration into a JsFunction.

pub fn compile_expr( &mut self, expr: &LcnfExpr, stmts: &mut Vec<JsStmt>, ) -> Result<JsExpr, String>

Compile an LCNF expression into a sequence of JS statements, returning the JS expression that holds the result.

pub fn compile_arg(&self, arg: &LcnfArg) -> JsExpr

Compile an LCNF argument (atomic value) into a JS expression.

pub fn compile_lit(&self, lit: &LcnfLit) -> JsExpr

Compile an LCNF literal into a JS expression.

Trait Implementations

impl Default for JsBackend

fn default() -> Self

Returns the “default value” for a type.