Class BranchInstr

java.lang.Object

org.ek9lang.compiler.ir.instructions.IRInstr

org.ek9lang.compiler.ir.instructions.BranchInstr

All Implemented Interfaces:

INode

public final class BranchInstr
extends IRInstr

Specialized IR instruction for control flow operations (BRANCH, BRANCH_TRUE, BRANCH_FALSE, ASSERT, RETURN).

Branch instructions handle all control flow in the EK9 IR, including loops, conditionals, and method returns.

Method Summary

Modifier and Type	Method	Description
BranchInstr	addOperand(String operand)	Add operand to this instruction.
BranchInstr	addOperands(String... operands)	Add multiple operands to this instruction.
static BranchInstr	assertValue(String condition, String message, DebugInfo debugInfo)	Create assert instruction with message and debug info: ASSERT condition, message.
static BranchInstr	assertValue(String condition, DebugInfo debugInfo)	Create assert instruction with debug info: ASSERT condition.
static BranchInstr	branch(String targetLabel, DebugInfo debugInfo)	Create unconditional branch: BRANCH target_label.
static BranchInstr	branchIfFalse(String condition, String targetLabel, DebugInfo debugInfo)	Create conditional branch if false: BRANCH_FALSE condition, target_label.
static BranchInstr	branchIfTrue(String condition, String targetLabel, DebugInfo debugInfo)	Create conditional branch if true: BRANCH_TRUE condition, target_label.
String	getAssertCondition()	Get condition for ASSERT instructions.
String	getAssertMessage()	Get assertion message (second operand).
String	getCondition()	Get condition for conditional branch instructions.
String	getReturnValue()	Get return value for RETURN instructions.
String	getTargetLabel()	Get target label for branch instructions.
static BranchInstr	returnValue(String value, DebugInfo debugInfo)	Create return with value and debug info: RETURN value.
static BranchInstr	returnVoid()	Create return with no value: RETURN.
static BranchInstr	returnVoid(DebugInfo debugInfo)	Create return with no value and debug info: RETURN.

Methods inherited from class IRInstr

accept, equals, getDebugInfo, getEscapeMetaData, getOpcode, getOperands, getResult, hasEscapeMetaData, hashCode, hasResult, isControlFlow, isLabel, isMemoryManagement, isMethodCall, setEscapeMetaData, toString

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Details

returnVoid

public static BranchInstr returnVoid()

Create return with no value: RETURN.

returnVoid

public static BranchInstr returnVoid(DebugInfo debugInfo)

Create return with no value and debug info: RETURN.

returnValue

public static BranchInstr returnValue(String value,
 DebugInfo debugInfo)

Create return with value and debug info: RETURN value.

assertValue

public static BranchInstr assertValue(String condition,
 String message,
 DebugInfo debugInfo)

Create assert instruction with message and debug info: ASSERT condition, message. Message is stored as second operand and available at runtime regardless of debug mode.

assertValue

public static BranchInstr assertValue(String condition,
 DebugInfo debugInfo)

Create assert instruction with debug info: ASSERT condition. Backward compatible - no message.

branch

public static BranchInstr branch(String targetLabel,
 DebugInfo debugInfo)

Create unconditional branch: BRANCH target_label.

branchIfTrue

public static BranchInstr branchIfTrue(String condition,
 String targetLabel,
 DebugInfo debugInfo)

Create conditional branch if true: BRANCH_TRUE condition, target_label. Branches to target if condition is true (non-zero).

branchIfFalse

public static BranchInstr branchIfFalse(String condition,
 String targetLabel,
 DebugInfo debugInfo)

Create conditional branch if false: BRANCH_FALSE condition, target_label. Branches to target if condition is false (zero).

addOperand

public BranchInstr addOperand(String operand)

Description copied from class: IRInstr

Add operand to this instruction.

Overrides:

addOperand in class IRInstr

addOperands

public BranchInstr addOperands(String... operands)

Description copied from class: IRInstr

Add multiple operands to this instruction.

Overrides:

addOperands in class IRInstr

getTargetLabel

public String getTargetLabel()

Get target label for branch instructions.

getCondition

public String getCondition()

Get condition for conditional branch instructions.

getReturnValue

public String getReturnValue()

Get return value for RETURN instructions.

getAssertCondition

public String getAssertCondition()

Get condition for ASSERT instructions.

getAssertMessage

public String getAssertMessage()

Get assertion message (second operand). Returns null if no message was provided.