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, replaceFixedSet
evaluate, isIdentity, makeEquation
protected final MutableIntSet priorInstances
public PutFieldOperator(IField field, PointsToSetVariable val)
public String toString()
toString
in class AbstractOperator<PointsToSetVariable>
public boolean isComplex()
IPointerOperator
isComplex
in interface IPointerOperator
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
public UnaryOperator<PointsToSetVariable> getPutAssignmentOperator()
protected IField getField()
protected boolean isLoadOperator()
UnarySideEffect
isLoadOperator
in class UnarySideEffect