Package com.ibm.wala.ssa
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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Iterator<TypeReference>getCaughtExceptionTypes()SSAInstructiongetLastInstruction()booleanisCatchBlock()Is this block a catch blockbooleanisEntryBlock()Does this block represent the unique entry to aControlFlowGraphbooleanisExitBlock()Does this block represent the unique exit from aControlFlowGraph?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
forEach, iterator, spliterator
-
-
-
-
Method Detail
-
isCatchBlock
boolean isCatchBlock()
Is this block a catch block- Specified by:
isCatchBlockin interfaceIBasicBlock<SSAInstruction>- Returns:
- true if the basic block represents a catch block.
-
isExitBlock
boolean isExitBlock()
Does this block represent the unique exit from aControlFlowGraph?- Specified by:
isExitBlockin interfaceIBasicBlock<SSAInstruction>- Returns:
- true if the basic block represents the unique exit block.
-
isEntryBlock
boolean isEntryBlock()
Does this block represent the unique entry to aControlFlowGraph- Specified by:
isEntryBlockin interfaceIBasicBlock<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.
-
-