Uses of Class
com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor

Packages that use SSAPropagationCallGraphBuilder.ConstraintVisitor

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

Uses of SSAPropagationCallGraphBuilder.ConstraintVisitor in com.ibm.wala.ipa.callgraph.propagation

Methods in com.ibm.wala.ipa.callgraph.propagation that return SSAPropagationCallGraphBuilder.ConstraintVisitor

Modifier and Type	Method and Description
protected SSAPropagationCallGraphBuilder.ConstraintVisitor	SSAPropagationCallGraphBuilder.makeVisitor(CGNode node)

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type SSAPropagationCallGraphBuilder.ConstraintVisitor

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.