public class PropagationCallGraphBuilder.GetFieldOperator 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 |
|---|
GetFieldOperator(IField field,
PointsToSetVariable def) |
| 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() |
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 GetFieldOperator(IField field, PointsToSetVariable def)
public String toString()
toString in class AbstractOperator<PointsToSetVariable>public byte evaluate(PointsToSetVariable rhs)
evaluate in class UnarySideEffectpublic int hashCode()
hashCode in class UnarySideEffectpublic boolean equals(Object o)
equals in class UnarySideEffectprotected IField getField()
protected boolean isLoadOperator()
UnarySideEffectisLoadOperator in class UnarySideEffectpublic boolean isComplex()
IPointerOperatorisComplex in interface IPointerOperator