Class DynamicClassDfnGenerator

java.lang.Object
org.ek9lang.compiler.phase7.AbstractDfnGenerator
org.ek9lang.compiler.phase7.AggregateDfnGenerator
org.ek9lang.compiler.phase7.DynamicClassDfnGenerator
All Implemented Interfaces:
BiFunction<AggregateWithTraitsSymbol, EK9Parser.DynamicClassDeclarationContext, IRConstruct>
public final class DynamicClassDfnGenerator extends AggregateDfnGenerator implements BiFunction<AggregateWithTraitsSymbol, EK9Parser.DynamicClassDeclarationContext, IRConstruct>
Creates the appropriate IR Construct for a dynamic class declaration (anonymous inline class).

Dynamic classes are regular classes with captured variables from the enclosing scope. This generator extends AggregateDfnGenerator to reuse the full aggregate processing pipeline (fields, _c_init, _i_init, methods/operators, dispatch tables, coverage instrumentation); its capture constructor stores each captured value into its field while that constructor's body is built.

THE capture constructor is the one phase 3 recorded (IsCaptureConstructor): its parameter types are exactly the capture types, in order - the synthetic one, or the developer's own (the tuple's 'interface'). It is read here, never re-derived: it was the first constructor with the right parameter COUNT, which put the stores into a same-arity constructor of other types and left the definition-site object's fields absent (lane H, 2026-10-28). Every other constructor is an ordinary one and stores nothing.

The stores (CaptureStores, each from the parameter at its position) go before the call to _i_init, so a property initialiser can read what the class captured - stored just before the RETURN, an initialiser reading a captured value read an unset field (front-end audit FE32) - and outside the partial-construction region, as a dynamic function's do (DynamicFunctionDfnGenerator): the synthetic constructor through processSyntheticConstructor, an explicit one just after its construction call.