Package org.ek9lang.compiler.backend.jvm

package org.ek9lang.compiler.backend.jvm

JVM Bytecode Generation - Transforms EK9 IR into JVM bytecode.

This package contains the ASM-based bytecode generation infrastructure. Each IR instruction type has a corresponding *AsmGenerator that emits the appropriate JVM bytecode.

Core Infrastructure:

• OutputVisitor - Main visitor orchestrating generation
• AbstractAsmGenerator - Base class for all generators
• Ek9ClassWriter - Custom ASM ClassWriter
• JvmTarget - JVM target specification

Instruction Generators:

• LiteralInstrAsmGenerator - Literal loading
• MemoryInstrAsmGenerator - Variable load/store
• CallInstrAsmGenerator - Method invocation
• BranchInstrAsmGenerator - Branching
• ScopeInstrAsmGenerator - Scope and ARC management
• ThrowInstrAsmGenerator - Exception throwing

Control Flow Generators:

• ControlFlowChainAsmGenerator - Complex control flow
• IfElseAsmGenerator - If/else logic
• WhileLoopAsmGenerator - While loops
• SwitchAsmGenerator - Switch statements
• TryCatchAsmGenerator - Exception handling

Shared State:

Generators share state through the MethodContext class in AbstractAsmGenerator, which manages variable slots, labels, and scope tracking during method generation.

See org.ek9lang.compiler.ir for the IR structures being processed.

Related Packages

Package	Description
org.ek9lang.compiler.backend	Backend Code Generation - Target-specific code generation infrastructure.
org.ek9lang.compiler.backend.jvm.support	JVM Backend Support Utilities - Extracted utilities for bytecode generation.
org.ek9lang.compiler.backend.llvm

Class	Description
AbstractAsmGenerator	Common abstract base class for all specialized ASM generators.
AbstractControlFlowAsmGenerator	Abstract base class for control flow bytecode generators.
AsmStructureCreator	Designed to capture the ASM specifics for byte code generation.
AssertThrowsAsmGenerator	Specialized ASM generator for AssertThrowsInstr processing.
BranchInstrAsmGenerator	Specialized ASM generator for BranchInstr processing.
BytecodeExecutor	Executes generated EK9 bytecode within the current JVM.
BytecodeFrameType	Control flow frame types for bytecode generation context stack.
BytecodeGenerationContext	Context stack for bytecode generation control flow.
BytecodeGenerationContext.DispatchCase	Dispatch case for FOR_RANGE_POLYMORPHIC three-way generation.
BytecodeNormalizer	Normalizes JVM bytecode output from javap for stable test comparisons.
BytecodeStackFrame	Single frame on bytecode generation context stack.
CallInstrAsmGenerator	Specialized ASM generator for CallInstr processing.
CastInstrAsmGenerator	Specialized ASM generator for CastInstr processing.
ComparisonCoalescingOperatorAsmGenerator	Specialized generator for EK9 comparison coalescing operators (<?, >?, <=?, >=?).
ConstantsClassGenerator	Generates a per-module _Constants JVM class from constant IRConstructs.
ControlFlowChainAsmGenerator	Main dispatcher for CONTROL_FLOW_CHAIN bytecode generation.
CoverageFinalizeAsmGenerator	Specialized ASM generator for CoverageFinalizeInstr processing.
CoverageProbeAsmGenerator	Specialized ASM generator for CoverageProbeInstr processing.
DoWhileLoopAsmGenerator	Specialized generator for EK9 do-while loops.
Ek9ClassWriter	Custom ClassWriter that doesn't require loading classes during frame computation.
ElvisCoalescingOperatorAsmGenerator	Specialized generator for EK9 Elvis coalescing operator (:?).
EnumIteratorClassGenerator	Generates the anonymous iterator class for enum iteration.
EnumIteratorImplAsmGenerator	Specialized ASM generator for ENUM_ITERATOR_IMPL instruction.
ForRangePolymorphicAsmGenerator	JVM bytecode generator for FOR_RANGE_POLYMORPHIC IR instruction.
FullyQualifiedFileName	Takes a fully qualified ek9 name and produces a name that is suitable for jvm use.
FullyQualifiedJvmName	Takes a fully qualified ek9 name and produces a name that is suitable for jvm internal use.
GuardedAssignmentAsmGenerator	Specialized generator for EK9 guarded assignment (:=?).
IfElseAsmGenerator	Specialized generator for EK9 if/else statements.
JvmDescriptorConverter	Converts EK9 type names to JVM type descriptors.
JvmTarget	Target for a Java virtual machine.
LabelInstrAsmGenerator	Specialized ASM generator for LabelInstr processing.
LiteralInstrAsmGenerator	Specialized ASM generator for LiteralInstr processing.
LogicalOperationAsmGenerator	Specialized generator for EK9 logical operations (AND, OR) with short-circuit evaluation.
LoopCaseData	Encapsulates all data needed for generating a FOR_RANGE loop case (ascending or descending).
LoopContextData	Loop-specific context data for bytecode generation.
MainClassGenerator	Generates the unified ek9.Main class that provides a standard Java entry point for executing EK9 programs with automatic discovery and reflection-based invocation.
MainEntryVisitor	JVM-specific main entry visitor that generates ek9.Main class with Java bytecode.
MemoryInstrAsmGenerator	Specialized ASM generator for MemoryInstr processing.
NullCoalescingOperatorAsmGenerator	Specialized generator for EK9 null coalescing operator (??).
OutputFileAccess	Returns File Object in the appropriate location for jvm output.
OutputVisitor	Enhanced visitor that uses specialized ASM generators to produce JVM bytecode for IR constructs.
PrimitiveLiteralAsmGenerator	Specialized ASM generator for PrimitiveLiteralInstr processing.
QuestionOperatorAsmGenerator	Specialized generator for EK9 question operator (?).
SanitizeInstrAsmGenerator	Specialized ASM generator for SanitizeInstr processing.
ScopeInstrAsmGenerator	Specialized ASM generator for ScopeInstr processing.
SmapGenerator	Generates JSR-45 SMAP (Source Map) for debugging non-Java languages on the JVM.
StringInterpolationAsmGenerator	Generates JVM bytecode for STRING_INTERPOLATION IR instructions.
SwitchAsmGenerator	Specialized generator for EK9 switch statements.
SwitchExpressionAsmGenerator	Specialized generator for EK9 switch expression form.
TernaryOperatorAsmGenerator	Specialized generator for EK9 ternary operator.
ThreadLocalPrintStream	A PrintStream that delegates to thread-local outputs.
ThrowInstrAsmGenerator	Specialized ASM generator for ThrowInstr processing.
TryCatchAsmGenerator	Specialized generator for EK9 try/catch/finally statements.
WhileLoopAsmGenerator	Specialized generator for EK9 while loops.