Class SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer
java.lang.Object
com.ibm.wala.ipa.callgraph.propagation.SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer
- All Implemented Interfaces:
SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer
- Enclosing class:
SSAPropagationCallGraphBuilder.ConstraintVisitor
public class SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer
extends Object
implements SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionInstanceKey[][]
Side effect: records invariant parameters as implicit points-to-sets.
-
Constructor Details
-
DefaultInvariantComputer
public DefaultInvariantComputer()
-
-
Method Details
-
computeInvariantParameters
Side effect: records invariant parameters as implicit points-to-sets.- Specified by:
computeInvariantParameters
in interfaceSSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer
- Returns:
- if non-null, then result[i] holds the set of instance keys which may be passed as the ith parameter. (which must be invariant)
-