com.ibm.wala.cast.ir.ssa

Class AssignInstruction

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAAbstractUnaryInstruction

com.ibm.wala.ssa.SSAUnaryOpInstruction

com.ibm.wala.cast.ir.ssa.AssignInstruction

public class AssignInstruction
extends com.ibm.wala.ssa.SSAUnaryOpInstruction

A simple assignment statement. Only appears in the IR before SSA conversion, and temporarily when needed to undo copy propagation during processing of new lexical definitions and uses.

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.ssa.SSAInstruction.IVisitor, com.ibm.wala.ssa.SSAInstruction.Visitor

Field Summary

Fields inherited from class com.ibm.wala.ssa.SSAAbstractUnaryInstruction

result, val

Fields inherited from class com.ibm.wala.ssa.SSAInstruction

NO_INDEX

Constructor Summary

Constructors

Constructor and Description
AssignInstruction(int iindex, int result, int val) create the assignment v_result := v_val

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.ssa.SSAInstruction	copyForSSA(com.ibm.wala.ssa.SSAInstructionFactory insts, int[] defs, int[] uses)
int	getVal()
java.lang.String	toString(com.ibm.wala.ssa.SymbolTable symbolTable)
void	visit(com.ibm.wala.ssa.SSAInstruction.IVisitor v)

Methods inherited from class com.ibm.wala.ssa.SSAUnaryOpInstruction

getOpcode

Methods inherited from class com.ibm.wala.ssa.SSAAbstractUnaryInstruction

getDef, getDef, getNumberOfDefs, getNumberOfUses, getUse, hasDef, hashCode, isFallThrough

Methods inherited from class com.ibm.wala.ssa.SSAInstruction

equals, getExceptionTypes, getValueString, iIndex, isPEI, setInstructionIndex, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AssignInstruction

public AssignInstruction(int iindex,
                         int result,
                         int val)

create the assignment v_result := v_val

Method Detail

copyForSSA

public com.ibm.wala.ssa.SSAInstruction copyForSSA(com.ibm.wala.ssa.SSAInstructionFactory insts,
                                                  int[] defs,
                                                  int[] uses)

Overrides:

copyForSSA in class com.ibm.wala.ssa.SSAUnaryOpInstruction

See Also:

SSAInstruction.copyForSSA(SSAInstructionFactory, int[], int[])

toString

public java.lang.String toString(com.ibm.wala.ssa.SymbolTable symbolTable)

Overrides:

toString in class com.ibm.wala.ssa.SSAUnaryOpInstruction

See Also:

SSAInstruction.toString(SymbolTable)

visit

public void visit(com.ibm.wala.ssa.SSAInstruction.IVisitor v)

Overrides:

visit in class com.ibm.wala.ssa.SSAUnaryOpInstruction

See Also:

SSAInstruction.visit(IVisitor)

getVal

public int getVal()