Struct BashBackend 

pub struct BashBackend { /* private fields */ }

Bash script code generation backend for OxiLean.

Implementations

impl BashBackend

pub fn new() -> Self

Create a new BashBackend with default settings.

pub fn compact() -> Self

Create a BashBackend with 2-space indentation.

pub fn emit_var_decl(&self, var: &BashVar, value: Option<&str>) -> String

Emit a BashVar as its declaration line (for declare statements).

pub fn emit_var(&self, var: &BashVar) -> String

Emit a BashVar as an expansion (${name} form).

pub fn emit_expr(&self, expr: &BashExpr) -> String

Emit a BashExpr as a string.

pub fn emit_condition(&self, cond: &BashCondition) -> String

Emit a BashCondition as a string.

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

Mangle an OxiLean name into a valid Bash identifier.

Bash function/variable names match [a-zA-Z_][a-zA-Z0-9_]*. Namespace separators (., ::) become __.

pub fn emit_function(&self, func: &BashFunction) -> String

Emit a BashFunction as a shell function definition.

pub fn emit_heredoc(&self, heredoc: &BashHereDoc) -> String

Emit a BashHereDoc as a string.

pub fn emit_script(&self, script: &BashScript) -> String

Emit a complete BashScript as a string.

pub fn emit_array_assign(&self, name: &str, elems: &[BashExpr]) -> String

Emit an array assignment: name=(elem1 elem2 ...)

pub fn emit_assoc_array_assign( &self, name: &str, pairs: &[(String, String)], ) -> String

Emit an associative array assignment block.

pub fn emit_if( &self, cond: &BashCondition, then: &[&str], else_: Option<&[&str]>, ) -> String

Emit an if statement.

pub fn emit_for_in( &self, var: &str, items: &[BashExpr], body: &[&str], ) -> String

Emit a for-in loop.

pub fn emit_while(&self, cond: &BashCondition, body: &[&str]) -> String

Emit a while loop.

pub fn emit_case(&self, expr: &BashExpr, arms: &[(&str, Vec<&str>)]) -> String

Emit a case statement.

Trait Implementations

impl Default for BashBackend

fn default() -> Self

Returns the “default value” for a type.