com.ibm.wala.ssa

Class SSACFG.ExceptionHandlerBasicBlock

java.lang.Object

com.ibm.wala.ssa.SSACFG.BasicBlock

com.ibm.wala.ssa.SSACFG.ExceptionHandlerBasicBlock

All Implemented Interfaces:

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

Enclosing class:

SSACFG

public class SSACFG.ExceptionHandlerBasicBlock
extends SSACFG.BasicBlock

Constructor Summary

Constructors

Constructor and Description
ExceptionHandlerBasicBlock(int number)

Method Summary

Modifier and Type	Method and 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 com.ibm.wala.ssa.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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

ExceptionHandlerBasicBlock

public ExceptionHandlerBasicBlock(int number)

Method Detail

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