Class SSACFG.ExceptionHandlerBasicBlock

java.lang.Object

com.ibm.wala.ssa.SSACFG.BasicBlock

com.ibm.wala.ssa.SSACFG.ExceptionHandlerBasicBlock

All Implemented Interfaces:

IBasicBlock<SSAInstruction>, ISSABasicBlock, INodeWithNumber, Iterable<SSAInstruction>

Enclosing class:

SSACFG

public class SSACFG.ExceptionHandlerBasicBlock
extends SSACFG.BasicBlock

Constructor Summary

Constructors

Constructor	Description
ExceptionHandlerBasicBlock(int number)

Method Summary

Modifier and Type	Method	Description
void	addCaughtExceptionType(TypeReference exceptionType)
List<SSAInstruction>	getAllInstructions()	TODO: make this more efficient if needed
SSAGetCaughtExceptionInstruction	getCatchInstruction()
Iterator<TypeReference>	getCaughtExceptionTypes()	The SSACFG.ExceptionHandlerBasicBlock subclass will override this.
void	setCatchInstruction(SSAGetCaughtExceptionInstruction catchInstruction)
String	toString()

Methods inherited from class SSACFG.BasicBlock

addPhiForLocal, addPhiForStackSlot, addPiForRefAndPath, equals, getFirstInstructionIndex, getGraphNodeId, getLastInstruction, getLastInstructionIndex, getMethod, getNumber, getPhiForLocal, getPhiForStackSlot, getPiForRefAndPath, hashCode, hasPhi, isCatchBlock, isEntryBlock, isExitBlock, iterateNormalInstructions, iteratePhis, iteratePis, iterator, removePhis, setGraphNodeId

Modifier and Type	Method	Description
void	addPhiForLocal(int n, SSAPhiInstruction phi)
void	addPhiForStackSlot(int slot, SSAPhiInstruction phi)
void	addPiForRefAndPath(int n, Object path, SSAPiInstruction pi)
boolean	equals(Object arg0)
int	getFirstInstructionIndex()	Method getFirstInstructionIndex.
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
SSAInstruction	getLastInstruction()
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
SSAPhiInstruction	getPhiForLocal(int n)	This method is used during SSA construction.
SSAPhiInstruction	getPhiForStackSlot(int slot)	This method is used during SSA construction.
SSAPiInstruction	getPiForRefAndPath(int n, Object path)
int	hashCode()
boolean	hasPhi()
boolean	isCatchBlock()	Is this block marked as a catch block?
boolean	isEntryBlock()	Does this block represent the unique entry to a ControlFlowGraph
boolean	isExitBlock()	Does this block represent the unique exit from a ControlFlowGraph?
Iterator<SSAInstruction>	iterateNormalInstructions()
Iterator<SSAPhiInstruction>	iteratePhis()
Iterator<SSAPiInstruction>	iteratePis()
Iterator<SSAInstruction>	iterator()
void	removePhis(Set<SSAPhiInstruction> toRemove)	Remove any phis in the set.
void	setGraphNodeId(int number)

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Iterable

forEach, spliterator

Constructor Details

ExceptionHandlerBasicBlock

public ExceptionHandlerBasicBlock(int number)

Method Details

getCatchInstruction

public SSAGetCaughtExceptionInstruction getCatchInstruction()

setCatchInstruction

public void setCatchInstruction(SSAGetCaughtExceptionInstruction catchInstruction)

getCaughtExceptionTypes

public Iterator<TypeReference> getCaughtExceptionTypes()

Description copied from class: SSACFG.BasicBlock

The SSACFG.ExceptionHandlerBasicBlock subclass will override this.

Specified by:

getCaughtExceptionTypes in interface ISSABasicBlock

Overrides:

getCaughtExceptionTypes in class SSACFG.BasicBlock

Returns:

the set of exception types this block may catch.

toString

public String toString()

Overrides:

toString in class SSACFG.BasicBlock

addCaughtExceptionType

public void addCaughtExceptionType(TypeReference exceptionType)

getAllInstructions

public List<SSAInstruction> getAllInstructions()

Description copied from class: SSACFG.BasicBlock

TODO: make this more efficient if needed

Overrides:

getAllInstructions in class SSACFG.BasicBlock