Class PropagationCallGraphBuilder.InstanceArrayStoreOperator
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>
com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InstanceArrayStoreOperator
- All Implemented Interfaces:
FixedPointConstants
,IPointerOperator
- Enclosing class:
PropagationCallGraphBuilder
public final class PropagationCallGraphBuilder.InstanceArrayStoreOperator
extends UnaryOperator<PointsToSetVariable>
implements IPointerOperator
Update the points-to-set for an array contents to include a particular instance key.
-
Field Summary
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
-
Method Summary
Modifier and TypeMethodDescriptionboolean
byte
evaluate
(PointsToSetVariable dummyLHS, PointsToSetVariable var) Simply add the instance to each relevant points-to set.int
hashCode()
boolean
Is the operator complex; i.e., might it give rise to new constraints?toString()
Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
-
Constructor Details
-
InstanceArrayStoreOperator
-
-
Method Details
-
toString
- Specified by:
toString
in classAbstractOperator<PointsToSetVariable>
-
evaluate
Simply add the instance to each relevant points-to set.- Specified by:
evaluate
in classUnaryOperator<PointsToSetVariable>
- Returns:
- true if the lhs value changes. false otherwise.
-
hashCode
public int hashCode()- Specified by:
hashCode
in classAbstractOperator<PointsToSetVariable>
-
equals
- Specified by:
equals
in classAbstractOperator<PointsToSetVariable>
-
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
-