Class UnarySideEffect
java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>
com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
com.ibm.wala.ipa.callgraph.propagation.UnarySideEffect
- All Implemented Interfaces:
FixedPointConstants
- Direct Known Subclasses:
PropagationCallGraphBuilder.ArrayLoadOperator
,PropagationCallGraphBuilder.ArrayStoreOperator
,PropagationCallGraphBuilder.GetFieldOperator
,PropagationCallGraphBuilder.PutFieldOperator
A SideEffect is a constraint which carries a points-to-set which is def'fed or used in created
constraints.
The side effect doesn't actually def or use the fixedSet itself ... rather, the side effect creates new constraints that def or use the fixed set.
A "load" operator generates defs of the fixed set. A "store" operator generates uses of the fixed set.
-
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
abstract byte
final byte
evaluate
(PointsToSetVariable lhs, PointsToSetVariable rhs) Evaluate this equation, setting a new value for the left-hand side.int
hashCode()
protected abstract boolean
A "load" operator generates defs of the fixed set.void
Update the fixed points-to-set associated with this side effect.Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
Methods inherited from class com.ibm.wala.fixpoint.AbstractOperator
toString
-
Constructor Details
-
UnarySideEffect
-
-
Method Details
-
evaluate
Description copied from class:UnaryOperator
Evaluate this equation, setting a new value for the left-hand side.- Specified by:
evaluate
in classUnaryOperator<PointsToSetVariable>
- Returns:
- true if the lhs value changes. false otherwise.
-
evaluate
-
equals
- Specified by:
equals
in classAbstractOperator<PointsToSetVariable>
-
hashCode
public int hashCode()- Specified by:
hashCode
in classAbstractOperator<PointsToSetVariable>
-
isLoadOperator
protected abstract boolean isLoadOperator()A "load" operator generates defs of the fixed set. A "store" operator generates uses of the fixed set. -
replaceFixedSet
Update the fixed points-to-set associated with this side effect.
-