Class SwitchChainBlockGenerator

java.lang.Object

org.ek9lang.compiler.phase7.SwitchChainBlockGenerator

All Implemented Interfaces:

Function<SwitchChainDetails,List<IRInstr>>

public final class SwitchChainBlockGenerator
extends Object
implements Function<SwitchChainDetails,List<IRInstr>>

Unified generator for all EK9 control flow constructs using SWITCH_CHAIN_BLOCK.

This generator replaces multiple specialized generators: - QuestionBlockGenerator → generateQuestionOperator() - GuardedAssignmentBlockGenerator → generateGuardedAssignment() - Future: If/else and switch statement generators

Key architectural benefits: - Single source of truth for all control flow logic - Consistent memory management patterns across all constructs - Unified optimization metadata for backend code generation - Reduced code duplication and maintenance burden

Constructor Summary

Constructors

Constructor	Description
SwitchChainBlockGenerator(IRContext context, RecordExprProcessing recordExprProcessing, Function<ExprProcessingDetails,List<IRInstr>> rawExprProcessor)

Method Summary

Modifier and Type	Method	Description
List<IRInstr>	apply(SwitchChainDetails details)
List<IRInstr>	generateGuardedAssignment(ISymbol lhsSymbol, List<IRInstr> assignmentEvaluation, String assignmentResult, BasicDetails basicDetails)	Generate SWITCH_CHAIN_BLOCK for guarded assignment (:=?).
List<IRInstr>	generateQuestionOperator(ExprProcessingDetails exprDetails)	Generate SWITCH_CHAIN_BLOCK for Question operator (?).
List<IRInstr>	generateQuestionOperatorForVariable(ISymbol variableSymbol, String resultVariable, BasicDetails basicDetails)	Generate SWITCH_CHAIN_BLOCK for Question operator applied to a variable.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Function

andThen, compose

Constructor Details

SwitchChainBlockGenerator

public SwitchChainBlockGenerator(IRContext context,
 RecordExprProcessing recordExprProcessing,
 Function<ExprProcessingDetails,List<IRInstr>> rawExprProcessor)

Method Details

apply

public List<IRInstr> apply(SwitchChainDetails details)

Specified by:

apply in interface Function<SwitchChainDetails,List<IRInstr>>

generateQuestionOperator

public List<IRInstr> generateQuestionOperator(ExprProcessingDetails exprDetails)

Generate SWITCH_CHAIN_BLOCK for Question operator (?). Converts "operand?" to a two-case chain: null check + _isSet() default. Question operator is self-contained - no RETAIN/SCOPE_REGISTER needed on input.

generateQuestionOperatorForVariable

public List<IRInstr> generateQuestionOperatorForVariable(ISymbol variableSymbol,
 String resultVariable,
 BasicDetails basicDetails)

Generate SWITCH_CHAIN_BLOCK for Question operator applied to a variable. Used by guarded assignment composition.

generateGuardedAssignment

public List<IRInstr> generateGuardedAssignment(ISymbol lhsSymbol,
 List<IRInstr> assignmentEvaluation,
 String assignmentResult,
 BasicDetails basicDetails)

Generate SWITCH_CHAIN_BLOCK for guarded assignment (:=?). Composes question operator logic: assign only if LHS is null OR !LHS._isSet().