Uses of Class
com.ibm.wala.ssa.SSACFG.BasicBlock

Packages that use SSACFG.BasicBlock

Package	Description
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ssa	This package provides the WALA SSA IR.

Uses of SSACFG.BasicBlock in com.ibm.wala.ipa.callgraph.propagation

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type SSACFG.BasicBlock

Modifier and Type	Method and Description
protected void	SSAPropagationCallGraphBuilder.addBlockInstructionConstraints(CGNode node, ControlFlowGraph<SSAInstruction,ISSABasicBlock> cfg, SSACFG.BasicBlock b, SSAPropagationCallGraphBuilder.ConstraintVisitor v, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Add constraints for a particular basic block.

Uses of SSACFG.BasicBlock in com.ibm.wala.ssa

Subclasses of SSACFG.BasicBlock in com.ibm.wala.ssa

Modifier and Type	Class and Description
class	SSACFG.ExceptionHandlerBasicBlock

Methods in com.ibm.wala.ssa that return SSACFG.BasicBlock

Modifier and Type	Method and Description
SSACFG.BasicBlock	SSACFG.entry()
SSACFG.BasicBlock	SSACFG.exit()
SSACFG.BasicBlock	SSACFG.getBasicBlock(int bb)
SSACFG.BasicBlock	SSACFG.getBlockForInstruction(int instructionIndex) Get the basic block an instruction belongs to.
SSACFG.BasicBlock	IR.getExitBlock()
SSACFG.BasicBlock	SSACFG.getNode(int number)

Methods in com.ibm.wala.ssa with parameters of type SSACFG.BasicBlock

Modifier and Type	Method and Description
boolean	SSACFG.hasExceptionalEdge(SSACFG.BasicBlock src, SSACFG.BasicBlock dest) has exceptional edge src -> dest
boolean	SSACFG.hasNormalEdge(SSACFG.BasicBlock src, SSACFG.BasicBlock dest) has normal edge src -> dest