com.ibm.wala.ipa.callgraph.propagation

Class PropagationCallGraphBuilder.ArrayStoreOperator

java.lang.Object

com.ibm.wala.fixpoint.AbstractOperator<T>

com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>

com.ibm.wala.ipa.callgraph.propagation.UnarySideEffect

com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.ArrayStoreOperator

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants, IPointerOperator

Enclosing class:

PropagationCallGraphBuilder

public final class PropagationCallGraphBuilder.ArrayStoreOperator
extends UnarySideEffect
implements IPointerOperator

Binary op: := ArrayStore( <arrayref>) Side effect: Creates new equations.

Field Summary

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK

Constructor Summary

Constructors

Constructor and Description
PropagationCallGraphBuilder.ArrayStoreOperator(PointsToSetVariable val)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object o)
byte	evaluate(PointsToSetVariable rhs)
int	hashCode()
boolean	isComplex() Is the operator complex; i.e., might it give rise to new constraints?
protected boolean	isLoadOperator() A "load" operator generates defs of the fixed set.
String	toString()

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.UnarySideEffect

evaluate, replaceFixedSet

Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator

evaluate, isIdentity, makeEquation

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PropagationCallGraphBuilder.ArrayStoreOperator

public PropagationCallGraphBuilder.ArrayStoreOperator(PointsToSetVariable val)

Method Detail

toString

public String toString()

Specified by:

toString in class com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>

evaluate

public byte evaluate(PointsToSetVariable rhs)

Specified by:

evaluate in class UnarySideEffect

hashCode

public int hashCode()

Overrides:

hashCode in class UnarySideEffect

isComplex

public boolean isComplex()

Description copied from interface: IPointerOperator

Is the operator complex; i.e., might it give rise to new constraints?

Specified by:

isComplex in interface IPointerOperator

equals

public boolean equals(Object o)

Overrides:

equals in class UnarySideEffect

isLoadOperator

protected boolean isLoadOperator()

Description copied from class: UnarySideEffect

A "load" operator generates defs of the fixed set. A "store" operator generates uses of the fixed set.

Specified by:

isLoadOperator in class UnarySideEffect