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

Modifier and Type	Method and Description
SSAGetCaughtExceptionInstruction	getCatchInstruction() if this represents an exception handler block, return the corresponding SSAGetCaughtExceptionInstruction
SSAInstruction	getInstruction() get the instruction for this block, or null if the block has no instruction
int	getOriginalNumber() get the number of the original basic block containing the instruction of this exploded block

Methods inherited from interface com.ibm.wala.ssa.ISSABasicBlock

getCaughtExceptionTypes, getLastInstruction, isCatchBlock, isEntryBlock, isExitBlock, iteratePhis, iteratePis

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 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 corresponding SSAGetCaughtExceptionInstruction

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