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. Generates REQUIRE opcode which throws non-catchable AssertionError on failure. Used for production preconditions, postconditions, and invariants.

Field Summary

Fields inherited from class AbstractGenerator

debugInfoCreator, instructionBuilder, 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

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

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>>