Class PropagationCallGraphBuilder.GetFieldOperator
- java.lang.Object
-
- com.ibm.wala.fixpoint.AbstractOperator<T>
-
- com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
-
- com.ibm.wala.ipa.callgraph.propagation.UnarySideEffect
-
- com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.GetFieldOperator
-
- All Implemented Interfaces:
FixedPointConstants
,IPointerOperator
- Enclosing class:
- PropagationCallGraphBuilder
public class PropagationCallGraphBuilder.GetFieldOperator extends UnarySideEffect implements IPointerOperator
Binary op::= GetField( ) Side effect: Creates new equations.
-
-
Field Summary
Fields Modifier and Type Field Description protected MutableIntSet
priorInstances
-
Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants
CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK
-
-
Constructor Summary
Constructors Constructor Description GetFieldOperator(IField field, PointsToSetVariable def)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object o)
byte
evaluate(PointsToSetVariable rhs)
protected IntSet
filterInstances(IntSet value)
Subclasses can override as neededprotected 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()
-
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.UnarySideEffect
evaluate, replaceFixedSet
-
Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
-
-
-
-
Field Detail
-
priorInstances
protected final MutableIntSet priorInstances
-
-
Constructor Detail
-
GetFieldOperator
public GetFieldOperator(IField field, PointsToSetVariable def)
-
-
Method Detail
-
toString
public String toString()
- Specified by:
toString
in classAbstractOperator<PointsToSetVariable>
-
evaluate
public byte evaluate(PointsToSetVariable rhs)
- Specified by:
evaluate
in classUnarySideEffect
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classUnarySideEffect
-
equals
public boolean equals(Object o)
- Overrides:
equals
in classUnarySideEffect
-
getField
protected IField getField()
-
isLoadOperator
protected boolean isLoadOperator()
Description copied from class:UnarySideEffect
A "load" operator generates defs of the fixed set. A "store" operator generates uses of the fixed set.- Specified by:
isLoadOperator
in classUnarySideEffect
-
isComplex
public boolean isComplex()
Description copied from interface:IPointerOperator
Is the operator complex; i.e., might it give rise to new constraints?- Specified by:
isComplex
in interfaceIPointerOperator
-
-