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()
SSAInstruction
getLastInstruction()
boolean
isCatchBlock()
Is this block a catch blockboolean
isEntryBlock()
Does this block represent the unique entry to aControlFlowGraph
boolean
isExitBlock()
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:
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.
-
-