Package com.ibm.wala.ipa.callgraph.propagation

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

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

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

InverseFilterOperator

public InverseFilterOperator()

Method Details

toString

public String toString()

Overrides:

toString in class PropagationCallGraphBuilder.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 interface IPointerOperator

Overrides:

isComplex in class PropagationCallGraphBuilder.FilterOperator

See Also:

• IPointerOperator.isComplex()

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 class PropagationCallGraphBuilder.FilterOperator

Returns:

true if the lhs value changes. false otherwise.