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
Constructors Constructor Description DefaultInvariantComputer()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description InstanceKey[][]
computeInvariantParameters(SSAAbstractInvokeInstruction call)
Side effect: records invariant parameters as implicit points-to-sets.
-
-
-
Method Detail
-
computeInvariantParameters
public InstanceKey[][] computeInvariantParameters(SSAAbstractInvokeInstruction call)
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)
-
-