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, replaceFixedSet
evaluate, isIdentity, makeEquation
protected final MutableIntSet priorInstances
public ArrayLoadOperator(PointsToSetVariable def)
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 equals(Object o)
equals
in class UnarySideEffect
protected boolean isLoadOperator()
UnarySideEffect
isLoadOperator
in class UnarySideEffect
public boolean isComplex()
IPointerOperator
isComplex
in interface IPointerOperator