com.ibm.wala.cast.ir.ssa

Class AstIsDefinedInstruction

java.lang.Object

com.ibm.wala.ssa.SSAInstruction

com.ibm.wala.cast.ir.ssa.AstIsDefinedInstruction

public class AstIsDefinedInstruction
extends com.ibm.wala.ssa.SSAInstruction

IR instruction to check whether a field is defined on some object. The field is represented either by a FieldReference or by a local value number.

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.SSAInstruction

NO_INDEX

Constructor Summary

Constructors

Constructor and Description
AstIsDefinedInstruction(int iindex, int lval, int rval)
AstIsDefinedInstruction(int iindex, int lval, int rval, com.ibm.wala.types.FieldReference fieldRef)
AstIsDefinedInstruction(int iindex, int lval, int rval, int fieldVal)
AstIsDefinedInstruction(int iindex, int lval, int rval, int fieldVal, com.ibm.wala.types.FieldReference fieldRef) This constructor should only be used from SSAInstruction.copyForSSA(SSAInstructionFactory, int[], int[])

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	getDef()
int	getDef(int i)
java.util.Collection<com.ibm.wala.types.TypeReference>	getExceptionTypes()
com.ibm.wala.types.FieldReference	getFieldRef()
int	getNumberOfDefs()
int	getNumberOfUses()
int	getUse(int j)
boolean	hasDef()
int	hashCode()
boolean	isFallThrough()
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.SSAInstruction

equals, getValueString, iIndex, isPEI, setInstructionIndex, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

AstIsDefinedInstruction

public AstIsDefinedInstruction(int iindex,
                               int lval,
                               int rval,
                               int fieldVal,
                               com.ibm.wala.types.FieldReference fieldRef)

This constructor should only be used from SSAInstruction.copyForSSA(SSAInstructionFactory, int[], int[])

AstIsDefinedInstruction

public AstIsDefinedInstruction(int iindex,
                               int lval,
                               int rval,
                               com.ibm.wala.types.FieldReference fieldRef)

AstIsDefinedInstruction

public AstIsDefinedInstruction(int iindex,
                               int lval,
                               int rval,
                               int fieldVal)

AstIsDefinedInstruction

public AstIsDefinedInstruction(int iindex,
                               int lval,
                               int rval)

Method Detail

copyForSSA

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

Specified by:

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

toString

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

Specified by:

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

visit

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

Specified by:

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

getExceptionTypes

public java.util.Collection<com.ibm.wala.types.TypeReference> getExceptionTypes()

Overrides:

getExceptionTypes in class com.ibm.wala.ssa.SSAInstruction

hasDef

public boolean hasDef()

Overrides:

hasDef in class com.ibm.wala.ssa.SSAInstruction

getDef

public int getDef()

Overrides:

getDef in class com.ibm.wala.ssa.SSAInstruction

getDef

public int getDef(int i)

Overrides:

getDef in class com.ibm.wala.ssa.SSAInstruction

getNumberOfDefs

public int getNumberOfDefs()

Overrides:

getNumberOfDefs in class com.ibm.wala.ssa.SSAInstruction

getNumberOfUses

public int getNumberOfUses()

Overrides:

getNumberOfUses in class com.ibm.wala.ssa.SSAInstruction

getUse

public int getUse(int j)

Overrides:

getUse in class com.ibm.wala.ssa.SSAInstruction

isFallThrough

public boolean isFallThrough()

Specified by:

isFallThrough in class com.ibm.wala.ssa.SSAInstruction

hashCode

public int hashCode()

Specified by:

hashCode in class com.ibm.wala.ssa.SSAInstruction

getFieldRef

public com.ibm.wala.types.FieldReference getFieldRef()