com.ibm.wala.ssa

Interface ISSABasicBlock

All Superinterfaces:

IBasicBlock<SSAInstruction>, com.ibm.wala.util.graph.INodeWithNumber, java.lang.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 and Description
java.util.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?
java.util.Iterator<SSAPhiInstruction>	iteratePhis()
java.util.Iterator<SSAPiInstruction>	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

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

java.util.Iterator<SSAPhiInstruction> iteratePhis()

Returns:

the phi instructions incoming to this block

iteratePis

java.util.Iterator<SSAPiInstruction> iteratePis()

Returns:

the pi instructions incoming to this block

getLastInstruction

SSAInstruction getLastInstruction()

Returns:

the last instruction in this block.

getCaughtExceptionTypes

java.util.Iterator<TypeReference> getCaughtExceptionTypes()

Returns:

the set of exception types this block may catch.