com.ibm.wala.ipa.callgraph.propagation
Class PropagationCallGraphBuilder.InverseFilterOperator

java.lang.Object
  com.ibm.wala.fixedpoint.impl.AbstractOperator
      com.ibm.wala.fixedpoint.impl.UnaryOperator
          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

PropagationCallGraphBuilder.InverseFilterOperator()

Method Summary

byte	evaluate(IVariable lhs, IVariable 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?
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.fixedpoint.impl.UnaryOperator

evaluate, isIdentity, makeEquation

Methods inherited from class java.lang.Object

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

Constructor Detail

PropagationCallGraphBuilder.InverseFilterOperator

public PropagationCallGraphBuilder.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(IVariable lhs,
                     IVariable 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.