Class PropagationCallGraphBuilder.InstanceArrayStoreOperator

java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>
com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InstanceArrayStoreOperator
All Implemented Interfaces:
FixedPointConstants, IPointerOperator
Enclosing class:
PropagationCallGraphBuilder

public final class PropagationCallGraphBuilder.InstanceArrayStoreOperator extends UnaryOperator<PointsToSetVariable> implements IPointerOperator
Update the points-to-set for an array contents to include a particular instance key.