com.ibm.wala.ipa.callgraph.propagation

Class PropagationCallGraphBuilder.FilterOperator

java.lang.Object

com.ibm.wala.fixpoint.AbstractOperator<T>

com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>

com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.FilterOperator

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants, IPointerOperator

Direct Known Subclasses:

PropagationCallGraphBuilder.InverseFilterOperator

Enclosing class:

PropagationCallGraphBuilder

public class PropagationCallGraphBuilder.FilterOperator
extends com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
implements IPointerOperator

The FilterOperator is a filtered set-union. i.e. the LHS is `unioned' with the RHS, but filtered by the set associated with this operator instance. The filter is the set of InstanceKeys corresponding to the target type of this cast. This is still monotonic.

LHS U= (RHS n k)

Unary op: <lhs>:= Cast_k( <rhs>)

(Again, technically a binary op -- see note for Assign)

TODO: these need to be canonicalized.

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

Modifier	Constructor and Description
protected	FilterOperator()

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
byte	evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
int	hashCode()
boolean	isComplex() Is the operator complex; i.e., might it give rise to new constraints?
java.lang.String	toString()

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 Detail

FilterOperator

protected FilterOperator()

Method Detail

evaluate

public byte evaluate(PointsToSetVariable lhs,
                     PointsToSetVariable rhs)

Specified by:

evaluate in class com.ibm.wala.fixpoint.UnaryOperator<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 interface IPointerOperator

toString

public java.lang.String toString()

Specified by:

toString in class com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in class com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>

hashCode

public int hashCode()

Specified by:

hashCode in class com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>