Class PropagationCallGraphBuilder.ArrayStoreOperator
- 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.ArrayStoreOperator
-
- All Implemented Interfaces:
FixedPointConstants
,IPointerOperator
- Enclosing class:
- PropagationCallGraphBuilder
public final class PropagationCallGraphBuilder.ArrayStoreOperator extends UnarySideEffect implements IPointerOperator
Binary op::= ArrayStore( <arrayref>) Side effect: Creates new equations.
-
-
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
Constructors Constructor Description ArrayStoreOperator(PointsToSetVariable val)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object o)
byte
evaluate(PointsToSetVariable rhs)
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
-
-
-
-
Constructor Detail
-
ArrayStoreOperator
public ArrayStoreOperator(PointsToSetVariable val)
-
-
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
-
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
-
equals
public boolean equals(Object o)
- Overrides:
equals
in classUnarySideEffect
-
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
-
-