Struct CSharpBackend 

pub struct CSharpBackend {
    pub emit_public: bool,
    pub emit_comments: bool,
    pub prefer_async: bool,
    /* private fields */
}

C# code generation backend for OxiLean.

Transforms LCNF declarations into idiomatic C# 12 source code.

Fields

emit_public: bool

Whether to emit public visibility on generated declarations

emit_comments: bool

Whether to emit XML doc comments

prefer_async: bool

Whether to prefer async method generation

Implementations

impl CSharpBackend

pub fn new() -> Self

Create a new backend with default settings.

pub fn fresh_var(&mut self) -> String

Generate a fresh local variable name.

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

Mangle an LCNF name into a valid C# identifier.

pub fn compile_decl(&self, decl: &LcnfFunDecl) -> CSharpMethod

Compile a single LCNF function declaration into a C# method.

pub fn emit_module( &self, namespace: &str, decls: &[LcnfFunDecl], ) -> CSharpModule

Compile a complete list of LCNF declarations into a CSharpModule.

Trait Implementations

impl Default for CSharpBackend

fn default() -> Self

Returns the “default value” for a type.