Package com.ibm.wala.ipa.callgraph.propagation

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

Modifier and Type	Method	Description
InstanceKey[][]	computeInvariantParameters(SSAAbstractInvokeInstruction call)	Side effect: records invariant parameters as implicit points-to-sets.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultInvariantComputer

public DefaultInvariantComputer()

Method Details

computeInvariantParameters

public InstanceKey[][] computeInvariantParameters(SSAAbstractInvokeInstruction call)

Side effect: records invariant parameters as implicit points-to-sets.

Specified by:

computeInvariantParameters in interface SSAPropagationCallGraphBuilder.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)