public final class PropagationCallGraphBuilder.ArrayLoadOperator extends UnarySideEffect implements IPointerOperator
| Modifier and Type | Field and Description |
|---|---|
protected MutableIntSet |
priorInstances |
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK| Constructor and Description |
|---|
ArrayLoadOperator(PointsToSetVariable def) |
| 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, makeEquationprotected final MutableIntSet priorInstances
public ArrayLoadOperator(PointsToSetVariable def)
public String toString()
toString in class AbstractOperator<PointsToSetVariable>public byte evaluate(PointsToSetVariable rhs)
evaluate in class UnarySideEffectpublic int hashCode()
hashCode in class UnarySideEffectpublic boolean equals(Object o)
equals in class UnarySideEffectprotected boolean isLoadOperator()
UnarySideEffectisLoadOperator in class UnarySideEffectpublic boolean isComplex()
IPointerOperatorisComplex in interface IPointerOperator