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 SSAGetCaughtExceptionInstructiongetCatchInstruction()if this represents an exception handler block, return the correspondingSSAGetCaughtExceptionInstructionSSAInstructiongetInstruction()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
-
-