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:

com.ibm.wala.fixpoint.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 and Description
InverseFilterOperator()

Method Summary

Modifier and Type	Method and Description
byte	evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
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.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 Detail

InverseFilterOperator

public InverseFilterOperator()

Method Detail

toString

public java.lang.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

evaluate

public byte evaluate(PointsToSetVariable lhs,
                     PointsToSetVariable rhs)

Overrides:

evaluate in class PropagationCallGraphBuilder.FilterOperator