public class SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer extends Object implements SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer
Constructor and Description |
---|
DefaultInvariantComputer() |
Modifier and Type | Method and Description |
---|---|
InstanceKey[][] |
computeInvariantParameters(SSAAbstractInvokeInstruction call)
Side effect: records invariant parameters as implicit points-to-sets.
|
public InstanceKey[][] computeInvariantParameters(SSAAbstractInvokeInstruction call)
computeInvariantParameters
in interface SSAPropagationCallGraphBuilder.ConstraintVisitor.InvariantComputer