Package com.ibm.wala.cfg
Class ShrikeCFG.BasicBlock
- java.lang.Object
-
- com.ibm.wala.util.graph.impl.NodeWithNumber
-
- com.ibm.wala.cfg.ShrikeCFG.BasicBlock
-
- All Implemented Interfaces:
IBasicBlock<IInstruction>
,INodeWithNumber
,Iterable<IInstruction>
- Enclosing class:
- ShrikeCFG
public final class ShrikeCFG.BasicBlock extends NodeWithNumber implements IBasicBlock<IInstruction>
-
-
Constructor Summary
Constructors Constructor Description BasicBlock(int startIndex)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
addExceptionalEdges(IInstruction last)
Add any exceptional edges generated by the last instruction in a basic block.boolean
equals(Object o)
int
getFirstInstructionIndex()
Get the index of the first instruction in the basic block.int
getLastInstructionIndex()
Get the index of the last instruction in the basic block.IMethod
getMethod()
int
getNumber()
Each basic block should have a unique number in its cfgint
hashCode()
boolean
isCatchBlock()
Return true if the basic block represents a catch block.boolean
isEntryBlock()
Return true if the basic block represents the unique entry block.boolean
isExitBlock()
Return true if the basic block represents the unique exit block.Iterator<IInstruction>
iterator()
String
toString()
-
Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber
getGraphNodeId, setGraphNodeId
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Method Detail
-
isCatchBlock
public boolean isCatchBlock()
Description copied from interface:IBasicBlock
Return true if the basic block represents a catch block.- Specified by:
isCatchBlock
in interfaceIBasicBlock<IInstruction>
- Returns:
- true if the basic block represents a catch block.
-
addExceptionalEdges
protected void addExceptionalEdges(IInstruction last)
Add any exceptional edges generated by the last instruction in a basic block.- Parameters:
last
- the last instruction in a basic block.
-
getLastInstructionIndex
public int getLastInstructionIndex()
Description copied from interface:IBasicBlock
Get the index of the last instruction in the basic block. The value is an index into the instruction array that contains all the instructions for the method. If the result is < 0, the block has no instructions- Specified by:
getLastInstructionIndex
in interfaceIBasicBlock<IInstruction>
- Returns:
- the instruction index for the last instruction in the basic block
-
getFirstInstructionIndex
public int getFirstInstructionIndex()
Description copied from interface:IBasicBlock
Get the index of the first instruction in the basic block. The value is an index into the instruction array that contains all the instructions for the method. If the result is < 0, the block has no instructions- Specified by:
getFirstInstructionIndex
in interfaceIBasicBlock<IInstruction>
- Returns:
- the instruction index for the first instruction in the basic block.
-
isExitBlock
public boolean isExitBlock()
Description copied from interface:IBasicBlock
Return true if the basic block represents the unique exit block.- Specified by:
isExitBlock
in interfaceIBasicBlock<IInstruction>
- Returns:
- true if the basic block represents the unique exit block.
-
isEntryBlock
public boolean isEntryBlock()
Description copied from interface:IBasicBlock
Return true if the basic block represents the unique entry block.- Specified by:
isEntryBlock
in interfaceIBasicBlock<IInstruction>
- Returns:
- true if the basic block represents the unique entry block.
-
getMethod
public IMethod getMethod()
- Specified by:
getMethod
in interfaceIBasicBlock<IInstruction>
- Returns:
- governing method for this block
-
getNumber
public int getNumber()
Description copied from interface:IBasicBlock
Each basic block should have a unique number in its cfg- Specified by:
getNumber
in interfaceIBasicBlock<IInstruction>
- Returns:
- the basic block's number
-
iterator
public Iterator<IInstruction> iterator()
- Specified by:
iterator
in interfaceIterable<IInstruction>
-
-