Interface ISSABasicBlock
- All Superinterfaces:
IBasicBlock<SSAInstruction>
,INodeWithNumber
,Iterable<SSAInstruction>
- All Known Subinterfaces:
IExplodedBasicBlock
- All Known Implementing Classes:
BasicBlockInContext
,SSACFG.BasicBlock
,SSACFG.ExceptionHandlerBasicBlock
Common interface to all SSA BasicBlocks
-
Method Summary
Modifier and TypeMethodDescriptionboolean
Is this block a catch blockboolean
Does this block represent the unique entry to aControlFlowGraph
boolean
Does this block represent the unique exit from aControlFlowGraph
?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 Details
-
isCatchBlock
boolean isCatchBlock()Is this block a catch block- Specified by:
isCatchBlock
in 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:
isExitBlock
in 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:
isEntryBlock
in 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.
-