Struct JvmBackend 

pub struct JvmBackend { /* private fields */ }

The JVM backend that compiles LCNF to a JvmClass IR.

Implementations

impl JvmBackend

pub fn new(config: JvmConfig) -> Self

Create a new backend with the given configuration.

pub fn default_backend() -> Self

Create a backend with the default configuration.

pub fn emit_literal(&self, lit: &LcnfLit) -> JvmResult<Vec<JvmInstruction>>

Emit instructions that push a literal value onto the operand stack.

pub fn emit_binop(&self, op: &str) -> JvmResult<JvmInstruction>

Emit a simple binary arithmetic instruction for int operands.

pub fn emit_invokevirtual( &self, class: &str, name: &str, descriptor: &str, ) -> JvmInstruction

Build an invokevirtual instruction.

pub fn emit_invokestatic( &self, class: &str, name: &str, descriptor: &str, ) -> JvmInstruction

Build an invokestatic instruction.

pub fn emit_new_default(&self, class: &str) -> Vec<JvmInstruction>

Emit a new + dup + invokespecial <init> sequence (default ctor).

pub fn emit_load(&self, slot: u16, ty: &JvmType) -> JvmInstruction

Emit a typed load instruction for the given local-variable slot.

pub fn emit_store(&self, slot: u16, ty: &JvmType) -> JvmInstruction

Emit a typed store instruction for the given local-variable slot.

pub fn emit_return(&self, ty: &JvmType) -> JvmInstruction

Emit a typed return instruction.

pub fn emit_clinit(&self, class_name: &str) -> JvmMethod

Generate a canonical <clinit> that writes a fresh INSTANCE field.

pub fn emit_default_init(&self, superclass: &str) -> JvmMethod

Generate a default <init> constructor that delegates to super().

pub fn emit_fun_decl(&mut self, decl: &LcnfFunDecl) -> JvmResult<JvmClass>

Compile an LCNF function declaration into a JvmClass.