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

Modifier and Type	Method	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 IBasicBlock

getFirstInstructionIndex, getLastInstructionIndex, getMethod, getNumber

Modifier and Type	Method	Description
int	getFirstInstructionIndex()	Get the index of the first instruction in the basic block.
int	getLastInstructionIndex()	Get the index of the last instruction in the basic block.
IMethod	getMethod()
int	getNumber()	Each basic block should have a unique number in its cfg

Methods inherited from interface INodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int number)

Methods inherited from interface ISSABasicBlock

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

Modifier and Type	Method	Description
Iterator<TypeReference>	getCaughtExceptionTypes()
SSAInstruction	getLastInstruction()
boolean	isCatchBlock()	Is this block a catch block
boolean	isEntryBlock()	Does this block represent the unique entry to a ControlFlowGraph
boolean	isExitBlock()	Does this block represent the unique exit from a ControlFlowGraph?
Iterator<SSAPhiInstruction>	iteratePhis()
Iterator<SSAPiInstruction>	iteratePis()

Methods inherited from interface Iterable

forEach, iterator, spliterator

Method Details

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

getOriginalNumber

int getOriginalNumber()

get the number of the original basic block containing the instruction of this exploded block