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, replaceFixedSet
evaluate, isIdentity, makeEquation
protected 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 UnarySideEffect
public int hashCode()
hashCode
in class UnarySideEffect
public boolean equals(Object o)
equals
in class UnarySideEffect
protected IField getField()
protected boolean isLoadOperator()
UnarySideEffect
isLoadOperator
in class UnarySideEffect
public boolean isComplex()
IPointerOperator
isComplex
in interface IPointerOperator