public class PropagationCallGraphBuilder.FilterOperator extends UnaryOperator<PointsToSetVariable> implements IPointerOperator
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
Modifier | Constructor and Description |
---|---|
protected |
FilterOperator() |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
byte |
evaluate(PointsToSetVariable lhs,
PointsToSetVariable rhs)
Evaluate this equation, setting a new value for the left-hand side.
|
int |
hashCode() |
boolean |
isComplex()
Is the operator complex; i.e., might it give rise to new constraints?
|
String |
toString() |
evaluate, isIdentity, makeEquation
public byte evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
UnaryOperator
evaluate
in class UnaryOperator<PointsToSetVariable>
public boolean isComplex()
IPointerOperator
isComplex
in interface IPointerOperator
public String toString()
toString
in class AbstractOperator<PointsToSetVariable>
public boolean equals(Object obj)
equals
in class AbstractOperator<PointsToSetVariable>
public int hashCode()
hashCode
in class AbstractOperator<PointsToSetVariable>