com.ibm.wala.ssa

Interface ISSABasicBlock

All Superinterfaces:

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

Methods

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