public final class PropagationCallGraphBuilder.ArrayStoreOperator extends UnarySideEffect implements IPointerOperator
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Constructor and Description |
---|
ArrayStoreOperator(PointsToSetVariable val) |
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() |
evaluate, replaceFixedSet
evaluate, isIdentity, makeEquation
public ArrayStoreOperator(PointsToSetVariable val)
public String toString()
toString
in class AbstractOperator<PointsToSetVariable>
public byte evaluate(PointsToSetVariable rhs)
evaluate
in class UnarySideEffect
public int hashCode()
hashCode
in class UnarySideEffect
public boolean isComplex()
IPointerOperator
isComplex
in interface IPointerOperator
public boolean equals(Object o)
equals
in class UnarySideEffect
protected boolean isLoadOperator()
UnarySideEffect
isLoadOperator
in class UnarySideEffect