Interface ISSABasicBlock

All Superinterfaces:

IBasicBlock<SSAInstruction>, INodeWithNumber, Iterable<SSAInstruction>

All Known Subinterfaces:

IExplodedBasicBlock

All Known Implementing Classes:

BasicBlockInContext, SSACFG.BasicBlock, SSACFG.ExceptionHandlerBasicBlock

public interface ISSABasicBlock
extends IBasicBlock<SSAInstruction>

Common interface to all SSA BasicBlocks

Method Summary

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 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 Iterable

forEach, iterator, spliterator

Method Details

isCatchBlock

boolean isCatchBlock()

Is this block a catch block

Specified by:

isCatchBlock in interface IBasicBlock<SSAInstruction>

Returns:

true if the basic block represents a catch block.

isExitBlock

boolean isExitBlock()

Does this block represent the unique exit from a ControlFlowGraph?

Specified by:

isExitBlock in interface IBasicBlock<SSAInstruction>

Returns:

true if the basic block represents the unique exit block.

isEntryBlock

boolean isEntryBlock()

Does this block represent the unique entry to a ControlFlowGraph

Specified by:

isEntryBlock in interface IBasicBlock<SSAInstruction>

Returns:

true if the basic block represents the unique entry block.

iteratePhis

Iterator<SSAPhiInstruction> iteratePhis()

Returns:

the phi instructions incoming to this block

iteratePis

Iterator<SSAPiInstruction> iteratePis()

Returns:

the pi instructions incoming to this block

getLastInstruction

SSAInstruction getLastInstruction()

Returns:

the last instruction in this block.

getCaughtExceptionTypes

Iterator<TypeReference> getCaughtExceptionTypes()

Returns:

the set of exception types this block may catch.