public final class PropagationCallGraphBuilder.InstancePutFieldOperator extends UnaryOperator<PointsToSetVariable> 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 |
|---|
InstancePutFieldOperator(IField field,
InstanceKey instance) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o) |
byte |
evaluate(PointsToSetVariable dummyLHS,
PointsToSetVariable var)
Simply add the instance to each relevant points-to set.
|
int |
hashCode() |
boolean |
isComplex()
Is the operator complex; i.e., might it give rise to new constraints?
|
String |
toString() |
evaluate, isIdentity, makeEquationprotected final MutableIntSet priorInstances
public InstancePutFieldOperator(IField field, InstanceKey instance)
public String toString()
toString in class AbstractOperator<PointsToSetVariable>public byte evaluate(PointsToSetVariable dummyLHS, PointsToSetVariable var)
evaluate in class UnaryOperator<PointsToSetVariable>public int hashCode()
hashCode in class AbstractOperator<PointsToSetVariable>public boolean equals(Object o)
equals in class AbstractOperator<PointsToSetVariable>public boolean isComplex()
IPointerOperatorisComplex in interface IPointerOperator