public abstract class UnarySideEffect extends UnaryOperator<PointsToSetVariable>
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Constructor and Description |
---|
UnarySideEffect(PointsToSetVariable fixedSet) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object o) |
abstract byte |
evaluate(PointsToSetVariable rhs) |
byte |
evaluate(PointsToSetVariable lhs,
PointsToSetVariable rhs)
Evaluate this equation, setting a new value for the left-hand side.
|
int |
hashCode() |
protected abstract boolean |
isLoadOperator()
A "load" operator generates defs of the fixed set.
|
void |
replaceFixedSet(PointsToSetVariable p)
Update the fixed points-to-set associated with this side effect.
|
evaluate, isIdentity, makeEquation
toString
public UnarySideEffect(PointsToSetVariable fixedSet)
public final byte evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
UnaryOperator
evaluate
in class UnaryOperator<PointsToSetVariable>
public abstract byte evaluate(PointsToSetVariable rhs)
public boolean equals(Object o)
equals
in class AbstractOperator<PointsToSetVariable>
public int hashCode()
hashCode
in class AbstractOperator<PointsToSetVariable>
protected abstract boolean isLoadOperator()
public void replaceFixedSet(PointsToSetVariable p)