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<com.ibm.wala.shrikeBT.IInstruction>, com.ibm.wala.util.graph.INodeWithNumber, java.lang.Iterable<com.ibm.wala.shrikeBT.IInstruction>

Enclosing class:

ShrikeCFG

public final class ShrikeCFG.BasicBlock
extends com.ibm.wala.util.graph.impl.NodeWithNumber
implements IBasicBlock<com.ibm.wala.shrikeBT.IInstruction>

Constructor Summary

Constructors

Constructor and Description
BasicBlock(int startIndex)

Method Summary

Modifier and Type	Method and Description
protected void	addExceptionalEdges(com.ibm.wala.shrikeBT.IInstruction last) Add any exceptional edges generated by the last instruction in a basic block.
boolean	equals(java.lang.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 cfg
int	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.
java.util.Iterator<com.ibm.wala.shrikeBT.IInstruction>	iterator()
java.lang.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

Constructor Detail

BasicBlock

public BasicBlock(int startIndex)

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 interface IBasicBlock<com.ibm.wala.shrikeBT.IInstruction>

Returns:

true if the basic block represents a catch block.

addExceptionalEdges

protected void addExceptionalEdges(com.ibm.wala.shrikeBT.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 interface IBasicBlock<com.ibm.wala.shrikeBT.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 interface IBasicBlock<com.ibm.wala.shrikeBT.IInstruction>

Returns:

the instruction index for the first instruction in the basic block.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isExitBlock

public boolean isExitBlock()

Description copied from interface: IBasicBlock

Return true if the basic block represents the unique exit block.

Specified by:

isExitBlock in interface IBasicBlock<com.ibm.wala.shrikeBT.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 interface IBasicBlock<com.ibm.wala.shrikeBT.IInstruction>

Returns:

true if the basic block represents the unique entry block.

getMethod

public IMethod getMethod()

Specified by:

getMethod in interface IBasicBlock<com.ibm.wala.shrikeBT.IInstruction>

Returns:

governing method for this block

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getNumber

public int getNumber()

Description copied from interface: IBasicBlock

Each basic block should have a unique number in its cfg

Specified by:

getNumber in interface IBasicBlock<com.ibm.wala.shrikeBT.IInstruction>

Returns:

the basic block's number

iterator

public java.util.Iterator<com.ibm.wala.shrikeBT.IInstruction> iterator()

Specified by:

iterator in interface java.lang.Iterable<com.ibm.wala.shrikeBT.IInstruction>