Class QuestionOperatorAsmGenerator

java.lang.Object

org.ek9lang.compiler.backend.jvm.AbstractAsmGenerator

org.ek9lang.compiler.backend.jvm.AbstractControlFlowAsmGenerator

org.ek9lang.compiler.backend.jvm.QuestionOperatorAsmGenerator

final class QuestionOperatorAsmGenerator
extends AbstractControlFlowAsmGenerator

Specialized generator for EK9 question operator (?). Handles CONTROL_FLOW_CHAIN with chain_type: "QUESTION_OPERATOR".

EK9 Question Operator Pattern: operand?

• If operand is null → returns Boolean(false)
• If operand is not null → returns operand._isSet()

Stack Frame Invariant: All paths arrive at 'end' label with empty stack. Result is stored in local variable (overall_result).

Nested Class Summary

Nested classes/interfaces inherited from class AbstractAsmGenerator

AbstractAsmGenerator.LocalVariableInfo, AbstractAsmGenerator.MethodContext, AbstractAsmGenerator.ScopeInfo, AbstractAsmGenerator.TempVariableSource

Field Summary

Fields inherited from class AbstractAsmGenerator

classWriter, constructTargetTuple, outputVisitor

Constructor Summary

Constructors

Constructor	Description
QuestionOperatorAsmGenerator(ConstructTargetTuple constructTargetTuple, OutputVisitor outputVisitor, org.objectweb.asm.ClassWriter classWriter)

Method Summary

Modifier and Type	Method	Description
void	generate(ControlFlowChainInstr instr)	Generate bytecode for question operator.

Methods inherited from class AbstractControlFlowAsmGenerator

branchIfFalse, branchIfTrue, copyResultVariable, createControlFlowLabel, jumpTo, placeLabel, processBodyEvaluation, processConditionCase, processConditionEvaluation

Methods inherited from class AbstractAsmGenerator

convertBooleanToInt, convertToJvmDescriptor, convertToJvmName, generateBooleanLiteral, generateCharacterLiteral, generateDebugInfo, generateFloatLiteral, generateIntegerLiteral, generateLoadVariable, generateLocalVariableTable, generateMethodDescriptor, generateObjectLiteral, generateStackOperation, generateStoreVariable, generateStringLiteral, getCurrentMethodVisitor, getMethodContext, getOrCreateLabel, getVariableIndex, isVariableAllocated, setCurrentMethodVisitor, setSharedMethodContext, trackTempVariableFromLiteral, trackTempVariableFromLoad

Methods inherited from class Object

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

Constructor Details

QuestionOperatorAsmGenerator

QuestionOperatorAsmGenerator(ConstructTargetTuple constructTargetTuple,
 OutputVisitor outputVisitor,
 org.objectweb.asm.ClassWriter classWriter)

Method Details

generate

public void generate(ControlFlowChainInstr instr)

Generate bytecode for question operator.

Stack Frame Invariant: Pre-condition: stack is empty Post-condition: stack is empty (result in local variable)

Parameters:

instr - CONTROL_FLOW_CHAIN instruction with QUESTION_OPERATOR type