Uses of Record Class
org.ek9lang.compiler.ir.support.DebugInfo

Packages that use DebugInfo

Package	Description
org.ek9lang.compiler.backend.jvm	JVM Bytecode Generation - Transforms EK9 IR into JVM bytecode.
org.ek9lang.compiler.backend.jvm.support	JVM Backend Support Utilities - Extracted utilities for bytecode generation.
org.ek9lang.compiler.ir.data	IR Data Structures - Metadata and detail classes for IR instructions.
org.ek9lang.compiler.ir.instructions	IR Instruction Classes - The instruction set for EK9 intermediate representation.
org.ek9lang.compiler.ir.support	IR Support Utilities - Helper classes for IR generation and processing.
org.ek9lang.compiler.phase7.generation
org.ek9lang.compiler.phase7.generator
org.ek9lang.compiler.phase7.support
org.ek9lang.compiler.phase7.synthesis	Synthetic operator and method generation for EK9.
org.ek9lang.compiler.phase7.synthesis.support	Support classes for synthetic operator IR generation.

Uses of DebugInfo in org.ek9lang.compiler.backend.jvm

Methods in org.ek9lang.compiler.backend.jvm with parameters of type DebugInfo

Modifier and Type	Method	Description
void	SmapGenerator.addMapping(DebugInfo debugInfo, int outputLineNumber)	Add debug information from an IR instruction to the SMAP.
protected void	AbstractAsmGenerator.generateDebugInfo(DebugInfo debugInfo)	Generate debug line number from EK9 debug info if available.

Uses of DebugInfo in org.ek9lang.compiler.backend.jvm.support

Methods in org.ek9lang.compiler.backend.jvm.support with parameters of type DebugInfo

Modifier and Type	Method	Description
void	DebugInfoGenerator.generateDebugInfo(org.objectweb.asm.MethodVisitor mv, DebugInfo debugInfo)	Generate debug line number from EK9 debug info if available.

Uses of DebugInfo in org.ek9lang.compiler.ir.data

Methods in org.ek9lang.compiler.ir.data that return DebugInfo

Modifier and Type	Method	Description
DebugInfo	ControlFlowChainDetails.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	EnumIteratorImplDetails.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	LogicalDetails.debugInfo()	Returns the value of the debugInfo record component.

Methods in org.ek9lang.compiler.ir.data with parameters of type DebugInfo

Modifier and Type	Method	Description
static ControlFlowChainDetails	ControlFlowChainDetails.createComparisonCoalescing(String result, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId, String chainType)	Create details for comparison coalescing operators (<?, >?, <=?, >=?).
static ControlFlowChainDetails	ControlFlowChainDetails.createDoWhileExpression(String result, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Create details for a do-while expression (result <- do { body } while condition).
static ControlFlowChainDetails	ControlFlowChainDetails.createDoWhileLoopUnified(GuardVariableDetails guardDetails, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Unified factory for do-while loops - automatically selects expression or statement form.
static ControlFlowChainDetails	ControlFlowChainDetails.createDoWhileLoopWithGuards(GuardVariableDetails guardDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Create details for a do-while loop with guard variables (statement form).
static ControlFlowChainDetails	ControlFlowChainDetails.createElvisCoalescing(String result, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for an Elvis Coalescing operator (:?).
static ControlFlowChainDetails	ControlFlowChainDetails.createForInExpression(String result, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Create details for a for-in expression (result <- for item in collection).
static ControlFlowChainDetails	ControlFlowChainDetails.createForRangeExpression(String result, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Create details for a for-range expression (result <- for i in start ..< end).
static ControlFlowChainDetails	ControlFlowChainDetails.createIfElse(String result, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for an if/else statement.
static ControlFlowChainDetails	ControlFlowChainDetails.createIfElseWithGuards(String result, GuardVariableDetails guardDetails, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for an if/else statement with guard variables.
static ControlFlowChainDetails	ControlFlowChainDetails.createNullCoalescing(String result, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for a Null Coalescing operator (??).
static ControlFlowChainDetails	ControlFlowChainDetails.createQuestionOperator(String result, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for a Question operator (?).
static ControlFlowChainDetails	ControlFlowChainDetails.createSwitchExpression(String result, EvaluationVariableDetails evaluationDetails, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for a switch expression (result <- switch expr).
static ControlFlowChainDetails	ControlFlowChainDetails.createSwitchWithGuards(String result, GuardVariableDetails guardDetails, String evaluationVariable, String evaluationVariableType, String returnVariable, String returnVariableType, List<IRInstr> returnVariableSetup, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for a switch statement with guard variable support.
static ControlFlowChainDetails	ControlFlowChainDetails.createTernaryOperator(String result, List<ConditionCaseDetails> conditionChain, List<IRInstr> defaultBodyEvaluation, String defaultResult, DebugInfo debugInfo, String scopeId)	Create details for a Ternary operator (condition <- thenValue : elseValue).
static ControlFlowChainDetails	ControlFlowChainDetails.createTryCatchExpression(String result, ReturnVariableDetails returnDetails, TryBlockDetails tryBlockDetails, List<ConditionCaseDetails> catchHandlers, List<IRInstr> finallyBlockEvaluation, DebugInfo debugInfo, String scopeId)	Create details for a try-catch expression (result <- try { expr } catch { handler }).
static ControlFlowChainDetails	ControlFlowChainDetails.createTryCatchFinally(String result, GuardVariableDetails guardDetails, ReturnVariableDetails returnDetails, TryBlockDetails tryBlockDetails, List<ConditionCaseDetails> catchHandlers, List<IRInstr> finallyBlockEvaluation, DebugInfo debugInfo, String scopeId)	Create details for a try/catch/finally construct.
static ControlFlowChainDetails	ControlFlowChainDetails.createWhileExpression(String result, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Create details for a while expression (result <- while condition).
static ControlFlowChainDetails	ControlFlowChainDetails.createWhileLoop(List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Create details for a while loop (statement form).
static ControlFlowChainDetails	ControlFlowChainDetails.createWhileLoopUnified(GuardVariableDetails guardDetails, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Unified factory for while loops - automatically selects expression or statement form.
static ControlFlowChainDetails	ControlFlowChainDetails.createWhileLoopWithGuards(GuardVariableDetails guardDetails, List<ConditionCaseDetails> conditionChain, DebugInfo debugInfo, String scopeId)	Create details for a while loop with guard variables (statement form).

Constructors in org.ek9lang.compiler.ir.data with parameters of type DebugInfo

Modifier	Constructor	Description
	ControlFlowChainDetails(String result, String chainType, GuardVariableDetails guardDetails, EvaluationVariableDetails evaluationDetails, ReturnVariableDetails returnDetails, List<ConditionCaseDetails> conditionChain, DefaultCaseDetails defaultDetails, TryBlockDetails tryBlockDetails, List<IRInstr> finallyBlockEvaluation, DebugInfo debugInfo, String scopeId)	Creates an instance of a ControlFlowChainDetails record class.
	EnumIteratorImplDetails(String enumTypeName, String superTypeName, List<String> enumValues, String resultVariable, DebugInfo debugInfo)	Create enum iterator implementation details.
	LogicalDetails(String result, OperandEvaluation leftEvaluation, ConditionalEvaluation conditionalEvaluation, OperandEvaluation rightEvaluation, OperandEvaluation resultEvaluation, DebugInfo debugInfo, String scopeId)	Creates an instance of a LogicalDetails record class.

Uses of DebugInfo in org.ek9lang.compiler.ir.instructions

Methods in org.ek9lang.compiler.ir.instructions that return DebugInfo

Modifier and Type	Method	Description
DebugInfo	Field.getDebugInfo()	Get debug information for this field.
DebugInfo	OperationInstr.getDebugInfo()

Methods in org.ek9lang.compiler.ir.instructions that return types with arguments of type DebugInfo

Modifier and Type	Method	Description
Optional<DebugInfo>	IRInstr.getDebugInfo()	Get debug information for this instruction.

Methods in org.ek9lang.compiler.ir.instructions with parameters of type DebugInfo

Modifier and Type	Method	Description
static AssertThrowsInstr	AssertThrowsInstr.assertDoesNotThrow(List<IRInstr> bodyInstructions, String message, String scopeId, DebugInfo debugInfo)	Create ASSERT_DOES_NOT_THROW instruction.
static AssertThrowsInstr	AssertThrowsInstr.assertThrows(String result, String expectedType, List<IRInstr> bodyInstructions, String message, String scopeId, DebugInfo debugInfo)	Create ASSERT_THROWS instruction.
static BranchInstr	BranchInstr.assertValue(String condition, String message, DebugInfo debugInfo)	Create assert instruction with message and debug info: ASSERT condition, message.
static BranchInstr	BranchInstr.assertValue(String condition, DebugInfo debugInfo)	Create assert instruction with debug info: ASSERT condition.
static BranchInstr	BranchInstr.branch(String targetLabel, DebugInfo debugInfo)	Create unconditional branch: BRANCH target_label.
static BranchInstr	BranchInstr.branchIfFalse(String condition, String targetLabel, DebugInfo debugInfo)	Create conditional branch if false: BRANCH_FALSE condition, target_label.
static BranchInstr	BranchInstr.branchIfTrue(String condition, String targetLabel, DebugInfo debugInfo)	Create conditional branch if true: BRANCH_TRUE condition, target_label.
static CallInstr	CallInstr.call(String result, DebugInfo debugInfo, CallDetails callDetails)	Create method call with complete type information from resolved symbols: CALL result = object.method(args...)
static CallInstr	CallInstr.callStatic(String result, DebugInfo debugInfo, CallDetails callDetails)	Create static method call with complete type information: CALL_STATIC result = Type.method(args...)
static CastInstr	CastInstr.cast(String result, String source, String targetType, DebugInfo debugInfo)	Create instruction to cast source to target type and store in result.
static CallInstr	CallInstr.constructor(String result, DebugInfo debugInfo, CallDetails callDetails)	Create constructor call with complete type information: CALL result = Type.<init>(args...)
static ScopeInstr	ScopeInstr.enter(String scopeId, DebugInfo debugInfo)	Create scope enter instruction with debug info: SCOPE_ENTER scope_id.
static ScopeInstr	ScopeInstr.exit(String scopeId, DebugInfo debugInfo)	Create scope exit instruction with debug info: SCOPE_EXIT scope_id.
static CoverageFinalizeInstr	CoverageFinalizeInstr.finalize(String outputPath, DebugInfo debugInfo)	Create a coverage finalize instruction with explicit output path.
static CoverageFinalizeInstr	CoverageFinalizeInstr.finalize(DebugInfo debugInfo)	Create a coverage finalize instruction with default output path.
static ForRangePolymorphicInstr	ForRangePolymorphicInstr.forRangePolymorphic(List<IRInstr> initializationInstructions, ForRangePolymorphicInstr.DispatchCases dispatchCases, ForRangePolymorphicInstr.LoopMetadata metadata, List<IRInstr> bodyInstructions, ForRangePolymorphicInstr.ScopeMetadata scopeMetadata, DebugInfo debugInfo)	Create a polymorphic for-range loop instruction.
static MemoryInstr	MemoryInstr.functionInstance(String result, String functionType, DebugInfo debugInfo)	Create FUNCTION_INSTANCE instruction with debug info: FUNCTION_INSTANCE result = FunctionType.
static CastInstr	CastInstr.instanceOf(String result, String source, String targetType, DebugInfo debugInfo)	Create instruction to check if source is instance of target type.
static StringInterpolationInstr	StringInterpolationInstr.interpolate(String result, List<IRInstr> setupInstructions, List<StringInterpolationPart> parts, String scopeId, DebugInfo debugInfo)	Create a string interpolation instruction.
static MemoryInstr	MemoryInstr.isNull(String result, String operand, DebugInfo debugInfo)	Create IS_NULL instruction with debug info: IS_NULL result = operand.
static LabelInstr	LabelInstr.label(String labelName, DebugInfo debugInfo)	Create label instruction with debug info: LABEL label_name.
static MemoryInstr	MemoryInstr.load(String destination, String sourceLocation, DebugInfo debugInfo)	Create LOAD instruction with debug info: LOAD dest = source_location.
static MemoryInstr	MemoryInstr.loadConstant(String result, String constantName, String moduleName, String typeName, DebugInfo debugInfo)	Create LOAD_CONSTANT instruction: load from module constant storage.
static MemoryInstr	MemoryInstr.loadField(String destination, String objectVar, String fieldName, String ownerType, String fieldType, DebugInfo debugInfo)	Create LOAD_FIELD instruction: load field value from object.
static MemoryInstr	MemoryInstr.loadStaticField(String result, String fieldName, String ownerType, String fieldType, DebugInfo debugInfo)	Create LOAD_STATIC_FIELD instruction: load static field from class.
static LiteralInstr	LiteralInstr.objectFromLiteral(String result, String literalValue, String literalType, DebugInfo debugInfo)	Create instruction to load a literal value as an EK9 object.
static CallInstr	CallInstr.operator(String result, DebugInfo debugInfo, CallDetails callDetails)	Create EK9 operator call with complete type information: CALL result = object._operatorMethod(args...) Common operators: _add, _sub, _eq, _lt, _addAss, _isSet, etc.
static PrimitiveLiteralInstr	LiteralInstr.primitiveFromLiteral(String result, String literalValue, String primitiveType, DebugInfo debugInfo)	Create instruction to load a literal value as a primitive (int, boolean, java.lang.String).
static CoverageProbeInstr	CoverageProbeInstr.probe(CoverageProbeDetails probeDetails, DebugInfo debugInfo)	Create a coverage probe instruction.
static MemoryInstr	MemoryInstr.reference(String variableName, String typeInfo, DebugInfo debugInfo)	Create REFERENCE instruction with debug info: REFERENCE variable_name, type_info.
static CoverageRegisterInstr	CoverageRegisterInstr.register(CoverageModuleDetails moduleDetails, DebugInfo debugInfo)	Create a coverage register instruction.
static ScopeInstr	ScopeInstr.register(String object, String scopeId, DebugInfo debugInfo)
static MemoryInstr	MemoryInstr.release(String object, DebugInfo debugInfo)	Create RELEASE instruction with debug info: RELEASE object, decrement ARC.
static BranchInstr	BranchInstr.requireValue(String condition, String message, DebugInfo debugInfo)	Create require instruction with message and debug info: REQUIRE condition, message.
static BranchInstr	BranchInstr.requireValue(String condition, DebugInfo debugInfo)	Create require instruction with debug info: REQUIRE condition.
static MemoryInstr	MemoryInstr.retain(String object, DebugInfo debugInfo)	Create RETAIN instruction with debug info: RETAIN object, i.e.
static BranchInstr	BranchInstr.returnValue(String value, DebugInfo debugInfo)	Create return with value and debug info: RETURN value.
static BranchInstr	BranchInstr.returnVoid(DebugInfo debugInfo)	Create return with no value and debug info: RETURN.
static SanitizeInstr	SanitizeInstr.sanitize(String destination, String source, DebugInfo debugInfo)	Create instruction to sanitize a string and store in destination.
static Field	Field.staticField(ISymbol symbol, String name, String typeName, DebugInfo debugInfo)	Factory method for creating a static field (e.g., enum constants).
static MemoryInstr	MemoryInstr.store(String destinationLocation, String source, DebugInfo debugInfo)	Create STORE instruction with debug info: STORE dest_location = source.
static MemoryInstr	MemoryInstr.storeField(String objectVar, String fieldName, String ownerType, String fieldType, String value, DebugInfo debugInfo)	Create STORE_FIELD instruction: store value into object field.
static MemoryInstr	MemoryInstr.storeStaticField(String fieldName, String ownerType, String fieldType, String value, DebugInfo debugInfo)	Create STORE_STATIC_FIELD instruction: store value into static field.
static ThrowInstr	ThrowInstr.throwException(String exceptionVariable, String exceptionType, DebugInfo debugInfo)	Create throw instruction with exception object variable, type, and debug info.

Constructors in org.ek9lang.compiler.ir.instructions with parameters of type DebugInfo

Modifier	Constructor	Description
	Field(ISymbol symbol, String name, String typeName, DebugInfo debugInfo)	Create a new instance Field IR node.
	IRInstr(IROpcode opcode, String result, DebugInfo debugInfo)	Create instruction with result and debug information.
	OperationInstr(ISymbol symbol, DebugInfo debugInfo)
(package private)	PrimitiveLiteralInstr(String result, String literalValue, String primitiveType, DebugInfo debugInfo)
	ProgramEntryPointInstr(List<ProgramDetails> availablePrograms, DebugInfo debugInfo)	Create program entry point instruction with complete program metadata.

Uses of DebugInfo in org.ek9lang.compiler.ir.support

Methods in org.ek9lang.compiler.ir.support that return DebugInfo

Modifier and Type	Method	Description
static DebugInfo	DebugInfo.from(CompilableSource compilableSource, IToken token)	Create DebugInfo from an ISymbol's source token.
static DebugInfo	DebugInfo.of(String sourceFile, int lineNumber, int columnNumber)	Create DebugInfo with just file and position (no original text).

Uses of DebugInfo in org.ek9lang.compiler.phase7.generation

Classes in org.ek9lang.compiler.phase7.generation that implement interfaces with type arguments of type DebugInfo

Modifier and Type	Class	Description
final class	DebugInfoCreator	Creates the debug information for the symbol provided.

Methods in org.ek9lang.compiler.phase7.generation that return DebugInfo

Modifier and Type	Method	Description
DebugInfo	DebugInfoCreator.apply(IToken token)
DebugInfo	IRGenerationContext.createDebugInfo(org.antlr.v4.runtime.Token token)	Create debug info from an ANTLR token.
DebugInfo	IRGenerationContext.createDebugInfo(org.antlr.v4.runtime.tree.ParseTree ctx)	Create debug info from a parse context.
DebugInfo	IRGenerationContext.createDebugInfo(Ek9Token token)	Create debug info from a token.
DebugInfo	IRGenerationContext.createDebugInfo(IToken token)	Create debug info from an EK9 IToken.
DebugInfo	IRInstructionBuilder.createDebugInfo(org.antlr.v4.runtime.Token token)	Create debug info from an ANTLR token.
DebugInfo	IRInstructionBuilder.createDebugInfo(org.antlr.v4.runtime.tree.ParseTree ctx)
DebugInfo	IRInstructionBuilder.createDebugInfo(Ek9Token token)	Create debug info from a token.
DebugInfo	IRInstructionBuilder.createDebugInfo(IToken token)	Create debug info from an EK9 IToken.
DebugInfo	IRGenerationContext.createDebugInfoAlways(org.antlr.v4.runtime.Token token)	Create debug info ALWAYS, regardless of debug mode flag.
DebugInfo	IRGenerationContext.createDebugInfoAlways(org.antlr.v4.runtime.tree.ParseTree ctx)	Create debug info ALWAYS from a parse context, regardless of debug mode flag.
DebugInfo	IRStackFrame.debugInfo()	Returns the value of the debugInfo record component.

Methods in org.ek9lang.compiler.phase7.generation that return types with arguments of type DebugInfo

Modifier and Type	Method	Description
Optional<DebugInfo>	IRGenerationContext.currentDebugInfo()	Get current debug info from the stack.
Optional<DebugInfo>	IRGenerationStack.currentDebugInfo()	Get current debug info from the top frame.

Methods in org.ek9lang.compiler.phase7.generation with parameters of type DebugInfo

Modifier and Type	Method	Description
static IRStackFrame	IRStackFrame.basic(String scopeId, DebugInfo debugInfo, IRFrameType frameType)	Create a basic frame with just scope and debug info.
void	IRInstructionBuilder.callThisMethod(String targetTypeName, String methodName, String targetVariable, DebugInfo debugInfo)	Create a method call on 'this' object with specific debug info.
IRInstr	CoverageProbePlacer.createBranchFalseProbe(DebugInfo debugInfo)	Create a branch-false (else) probe instruction.
IRInstr	CoverageProbePlacer.createBranchTrueProbe(DebugInfo debugInfo)	Create a branch-true (if/then) probe instruction.
IRInstr	CoverageProbePlacer.createCatchBlockProbe(String exceptionType, DebugInfo debugInfo)	Create a catch block probe instruction.
IRInstr	CoverageProbePlacer.createCoverageFinalization(DebugInfo debugInfo)	Create a coverage finalization instruction.
IRInstr	CoverageProbePlacer.createFinallyBlockProbe(DebugInfo debugInfo)	Create a finally block probe instruction.
IRInstr	CoverageProbePlacer.createFunctionEntryProbe(DebugInfo debugInfo)	Create a function entry probe instruction.
IRInstr	CoverageProbePlacer.createLoopBodyProbe(DebugInfo debugInfo)	Create a loop body probe instruction.
IRInstr	CoverageProbePlacer.createModuleRegistration(DebugInfo debugInfo)	Create a module registration instruction.
IRInstr	CoverageProbePlacer.createStatementProbe(DebugInfo debugInfo)	Create a statement probe instruction.
IRInstr	CoverageProbePlacer.createSwitchCaseProbe(String caseLabel, DebugInfo debugInfo)	Create a switch case probe instruction.
void	IRGenerationContext.enterMethodScope(String scopeId, DebugInfo debugInfo, IRFrameType frameType)	Enter a method/function scope with fresh IRContext for counter isolation.
void	IRGenerationContext.enterScope(String scopeId, DebugInfo debugInfo, IRFrameType frameType)	Enter a new IR scope context.
static IRStackFrame	IRStackFrame.full(String scopeId, DebugInfo debugInfo, IRFrameType frameType, boolean hasLeftHandSide, Object contextData)	Create a full frame with all parameters.
void	IRInstructionBuilder.returnValue(String variableName, DebugInfo debugInfo)
static IRStackFrame	IRStackFrame.withContext(String scopeId, DebugInfo debugInfo, IRFrameType frameType, Object contextData)	Create a frame with additional context data.
static IRStackFrame	IRStackFrame.withLeftHandSide(String scopeId, DebugInfo debugInfo, IRFrameType frameType, boolean hasLeftHandSide)	Create a frame with left-hand side indication.

Constructors in org.ek9lang.compiler.phase7.generation with parameters of type DebugInfo

Modifier	Constructor	Description
	IRStackFrame(String scopeId, DebugInfo debugInfo, IRFrameType frameType, boolean hasLeftHandSide, Object contextData)	Creates an instance of a IRStackFrame record class.

Uses of DebugInfo in org.ek9lang.compiler.phase7.generator

Methods in org.ek9lang.compiler.phase7.generator that return DebugInfo

Modifier and Type	Method	Description
DebugInfo	ReturningParamProcessor.createDebugInfo(EK9Parser.ReturningParamContext ctx)	Create debug info from the returningParam context.
DebugInfo	GuardedScopeOrchestrator.OrchestratorContext.debugInfo()	Returns the value of the debugInfo record component.

Methods in org.ek9lang.compiler.phase7.generator with parameters of type DebugInfo

Modifier and Type	Method	Description
List<IRInstr>	ExpressionResultAssigner.assign(String returnVariable, String branchResult, DebugInfo debugInfo)	Generate ARC-safe assignment instructions for a branch result.
List<IRInstr>	ExpressionResultAssigner.assignIfNeeded(String returnVariable, String branchResult, DebugInfo debugInfo)	Conditionally generate assignment instructions.
protected AbstractAssertExprGenerator.AssertBodyResult	AbstractAssertExprGenerator.buildAssertionBody(EK9Parser.ExpressionContext exprCtx, DebugInfo debugInfo)	Build the assertion body with proper scope management.
protected VariableDetails	AbstractGenerator.createTempVariable(DebugInfo debugInfo)	Create a temporary variable with associated debug info.
GuardedConditionEvaluator.ConditionEvaluation	GuardedConditionEvaluator.evaluate(EK9Parser.ExpressionContext conditionExpr, EK9Parser.PreFlowStatementContext preFlowStmt, VariableDetails conditionResult, String scopeId, DebugInfo debugInfo)	Evaluates a condition expression that may have guard variables.
GuardedConditionEvaluator.ConditionEvaluation	GuardedConditionEvaluator.evaluateGuardOnlyForVariable(ISymbol guardSymbol, String variableName, VariableDetails conditionResult, String scopeId, DebugInfo debugInfo)	Evaluates guard only for a pre-resolved variable (used by WHILE/DO-WHILE for entry check).
List<IRInstr>	ControlFlowChainGenerator.generateGuardedAssignment(ISymbol lhsSymbol, List<IRInstr> assignmentEvaluation, String assignmentResult, DebugInfo debugInfo)	Generate SWITCH_CHAIN_BLOCK for guarded assignment (:=?).
List<IRInstr>	ControlFlowChainGenerator.generateQuestionOperatorForVariable(ISymbol variableSymbol, String resultVariable, DebugInfo debugInfo)	Generate SWITCH_CHAIN_BLOCK for Question operator applied to a variable.
List<IRInstr>	LoopGuardHelper.wrapBodyWithGuardEntryCheck(GuardVariableDetails guardDetails, List<IRInstr> bodyInstructions, String guardScopeId, DebugInfo debugInfo)	Wrap body instructions in an IF_ELSE_IF that checks the guard entry condition.
List<IRInstr>	LoopGuardHelper.wrapChainWithGuardEntryCheck(GuardVariableDetails guardDetails, ControlFlowChainDetails chainDetails, String guardScopeId, DebugInfo debugInfo)	Wrap a ControlFlowChainDetails (loop or try) in an IF_ELSE_IF that checks the guard entry condition.
List<IRInstr>	LoopGuardHelper.wrapExpressionFormWithGuardEntryCheck(GuardVariableDetails guardDetails, List<IRInstr> returnVariableSetup, List<IRInstr> bodyInstructionsWithoutRtn, String guardScopeId, DebugInfo debugInfo)	Wrap body instructions in an IF_ELSE_IF for EXPRESSION FORM with return variable.

Method parameters in org.ek9lang.compiler.phase7.generator with type arguments of type DebugInfo

Modifier and Type	Method	Description
protected void	AbstractGenerator.addCoverageProbe(org.antlr.v4.runtime.tree.ParseTree ctx, List<IRInstr> instructions, Function<DebugInfo, IRInstr> probeFactory)	Add a coverage probe instruction if coverage instrumentation is enabled.

Constructors in org.ek9lang.compiler.phase7.generator with parameters of type DebugInfo

Modifier	Constructor	Description
	OrchestratorContext(GuardVariableDetails guardDetails, ReturnVariableDetails returnDetails, String outerScopeId, DebugInfo debugInfo)	Creates an instance of a OrchestratorContext record class.

Uses of DebugInfo in org.ek9lang.compiler.phase7.support

Methods in org.ek9lang.compiler.phase7.support that return DebugInfo

Modifier and Type	Method	Description
DebugInfo	BinaryOperatorParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	BooleanExtractionParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	ComparisonParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	DirectionCheckParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	IncrementParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	LiteralParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	PromotionParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	UnaryOperatorParams.debugInfo()	Returns the value of the debugInfo record component.
DebugInfo	VariableDetails.debugInfo()	Returns the value of the debugInfo record component.

Methods in org.ek9lang.compiler.phase7.support with parameters of type DebugInfo

Modifier and Type	Method	Description
List<IRInstr>	ScopedInstructionExecutor.execute(Supplier<List<IRInstr>> instructionGenerator, DebugInfo debugInfo)	Execute instructions within temporary scope.

Constructors in org.ek9lang.compiler.phase7.support with parameters of type DebugInfo

Modifier	Constructor	Description
	BinaryOperatorParams(String leftOperand, String rightOperand, String operator, ISymbol leftType, ISymbol rightType, ISymbol resultType, String resultTemp, String scopeId, DebugInfo debugInfo)	Creates an instance of a BinaryOperatorParams record class.
	BooleanExtractionParams(String booleanObjectVar, String resultTemp, DebugInfo debugInfo)	Creates an instance of a BooleanExtractionParams record class.
	ComparisonParams(String leftOperand, String rightOperand, String operator, ISymbol leftType, ISymbol rightType, ISymbol booleanType, String booleanObjectTemp, String primitiveBooleanTemp, String scopeId, DebugInfo debugInfo)	Creates an instance of a ComparisonParams record class.
	DirectionCheckParams(String directionTemp, String comparisonOperator, String zeroTemp, String booleanObjectTemp, String primitiveBooleanTemp, ISymbol integerType, ISymbol booleanType, String scopeId, DebugInfo debugInfo)	Creates an instance of a DirectionCheckParams record class.
	IncrementParams(String counterVar, String operator, ISymbol counterType, String scopeId, DebugInfo debugInfo)	Creates an instance of a IncrementParams record class.
	LiteralParams(String tempName, String literalValue, ISymbol literalType, DebugInfo debugInfo)	Creates an instance of a LiteralParams record class.
	PromotionParams(ISymbol sourceType, String sourceVariable, DebugInfo debugInfo)	Creates an instance of a PromotionParams record class.
	UnaryOperatorParams(String operand, String operator, ISymbol operandType, ISymbol resultType, String resultTemp, String scopeId, DebugInfo debugInfo)	Creates an instance of a UnaryOperatorParams record class.
	VariableDetails(String resultVariable, DebugInfo debugInfo)	Creates an instance of a VariableDetails record class.

Uses of DebugInfo in org.ek9lang.compiler.phase7.synthesis

Methods in org.ek9lang.compiler.phase7.synthesis that return DebugInfo

Modifier and Type	Method	Description
protected DebugInfo	AbstractSyntheticGenerator.createDebugInfo(ISymbol symbol)	Create debug info from a symbol's source token.

Methods in org.ek9lang.compiler.phase7.synthesis with parameters of type DebugInfo

Modifier and Type	Method	Description
protected List<IRInstr>	AbstractSyntheticGenerator.generateAnyFieldSetGuard(AggregateSymbol aggregateSymbol, String aggregateTypeName, DebugInfo debugInfo, String returnUnsetLabel, String scopeId)	Generate guard that returns UNSET if no fields are set (ANY field set semantics).
protected List<IRInstr>	AbstractSyntheticGenerator.generateBooleanReturnBlock(boolean value, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate a return block that returns a specific boolean value (true or false).
protected List<IRInstr>	AbstractSyntheticGenerator.generateConstructorCall(String resultVar, String typeName, String argument, String parameterType, DebugInfo debugInfo, String scopeId)	Generate a constructor call with a single argument to create a new instance.
protected List<IRInstr>	AbstractSyntheticGenerator.generateConstructorCall(String resultVar, String typeName, DebugInfo debugInfo, String scopeId)	Generate a constructor call to create a new instance.
protected List<IRInstr>	AbstractSyntheticGenerator.generateConstructorCallWithArgs(String resultVar, String typeName, List<String> arguments, List<String> parameterTypes, DebugInfo debugInfo, String scopeId)	Generate a constructor call with arguments to create a new instance.
protected List<IRInstr>	AbstractSyntheticGenerator.generateFieldLoad(String targetVar, String objectVar, String fieldName, String ownerTypeName, String fieldTypeName, DebugInfo debugInfo, String scopeId)	Generate field load instruction with memory management using explicit LOAD_FIELD.
protected List<IRInstr>	AbstractSyntheticGenerator.generateFieldSetStatusCheck(String otherParamName, String aggregateTypeName, DebugInfo debugInfo, String scopeId, String returnUnsetLabel)	Generate field set status comparison check.
protected List<IRInstr>	AbstractSyntheticGenerator.generateIsSetGuard(String variableName, String typeName, DebugInfo debugInfo, String unsetLabel, String scopeId)	Generate isSet guard check for a variable with branch to unset return.
protected List<IRInstr>	AbstractSyntheticGenerator.generateMethodCall(String resultVar, String targetVar, String targetType, String methodName, String argument, String parameterType, String returnType, DebugInfo debugInfo, String scopeId)	Generate a single-argument method call with result storage and memory management.
protected List<IRInstr>	AbstractSyntheticGenerator.generateMethodCall(String resultVar, String targetVar, String targetType, String methodName, String returnType, DebugInfo debugInfo, String scopeId)	Generate a no-argument method call with result storage and memory management.
protected List<IRInstr>	AbstractSyntheticGenerator.generateMethodCall(String resultVar, String targetVar, String targetType, String methodName, List<String> arguments, List<String> parameterTypes, String returnType, DebugInfo debugInfo, String scopeId)	Generate a method call on a variable with result storage and memory management.
protected List<IRInstr>	AbstractSyntheticGenerator.generateMethodCall(String resultVar, String targetVar, String targetType, String methodName, List<String> arguments, List<String> parameterTypes, String returnType, DebugInfo debugInfo, String scopeId, boolean isTraitCall)	Generate a method call on a variable with result storage and memory management.
protected List<IRInstr>	AbstractSyntheticGenerator.generateResultReturnBlock(String labelName, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate a result return block that returns whatever is in the return variable.
protected List<IRInstr>	AbstractSyntheticGenerator.generateStringLiteralLoad(String resultVar, String literalValue, DebugInfo debugInfo, String scopeId)	Generate a string literal load with memory management.
protected List<IRInstr>	AbstractSyntheticGenerator.generateThisIsSetGuard(String aggregateTypeName, DebugInfo debugInfo, String unsetLabel, String scopeId)	Generate isSet guard check for 'this' with branch to unset return.
protected List<IRInstr>	AbstractSyntheticGenerator.generateUnsetReturnBlock(String returnTypeName, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate the return_unset basic block that returns an unset value.
protected List<IRInstr>	AbstractSyntheticGenerator.generateUnsetReturnBlockWithLabel(String labelName, String returnTypeName, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate unset return block at a specific label.

Uses of DebugInfo in org.ek9lang.compiler.phase7.synthesis.support

Methods in org.ek9lang.compiler.phase7.synthesis.support that return DebugInfo

Modifier and Type	Method	Description
DebugInfo	SynthesisScope.debugInfo()	Returns the value of the debugInfo record component.

Methods in org.ek9lang.compiler.phase7.synthesis.support with parameters of type DebugInfo

Modifier and Type	Method	Description
List<IRInstr>	ReturnBlockHelper.generateBooleanReturn(String labelName, boolean value, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate a return block that returns a boolean value (true or false).
List<IRInstr>	ReturnBlockHelper.generateIntegerReturn(String labelName, int value, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate a return block that returns an integer literal value.
List<IRInstr>	ReturnBlockHelper.generateUnsetReturn(String labelName, String returnTypeName, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate a return block that returns an unset value of the given type.
List<IRInstr>	ReturnBlockHelper.generateValueReturn(String labelName, String returnVarName, DebugInfo debugInfo, String scopeId)	Generate a return block that returns the value already in the return variable.

Constructors in org.ek9lang.compiler.phase7.synthesis.support with parameters of type DebugInfo

Modifier	Constructor	Description
	SynthesisScope(DebugInfo debugInfo, String scopeId)	Validate that scopeId is not null.