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 intgetException()intgetNumberOfUses()intgetUse(int j)inthashCode()booleanisFallThrough()booleanisPEI()StringtoString(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:
toStringin classSSAInstruction
-
getNumberOfUses
public int getNumberOfUses()
- Overrides:
getNumberOfUsesin classSSAInstruction- See Also:
SSAInstruction.getNumberOfUses()
-
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)
-
hashCode
public int hashCode()
- Specified by:
hashCodein classSSAInstruction
-
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
-
getException
public int getException()
- Returns:
- value number of the thrown exception object.
-
-