Uses of Interface
com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer

Packages that use SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer

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.InvariantComputer in com.ibm.wala.ipa.callgraph.propagation

Classes in com.ibm.wala.ipa.callgraph.propagation that implement SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer

Modifier and Type	Class and Description
class	SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer

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

Modifier and Type	Method and Description
protected void	SSAPropagationCallGraphBuilder.ConstraintVisitor.visitInvokeInternal(SSAAbstractInvokeInstruction instruction, SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer invs)