Package com.tonic.analysis.ssa.ir

Class TypeCheckInstruction

java.lang.Object

com.tonic.analysis.ssa.ir.IRInstruction

com.tonic.analysis.ssa.ir.TypeCheckInstruction

public class TypeCheckInstruction
extends IRInstruction

A checkcast or instanceof test, distinguished by its TypeCheckOp.

Method Summary

Modifier and Type	Method	Description
<T> T	accept(IRVisitor<T> visitor)	Accepts a visitor for this instruction.
IRInstruction	copyWithNewOperands(SSAValue newResult, List<Value> newOperands)	Creates a copy of this instruction with new result and operands.
static TypeCheckInstruction	createCast(SSAValue result, Value operand, IRType targetType)	Creates a checkcast.
static TypeCheckInstruction	createInstanceOf(SSAValue result, Value operand, IRType checkType)	Creates an instanceof test.
TypeCheckOp	getOp()
Value	getOperand()
List<Value>	getOperands()	Gets the operands used by this instruction.
IRType	getTargetType()
boolean	isCast()
boolean	isInstanceOf()
void	replaceOperand(Value oldValue, Value newValue)	Replaces an operand value with a new value.
String	toString()

Methods inherited from class com.tonic.analysis.ssa.ir.IRInstruction

equals, getBlock, getBytecodeOffset, getId, getResult, getResultType, hashCode, hasResult, isPhi, isTerminator, replaceTarget, resetIdCounter, setBlock, setBytecodeOffset, setResult

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Method Detail

createCast

public static TypeCheckInstruction createCast(SSAValue result,
                                              Value operand,
                                              IRType targetType)

Creates a checkcast.

Parameters:

result - the SSA value receiving the cast reference

operand - the reference to cast

targetType - the type to cast to

Returns:

the cast instruction

createInstanceOf

public static TypeCheckInstruction createInstanceOf(SSAValue result,
                                                    Value operand,
                                                    IRType checkType)

Creates an instanceof test.

Parameters:

result - the SSA value receiving the boolean result

operand - the reference to test

checkType - the type to test against

Returns:

the instanceof instruction

getOp

public TypeCheckOp getOp()

Returns:

the op

getOperand

public Value getOperand()

Returns:

the operand

getTargetType

public IRType getTargetType()

Returns:

the target type

isCast

public boolean isCast()

Returns:

true if this is a checkcast

isInstanceOf

public boolean isInstanceOf()

Returns:

true if this is an instanceof test

getOperands

public List<Value> getOperands()

Description copied from class: IRInstruction

Gets the operands used by this instruction.

Specified by:

getOperands in class IRInstruction

Returns:

list of operand values

replaceOperand

public void replaceOperand(Value oldValue,
                           Value newValue)

Description copied from class: IRInstruction

Replaces an operand value with a new value.

Specified by:

replaceOperand in class IRInstruction

Parameters:

oldValue - the value to replace

newValue - the replacement value

accept

public <T> T accept(IRVisitor<T> visitor)

Description copied from class: IRInstruction

Accepts a visitor for this instruction.

Specified by:

accept in class IRInstruction

Type Parameters:

T - the return type

Parameters:

visitor - the visitor to accept

Returns:

the visitor result

copyWithNewOperands

public IRInstruction copyWithNewOperands(SSAValue newResult,
                                         List<Value> newOperands)

Description copied from class: IRInstruction

Creates a copy of this instruction with new result and operands.

Overrides:

copyWithNewOperands in class IRInstruction

Parameters:

newResult - the new result value (may be null)

newOperands - the new operand values

Returns:

a copy of this instruction, or null if copying not supported

toString

public String toString()

Overrides:

toString in class Object