public class PropagationCallGraphBuilder.PutFieldOperator 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 |
|---|
PutFieldOperator(IField field,
PointsToSetVariable val) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o) |
byte |
evaluate(PointsToSetVariable rhs) |
protected IntSet |
filterInstances(IntSet value)
Subclasses can override as needed
|
protected IField |
getField() |
UnaryOperator<PointsToSetVariable> |
getPutAssignmentOperator()
subclasses (e.g.
|
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 PutFieldOperator(IField field, PointsToSetVariable val)
public String toString()
toString in class AbstractOperator<PointsToSetVariable>public boolean isComplex()
IPointerOperatorisComplex in interface IPointerOperatorpublic byte evaluate(PointsToSetVariable rhs)
evaluate in class UnarySideEffectpublic int hashCode()
hashCode in class UnarySideEffectpublic boolean equals(Object o)
equals in class UnarySideEffectpublic UnaryOperator<PointsToSetVariable> getPutAssignmentOperator()
protected IField getField()
protected boolean isLoadOperator()
UnarySideEffectisLoadOperator in class UnarySideEffect