com.ibm.wala.ssa.analysis

Interface IExplodedBasicBlock

All Superinterfaces:

IBasicBlock<SSAInstruction>, com.ibm.wala.util.graph.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

Methods

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

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

iterator

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:

IllegalArgumentException - if this does not represent an exception handler block