Class SSAAbstractThrowInstruction
java.lang.Object
com.ibm.wala.ssa.SSAInstruction
com.ibm.wala.ssa.SSAAbstractThrowInstruction
- Direct Known Subclasses:
SSAThrowInstruction
An instruction which unconditionally throws an exception
-
Nested Class Summary
Nested classes/interfaces inherited from class SSAInstruction
SSAInstruction.IVisitor, SSAInstruction.VisitorModifier and TypeClassDescriptionstatic interfaceThis interface is used by Instruction.visit to dispatch based on the instruction type.static classA base visitor implementation that does nothing. -
Field Summary
Fields inherited from class SSAInstruction
NO_INDEX -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionintintintgetUse(int j) inthashCode()booleanbooleanisPEI()toString(SymbolTable symbolTable) Methods inherited from class SSAInstruction
copyForSSA, equals, getDef, getDef, getExceptionTypes, getNumberOfDefs, getValueString, hasDef, iIndex, setInstructionIndex, toString, visitModifier and TypeMethodDescriptionabstract SSAInstructioncopyForSSA(SSAInstructionFactory insts, int[] defs, int[] uses) This method is meant to be used during SSA conversion for an IR that is not in SSA form.final booleanWe assume these instructions are canonical and managed by a governing IR object.intgetDef()intgetDef(int i) Return the ith defThis method should never return null.intprotected StringgetValueString(SymbolTable symbolTable, int valueNumber) booleanhasDef()Does this instruction define a normal value, as distinct from a set of exceptions possibly thrown by it (e.g.intiIndex()voidsetInstructionIndex(int instructionIndex) toString()abstract voidApply an IVisitor to this instruction.
-
Constructor Details
-
SSAAbstractThrowInstruction
public SSAAbstractThrowInstruction(int iindex, int exception)
-
-
Method Details
-
toString
- Specified by:
toStringin classSSAInstruction
-
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)
-
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.
-