Package com.ibm.wala.ssa.analysis
Interface IExplodedBasicBlock
-
- All Superinterfaces:
IBasicBlock<SSAInstruction>
,com.ibm.wala.util.graph.INodeWithNumber
,ISSABasicBlock
,java.lang.Iterable<SSAInstruction>
public interface IExplodedBasicBlock extends ISSABasicBlock
A basic block with exactly one normal instruction (which may be null), corresponding to a single instruction index in the SSA instruction array.The block may also have phis.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description SSAGetCaughtExceptionInstruction
getCatchInstruction()
if this represents an exception handler block, return the correspondingSSAGetCaughtExceptionInstruction
SSAInstruction
getInstruction()
get the instruction for this block, or null if the block has no instructionint
getOriginalNumber()
get the number of the original basic block containing the instruction of this exploded block-
Methods inherited from interface com.ibm.wala.cfg.IBasicBlock
getFirstInstructionIndex, getLastInstructionIndex, getMethod, getNumber
-
Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Methods inherited from interface com.ibm.wala.ssa.ISSABasicBlock
getCaughtExceptionTypes, getLastInstruction, isCatchBlock, isEntryBlock, isExitBlock, iteratePhis, iteratePis
-
-
-
-
Method Detail
-
getInstruction
SSAInstruction getInstruction()
get the instruction for this block, or null if the block has no instruction
-
getCatchInstruction
SSAGetCaughtExceptionInstruction getCatchInstruction()
if this represents an exception handler block, return the correspondingSSAGetCaughtExceptionInstruction
- Throws:
java.lang.IllegalArgumentException
- if this does not represent an exception handler block
-
getOriginalNumber
int getOriginalNumber()
get the number of the original basic block containing the instruction of this exploded block
-
-