Package com.ibm.wala.ssa.analysis
Interface IExplodedBasicBlock
-
- All Superinterfaces:
IBasicBlock<SSAInstruction>
,INodeWithNumber
,ISSABasicBlock
,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 instruction-
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
-
Methods inherited from interface java.lang.Iterable
forEach, iterator, spliterator
-
-
-
-
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:
IllegalArgumentException
- if this does not represent an exception handler block
-
-