Class RequireStmtGenerator

java.lang.Object

org.ek9lang.compiler.phase7.generator.AbstractGenerator

org.ek9lang.compiler.phase7.generator.RequireStmtGenerator

All Implemented Interfaces:

Function<EK9Parser.RequireStatementContext, List<IRInstr>>

public final class RequireStmtGenerator
extends AbstractGenerator
implements Function<EK9Parser.RequireStatementContext, List<IRInstr>>

IR Generation for the require statement. Emits a guard that throws a non-catchable org.ek9.lang::Panic when the precondition does not hold (via the shared PanicThrowInstrs), unifying `require` with constrained-type breaches. Used for production preconditions, postconditions, and invariants.

Field Summary

Fields inherited from class AbstractGenerator

constantCopyOnAccessLoader, debugInfoCreator, instructionBuilder, MAX_MESSAGE_LENGTH, stackContext, typeNameOrException

Constructor Summary

Constructors

Constructor	Description
RequireStmtGenerator(IRGenerationContext stackContext, GeneratorSet generators, RecordExprProcessing recordExprProcessing)	Constructor accepting injected GeneratorSet and RecordExprProcessing.

Method Summary

Modifier and Type	Method	Description
List<IRInstr>	apply(EK9Parser.RequireStatementContext ctx)

Methods inherited from class AbstractGenerator

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

Methods inherited from class Object

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

Methods inherited from interface Function

andThen, compose

Constructor Details

RequireStmtGenerator

RequireStmtGenerator(IRGenerationContext stackContext,
 GeneratorSet generators,
 RecordExprProcessing recordExprProcessing)

Constructor accepting injected GeneratorSet and RecordExprProcessing. Eliminates internal generator creation for better object reuse.

Method Details

apply

public List<IRInstr> apply(EK9Parser.RequireStatementContext ctx)

Specified by:

apply in interface Function<EK9Parser.RequireStatementContext, List<IRInstr>>