Class RangeIterationHelper

java.lang.Object

org.ek9lang.compiler.phase7.generator.AbstractGenerator

org.ek9lang.compiler.phase7.generator.RangeIterationHelper

final class RangeIterationHelper
extends AbstractGenerator

Shared helper for range iteration logic used by both for-range loops and stream for-range sources.

Extracts the body-independent parts of range iteration from ForRangeGenerator: initialization (start/end/by evaluation, assertions, direction detection), dispatch case generation (ascending/descending/equal), loop condition evaluation, increment operations, and body setup (loop variable assignment).

Both ForRangeGenerator and StreamStatementGenerator delegate to this helper, each providing their own body instructions. This eliminates ~500 lines of duplication between for-range loops and stream for-range sources.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
(package private) static final record	RangeIterationHelper.CaseConstructorParams	Parameters for case constructor (AscendingCase or DescendingCase).
(package private) static final record	RangeIterationHelper.InitializationData	Helper record to pass initialization data between methods.

Field Summary

Fields inherited from class AbstractGenerator

debugInfoCreator, instructionBuilder, MAX_MESSAGE_LENGTH, stackContext, typeNameOrException

Constructor Summary

Constructors

Constructor	Description
RangeIterationHelper(IRGenerationContext stackContext, GeneratorSet generators)

Method Summary

Modifier and Type	Method	Description
(package private) List<IRInstr>	generateBodySetup(String loopVariableName, String currentTemp, DebugInfo debugInfo)	Generate body setup: loopVariable = current.
(package private) ForRangePolymorphicInstr.DispatchCases	generateDispatchCases(RangeIterationHelper.InitializationData initData, String loopVariableName, DebugInfo debugInfo)	Generate dispatch cases with explicit IR for all three directions.
(package private) RangeIterationHelper.InitializationData	generateInitialization(EK9Parser.ForRangeContext forRangeCtx, DebugInfo debugInfo)	Generate initialization instructions for the loop.
(package private) ForRangePolymorphicInstr.LoopMetadata	generateLoopMetadata(RangeIterationHelper.InitializationData initData, String loopVariableName)	Generate loop metadata containing variable names and types.

Methods inherited from class AbstractGenerator

addCoverageProbe, createTempVariable, createTempVariableFromContext, extractReturnType, getRecordedSymbolOrException, processBlockStatements, processBlockStatements, truncateMessage, truncateMessage, validateNoPreFlowStatement, validateStatementFormOnly

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RangeIterationHelper

RangeIterationHelper(IRGenerationContext stackContext,
 GeneratorSet generators)

Method Details

generateInitialization

RangeIterationHelper.InitializationData generateInitialization(EK9Parser.ForRangeContext forRangeCtx,
 DebugInfo debugInfo)

Generate initialization instructions for the loop. This includes: evaluating start/end/by, asserting they're set, direction detection.

generateDispatchCases

ForRangePolymorphicInstr.DispatchCases generateDispatchCases(RangeIterationHelper.InitializationData initData,
 String loopVariableName,
 DebugInfo debugInfo)

Generate dispatch cases with explicit IR for all three directions.

generateLoopMetadata

ForRangePolymorphicInstr.LoopMetadata generateLoopMetadata(RangeIterationHelper.InitializationData initData,
 String loopVariableName)

Generate loop metadata containing variable names and types.

generateBodySetup

List<IRInstr> generateBodySetup(String loopVariableName,
 String currentTemp,
 DebugInfo debugInfo)

Generate body setup: loopVariable = current. Uses reassignment pattern: RELEASE + STORE + RETAIN. Variable already registered to loop scope at declaration.