Class CastInstr

java.lang.Object

org.ek9lang.compiler.ir.instructions.IRInstr

org.ek9lang.compiler.ir.instructions.CastInstr

All Implemented Interfaces:

INode

public final class CastInstr
extends IRInstr

IR instruction for explicit type casting.

Used when the value on the stack needs to be cast to a different type, particularly in Scenario 2 wrapper delegation where the delegate method returns Any but the wrapper method returns a more specific type.

Format: CAST result = source, targetType

Backend translation:

• JVM: CHECKCAST target_type
• LLVM: bitcast or no-op (depending on representation)

Method Summary

Modifier and Type	Method	Description
static CastInstr	cast(String result, String source, String targetType)	Create instruction to cast source to target type and store in result (no debug info).
static CastInstr	cast(String result, String source, String targetType, DebugInfo debugInfo)	Create instruction to cast source to target type and store in result.
InstanceOfKind	getKind()	Get the kind discriminator for INSTANCEOF instructions; null for CAST.
String	getSource()	Get the source variable name being casted.
String	getTargetType()	Get the fully qualified target type to cast to.
static CastInstr	instanceOf(String result, String source, String targetType, InstanceOfKind kind, DebugInfo debugInfo)	Create instruction to check if source is instance of target type with explicit kind.
boolean	isInstanceOf()	Check if this is an INSTANCEOF instruction.
String	toString()

Methods inherited from class IRInstr

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

Methods inherited from class Object

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

Method Details

cast

public static CastInstr cast(String result,
 String source,
 String targetType,
 DebugInfo debugInfo)

Create instruction to cast source to target type and store in result.

Pattern: CAST result = source, targetType

Parameters:

result - The variable to store the casted result

source - The variable containing the value to cast

targetType - The fully qualified type to cast to

debugInfo - Debug information for source mapping (can be null)

Returns:

CAST instruction

cast

public static CastInstr cast(String result,
 String source,
 String targetType)

Create instruction to cast source to target type and store in result (no debug info).

Parameters:

result - The variable to store the casted result

source - The variable containing the value to cast

targetType - The fully qualified type to cast to

Returns:

CAST instruction

getSource

public String getSource()

Get the source variable name being casted.

getTargetType

public String getTargetType()

Get the fully qualified target type to cast to.

instanceOf

public static CastInstr instanceOf(String result,
 String source,
 String targetType,
 InstanceOfKind kind,
 DebugInfo debugInfo)

Create instruction to check if source is instance of target type with explicit kind.

Pattern: INSTANCEOF result = source, targetType [KIND]

Result is a primitive boolean (JVM int 0/1) indicating whether source is an instance of targetType under the semantics named by kind. See InstanceOfKind for the kind contract — backends must dispatch on it. The kind is mandatory because the JVM's native subtype-aware INSTANCEOF and an LLVM type-hash compare are NOT interchangeable, and the producer is the only party that knows which it wants.

Parameters:

result - The variable to store the boolean result

source - The variable containing the value to check

targetType - The fully qualified type to check against

kind - The semantic kind (EXACT, SUBTYPE, TRAIT) — not null

debugInfo - Debug information for source mapping (can be null)

Returns:

INSTANCEOF instruction

isInstanceOf

public boolean isInstanceOf()

Check if this is an INSTANCEOF instruction.

getKind

public InstanceOfKind getKind()

Get the kind discriminator for INSTANCEOF instructions; null for CAST.

toString

public String toString()

Overrides:

toString in class IRInstr