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 intgetArrayRef()Return the value number of the array reference.TypeReferencegetElementType()intgetIndex()Return the value number of the index of the array reference.intgetNumberOfUses()intgetUse(int j)booleanisFallThrough()booleanisPEI()booleantypeIsPrimitive()-
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:
getNumberOfUsesin classSSAInstruction
-
getUse
public int getUse(int j)
- Overrides:
getUsein 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:
isPEIin classSSAInstruction- Returns:
- true iff this instruction may throw an exception.
-
isFallThrough
public boolean isFallThrough()
- Specified by:
isFallThroughin classSSAInstruction- Returns:
- true iff this instruction may fall through to the next
-
-