Class GeneratorSet

java.lang.Object
org.ek9lang.compiler.phase7.generator.GeneratorSet
public final class GeneratorSet extends Object
Struct-style data holder for all Phase 7 IR generators and helpers.

Architecture Pattern: Mutable struct with public fields (C-style). Fields are mutable during construction phase, then logically immutable after. This pattern enables natural resolution of circular dependencies without complex forward method references or Supplier indirection.

Usage: Created and populated by IRConstructGenerators factory, then passed to all generator constructors. Reduces constructor parameter counts from 1-9 parameters down to 2 uniform parameters: (IRGenerationContext, GeneratorSet).

Thread Safety: Each construct gets its own GeneratorSet instance via unique IRGenerationContext, ensuring thread isolation during parallel construct generation.

Extension Strategy: Adding new generators requires only: 1. Add public field here 2. Populate in IRConstructGenerators.create() 3. Use via generators.fieldName in dependent code

  • Field Details

    • variableMemoryManagement

      public VariableMemoryManagement variableMemoryManagement
      Handles variable memory management (RETAIN, SCOPE_REGISTER, etc.).

    • scopeRegisterOnly

      public ScopeRegisterOnly scopeRegisterOnly
      Memory management for consuming pre-retained values (SCOPE_REGISTER only, no RETAIN). Used by consumer side of ARC ownership transfer pattern - receiving values from producer.
      See Also:

    • promotionCallGenerator

      public PromotionCallGenerator promotionCallGenerator
      Generates type promotion calls using #^ operator. Used by both assignment promotion and parameter promotion.

    • parameterPromotionProcessor

      public ParameterPromotionProcessor parameterPromotionProcessor
      Processes parameter promotions for method calls.

    • callDetailsBuilder

      public CallDetailsBuilder callDetailsBuilder
      Builds CallDetails with cost-based method resolution and promotion.

    • recordExprProcessing

      public RecordExprProcessing recordExprProcessing
      Processes record expression construction (field extraction for short-circuit operators).

    • synthesisedCallMetaData

      public SynthesisedCallMetaData synthesisedCallMetaData
      THE shared source of call metadata for every synthesised call site of this construct - one per set, never one per generator (IR tidy W3.9, OPS-11: it was a field of every AbstractGenerator), and never a hand-written CallMetaDataDetails tuple. See its javadoc for the two honest sources.

    • constantCopyOnAccessLoader

      public ConstantCopyOnAccessLoader constantCopyOnAccessLoader
      THE load of a copy-on-access constant (a copy of the constant, so the original can never be mutated) - one per set (IR tidy W3.9, OPS-11).

    • literalGenerator

      public LiteralGenerator literalGenerator
      Loads a literal into its result variable (no memory management - the expression processor above it owns that).

    • scopedInstructionExecutor

      public ScopedInstructionExecutor scopedInstructionExecutor
      Executes instructions within a scoped block (SCOPE_ENTER/EXIT).

    • unaryOperatorInvoker

      public UnaryOperatorInvoker unaryOperatorInvoker
      Invokes unary operators with memory management.

    • binaryOperatorInvoker

      public BinaryOperatorInvoker binaryOperatorInvoker
      Invokes binary operators with memory management.

    • managedLiteralLoader

      public ManagedLiteralLoader managedLiteralLoader
      Loads literal values with memory management.

    • primitiveBooleanExtractor

      public PrimitiveBooleanExtractor primitiveBooleanExtractor
      Extracts primitive boolean from EK9 Boolean objects.

    • booleanCondition

      public BooleanCondition booleanCondition
      THE step from an evaluated condition (a Boolean, or a type with #^ to Boolean) to a branch's primitive.

    • comparisonEvaluator

      public ComparisonEvaluator comparisonEvaluator
      Evaluates comparison operations and extracts primitive boolean.

    • incrementEvaluator

      public IncrementEvaluator incrementEvaluator
      Evaluates increment/decrement operations and updates loop counter.

    • directionCheckBuilder

      public DirectionCheckBuilder directionCheckBuilder
      Builds direction check IR for polymorphic for-range loops.

    • exprGenerator

      public ExprInstrGenerator exprGenerator
      Main expression processor - handles all expression types recursively.

    • objectAccessGenerator

      public ObjectAccessInstrGenerator objectAccessGenerator
      Processes object access expressions (method calls, property access).

    • primaryReferenceGenerator

      public PrimaryReferenceGenerator primaryReferenceGenerator
      Handles primary references (THIS and SUPER keywords).

    • unaryOperationGenerator

      public UnaryOperationGenerator unaryOperationGenerator
      Generates IR for unary operations (negation, increment, etc.).

    • binaryOperationGenerator

      public BinaryOperationGenerator binaryOperationGenerator
      Generates IR for binary operations (addition, comparison, etc.).

    • shortCircuitAndGenerator

      public ShortCircuitAndGenerator shortCircuitAndGenerator
      Generates short-circuit AND expressions.

    • shortCircuitOrGenerator

      public ShortCircuitOrGenerator shortCircuitOrGenerator
      Generates short-circuit OR expressions.

    • questionBlockGenerator

      public QuestionBlockGenerator questionBlockGenerator
      Generates question block (? operator) expressions.

    • listLiteralGenerator

      public ListLiteralGenerator listLiteralGenerator
      Generates IR for list literal expressions.

    • dictLiteralGenerator

      public DictLiteralGenerator dictLiteralGenerator
      Generates IR for dict literal expressions.

    • interpolatedStringGenerator

      public InterpolatedStringGenerator interpolatedStringGenerator
      Generates IR for interpolated string expressions.

    • controlFlowChainGenerator

      public ControlFlowChainGenerator controlFlowChainGenerator
      Generates control flow chains (ternary, guards, etc.).

    • stmtGenerator

      public StmtInstrGenerator stmtGenerator
      Main statement processor - delegates to specialized statement generators.

    • assignmentStmtGenerator

      public AssignmentStmtGenerator assignmentStmtGenerator
      Generates IR for assignment statements with guard support.

    • assignmentExprGenerator

      public AssignmentExprInstrGenerator assignmentExprGenerator
      THE generator of an assignmentExpression (expression, dynamic class, switch/try/while/for expression, list, dict, stream) - the expression is an argument, so ONE per set (IR tidy W3.9, EXPR-15).

    • assignToNewSymbol

      public AssignExpressionToSymbol assignToNewSymbol
      THE assignment of an assignmentExpression to a NEW variable (a declaration's first value).

    • assignToExistingSymbol

      public AssignExpressionToSymbol assignToExistingSymbol
      THE assignment of an assignmentExpression to an EXISTING variable (the value it replaces is dropped).

    • assignIfUnsetBlockGenerator

      public AssignIfUnsetBlockGenerator assignIfUnsetBlockGenerator
      THE assign-if-unset (:=?) block.

    • returningParamProcessor

      public ReturningParamProcessor returningParamProcessor
      THE returning-parameter processing of an operation, or of a switch/while/for/try expression.

    • textBodyMethodGenerator

      public TextBodyMethodGenerator textBodyMethodGenerator
      THE body of a text method (its string is the returned value).

    • assertStmtGenerator

      public AssertStmtGenerator assertStmtGenerator
      Generates IR for assert statements.

    • requireStmtGenerator

      public RequireStmtGenerator requireStmtGenerator
      Generates IR for require statements (production preconditions/invariants).

    • throwStatementGenerator

      public ThrowStatementGenerator throwStatementGenerator
      Generates IR for throw statements.

    • resourceCloser

      public ResourceCloser resourceCloser
      THE compiler-generated close: a single close call, and the close-if-present finally sequence shared by try-with-resources and statement-owned closeable temporaries.

    • closeChain

      public CloseChain closeChain
      THE generated close chain: a type's close (its body, then its closeable fields and its super class's close) and a constructor's partial-construction cleanup.

    • statementOwnedCloseables

      public StatementOwnedCloseables statementOwnedCloseables
      Wraps a statement that creates an unnamed closeable temporary so the statement closes it.

    • dynamicConstructEmitter

      public DynamicConstructEmitter dynamicConstructEmitter
      THE emission of a dynamic class or dynamic function where it is written (construct, module, captures, call).

    • ownedDeclaration

      public OwnedDeclaration ownedDeclaration
      THE declaration of a variable that owns the temporaries its initialiser makes (returning variable, property).

    • propertyInitialisers

      public PropertyInitialisers propertyInitialisers
      THE instance initialisation of a type's properties (the body of _i_init).

    • assertThrowsExprGenerator

      public AssertThrowsExprGenerator assertThrowsExprGenerator
      Generates IR for assertThrows expressions (test-only).

    • assertDoesNotThrowExprGenerator

      public AssertDoesNotThrowExprGenerator assertDoesNotThrowExprGenerator
      Generates IR for assertDoesNotThrow expressions (test-only).

    • assertPanicExprGenerator

      public AssertPanicExprGenerator assertPanicExprGenerator
      Generates IR for assertPanic expressions (test-only).

    • callGenerator

      public CallInstrGenerator callGenerator
      Generates IR for call statements (function/method calls).

    • ifStatementGenerator

      public IfStatementGenerator ifStatementGenerator
      Generates IR for if/else statements using CONTROL_FLOW_CHAIN.

    • switchStatementGenerator

      public SwitchStatementGenerator switchStatementGenerator
      Generates IR for switch statements (statement form) using CONTROL_FLOW_CHAIN.

    • switchCaseOrChainGenerator

      public SwitchCaseOrChainGenerator switchCaseOrChainGenerator
      Generates short-circuit OR chains for multiple switch case expressions.

    • guardedScopeOrchestrator

      public GuardedScopeOrchestrator guardedScopeOrchestrator
      Orchestrates guard + scope + return variable pattern for control flow generators.

    • whileStatementGenerator

      public WhileStatementGenerator whileStatementGenerator
      Generates IR for while/do-while loops using CONTROL_FLOW_CHAIN.

    • tryCatchStatementGenerator

      public TryCatchStatementGenerator tryCatchStatementGenerator
      Generates IR for try/catch/finally exception handling using CONTROL_FLOW_CHAIN.

    • forRangeGenerator

      public ForRangeGenerator forRangeGenerator
      Generates IR for for-range loops (for i in 1..10) using FOR_RANGE_POLYMORPHIC.

    • forInGenerator

      public ForInGenerator forInGenerator
      Generates IR for for-in loops (for item in collection) using iterator protocol.

    • forStatementGenerator

      public ForStatementGenerator forStatementGenerator
      Coordinates for-statement IR generation by delegating to ForRangeGenerator or ForInGenerator.

    • rangeIterationHelper

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

    • streamStatementGenerator

      public StreamStatementGenerator streamStatementGenerator
      Generates IR for stream statement pipelines (cat/for source | stages | > sink).

    • streamOperandsEvaluatedAhead

      final StreamOperandsEvaluatedAhead streamOperandsEvaluatedAhead
      The stream stage function operands evaluated once before their pipeline (QA0059) - shared by the stream generator, which records them, and every stage generator, which loads them.

    • blockStmtGenerator

      public BlockStmtInstrGenerator blockStmtGenerator
      Main block statement processor - handles statement blocks.

    • variableDeclGenerator

      public VariableDeclInstrGenerator variableDeclGenerator
      Generates IR for variable declarations with initialization.

    • variableOnlyDeclGenerator

      public VariableOnlyDeclInstrGenerator variableOnlyDeclGenerator
      Generates IR for variable declarations without initialization.

    • callArguments

      public CallArguments callArguments
      THE evaluation of a call's arguments - every call form evaluates its arguments through this.

    • constructorCallProcessor

      public ConstructorCallProcessor constructorCallProcessor
      Processes constructor calls with memory management.

    • functionCallProcessor

      public FunctionCallProcessor functionCallProcessor
      Processes function calls with promotion support.

  • Constructor Details

    • GeneratorSet

      GeneratorSet()
      Package-private constructor - only IRConstructGenerators factory can create instances. Fields are populated externally during construction phase.