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 and Description
SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer()

Method Summary

Methods

Modifier and Type	Method and 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 Detail

SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer

public SSAPropagationCallGraphBuilder.ConstraintVisitor.DefaultInvariantComputer()

Method Detail

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)