Package com.ibm.wala.ssa
Class SSAArrayReferenceInstruction
- java.lang.Object
-
- com.ibm.wala.ssa.SSAInstruction
-
- com.ibm.wala.ssa.SSAArrayReferenceInstruction
-
- Direct Known Subclasses:
SSAArrayLoadInstruction
,SSAArrayStoreInstruction
public abstract class SSAArrayReferenceInstruction extends SSAInstruction
Abstract base class for instructions that load or store from array contents.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class com.ibm.wala.ssa.SSAInstruction
SSAInstruction.IVisitor, SSAInstruction.Visitor
-
-
Field Summary
-
Fields inherited from class com.ibm.wala.ssa.SSAInstruction
iindex, NO_INDEX
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getArrayRef()
Return the value number of the array reference.TypeReference
getElementType()
int
getIndex()
Return the value number of the index of the array reference.int
getNumberOfUses()
int
getUse(int j)
boolean
isFallThrough()
boolean
isPEI()
boolean
typeIsPrimitive()
-
Methods inherited from class com.ibm.wala.ssa.SSAInstruction
copyForSSA, equals, getDef, getDef, getExceptionTypes, getNumberOfDefs, getValueString, hasDef, hashCode, toString, toString, visit
-
-
-
-
Method Detail
-
getNumberOfUses
public int getNumberOfUses()
- Overrides:
getNumberOfUses
in classSSAInstruction
-
getUse
public int getUse(int j)
- Overrides:
getUse
in classSSAInstruction
- Returns:
- value number representing the jth use in this instruction. -1 means TOP (i.e., the value doesn't matter)
- See Also:
SSAInstruction.getUse(int)
-
getArrayRef
public int getArrayRef()
Return the value number of the array reference.
-
getIndex
public int getIndex()
Return the value number of the index of the array reference.
-
getElementType
public TypeReference getElementType()
-
typeIsPrimitive
public boolean typeIsPrimitive()
- Returns:
- true iff this represents an array access of a primitive type element
-
isPEI
public boolean isPEI()
- Overrides:
isPEI
in classSSAInstruction
- Returns:
- true iff this instruction may throw an exception.
-
isFallThrough
public boolean isFallThrough()
- Specified by:
isFallThrough
in classSSAInstruction
- Returns:
- true iff this instruction may fall through to the next
-
-