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, replaceFixedSetevaluate, isIdentity, makeEquationpublic ArrayStoreOperator(PointsToSetVariable val)
public String toString()
toString in class AbstractOperator<PointsToSetVariable>public byte evaluate(PointsToSetVariable rhs)
evaluate in class UnarySideEffectpublic int hashCode()
hashCode in class UnarySideEffectpublic boolean isComplex()
IPointerOperatorisComplex in interface IPointerOperatorpublic boolean equals(Object o)
equals in class UnarySideEffectprotected boolean isLoadOperator()
UnarySideEffectisLoadOperator in class UnarySideEffect