Package com.ibm.wala.ssa
Class SSAAbstractThrowInstruction
- java.lang.Object
-
- com.ibm.wala.ssa.SSAInstruction
-
- com.ibm.wala.ssa.SSAAbstractThrowInstruction
-
- Direct Known Subclasses:
SSAThrowInstruction
public abstract class SSAAbstractThrowInstruction extends SSAInstruction
An instruction which unconditionally throws an exception
-
-
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
-
-
Constructor Summary
Constructors Constructor Description SSAAbstractThrowInstruction(int iindex, int exception)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
getException()
int
getNumberOfUses()
int
getUse(int j)
int
hashCode()
boolean
isFallThrough()
boolean
isPEI()
String
toString(SymbolTable symbolTable)
-
Methods inherited from class com.ibm.wala.ssa.SSAInstruction
copyForSSA, equals, getDef, getDef, getExceptionTypes, getNumberOfDefs, getValueString, hasDef, toString, visit
-
-
-
-
Method Detail
-
toString
public String toString(SymbolTable symbolTable)
- Specified by:
toString
in classSSAInstruction
-
getNumberOfUses
public int getNumberOfUses()
- Overrides:
getNumberOfUses
in classSSAInstruction
- See Also:
SSAInstruction.getNumberOfUses()
-
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)
-
hashCode
public int hashCode()
- Specified by:
hashCode
in classSSAInstruction
-
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
-
getException
public int getException()
- Returns:
- value number of the thrown exception object.
-
-