com.ibm.wala.ssa
Interface ISSABasicBlock

All Superinterfaces:

IBasicBlock, INodeWithNumber, java.lang.Iterable<IInstruction>

All Known Implementing Classes:

BasicBlockInContext, ExplodedControlFlowGraph.ExplodedBasicBlock, SSACFG.BasicBlock, SSACFG.ExceptionHandlerBasicBlock

public interface ISSABasicBlock
extends IBasicBlock

Common interface to all SSA BasicBlocks

Method Summary

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

iterator

Method Detail

isCatchBlock

boolean isCatchBlock()

Is this block a catch block

Specified by:

isCatchBlock in interface IBasicBlock

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

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

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.