Class BytecodeGenerationContext

java.lang.Object
org.ek9lang.compiler.backend.jvm.BytecodeGenerationContext
public class BytecodeGenerationContext extends Object
Context for bytecode-generation control flow.

Tracks the FOR_RANGE_POLYMORPHIC dispatch-case path on a stack so that label names are unique at any nesting depth: the for-range body IR is emitted THREE times (equal / ascending / descending), and for-ranges nest arbitrarily, so getDispatchCasePath() prefixes every control-flow label with the full case path (e.g. "ascending_descending_"). Combined with the per-construct scope id in createControlFlowLabel, this is the sole mechanism control-flow generators need for correct, infinitely-nestable label uniqueness.

A previous parallel "loop frame" stack (enterLoop/getLoopContinueLabel) existed only to let an if reuse the enclosing loop's continue label as its own end — an unsound shortcut (it assumed the if was the last statement in the loop body, dropping any statement after it; F11). It has been removed: an if/else chain always uses its own local if_end label via the path mechanism above.

  • Constructor Details

    • BytecodeGenerationContext

      public BytecodeGenerationContext()

  • Method Details

    • enterDispatchCase

      public void enterDispatchCase(BytecodeGenerationContext.DispatchCase dispatchCase)
      Enter a FOR_RANGE dispatch case BEFORE processing the body for that case. Uses a stack to support nested for-range loops — each level pushes its dispatch case. Label names include the full dispatch path (e.g. "ascending_descending_") to ensure uniqueness at any nesting depth.
      Parameters:
      dispatchCase - Which dispatch case is being generated (EQUAL, ASCENDING, DESCENDING)

    • exitDispatchCase

      public void exitDispatchCase()
      Exit a FOR_RANGE dispatch case AFTER processing the body. Must be called in a finally block to ensure cleanup.

    • getDispatchCasePath

      public Optional<String> getDispatchCasePath()
      Get the full dispatch-case path for label generation. Returns the concatenated path of all nested dispatch cases (e.g. "ascending_descending_") to ensure label uniqueness at any nesting depth.
      Returns:
      Current dispatch path, or empty if not in any FOR_RANGE dispatch