Class PropagationCallGraphBuilder.InverseFilterOperator
- java.lang.Object
-
- com.ibm.wala.fixpoint.AbstractOperator<T>
-
- com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
-
- com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.FilterOperator
-
- com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InverseFilterOperator
-
- All Implemented Interfaces:
FixedPointConstants
,IPointerOperator
- Enclosing class:
- PropagationCallGraphBuilder
protected class PropagationCallGraphBuilder.InverseFilterOperator extends PropagationCallGraphBuilder.FilterOperator
-
-
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 InverseFilterOperator()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description byte
evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
Evaluate this equation, setting a new value for the left-hand side.boolean
isComplex()
Is the operator complex; i.e., might it give rise to new constraints?String
toString()
-
Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.FilterOperator
equals, hashCode
-
Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator
evaluate, isIdentity, makeEquation
-
-
-
-
Method Detail
-
toString
public String toString()
- Overrides:
toString
in classPropagationCallGraphBuilder.FilterOperator
-
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
- Overrides:
isComplex
in classPropagationCallGraphBuilder.FilterOperator
-
evaluate
public byte evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
Description copied from class:UnaryOperator
Evaluate this equation, setting a new value for the left-hand side.- Overrides:
evaluate
in classPropagationCallGraphBuilder.FilterOperator
- Returns:
- true if the lhs value changes. false otherwise.
-
-