com.ibm.wala.cfg

Class InducedCFG.BasicBlock

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.cfg.InducedCFG.BasicBlock

All Implemented Interfaces:

IBasicBlock<SSAInstruction>, com.ibm.wala.util.graph.INodeWithNumber, java.lang.Iterable<SSAInstruction>

Enclosing class:

InducedCFG

public class InducedCFG.BasicBlock
extends com.ibm.wala.util.graph.impl.NodeWithNumber
implements IBasicBlock<SSAInstruction>

Method Summary

Modifier and Type	Method and Description
void	addPhi(SSAPhiInstruction phiInstruction)
void	addPi(SSAPiInstruction piInstruction)
boolean	endsInPEI()
boolean	endsInReturn()
boolean	equals(java.lang.Object arg0)
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
java.util.Collection<SSAPhiInstruction>	getPhis()
java.util.Collection<SSAPiInstruction>	getPis()
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<SSAInstruction>	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

Method Detail

getPhis

public java.util.Collection<SSAPhiInstruction> getPhis()

addPhi

public void addPhi(SSAPhiInstruction phiInstruction)

getPis

public java.util.Collection<SSAPiInstruction> getPis()

addPi

public void addPi(SSAPiInstruction piInstruction)

equals

public boolean equals(java.lang.Object arg0)

Overrides:

equals in class java.lang.Object

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<SSAInstruction>

Returns:

the instruction index for the first instruction in the 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<SSAInstruction>

Returns:

the instruction index for the last instruction in the basic block

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<SSAInstruction>

Returns:

true if the basic block represents a catch block.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

See Also:

Object.toString()

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<SSAInstruction>

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<SSAInstruction>

Returns:

true if the basic block represents the unique entry block.

getMethod

public IMethod getMethod()

Specified by:

getMethod in interface IBasicBlock<SSAInstruction>

Returns:

governing method for this block

endsInPEI

public boolean endsInPEI()

endsInReturn

public boolean endsInReturn()

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<SSAInstruction>

Returns:

the basic block's number

iterator

public java.util.Iterator<SSAInstruction> iterator()

Specified by:

iterator in interface java.lang.Iterable<SSAInstruction>