Class AbstractOperator<T extends IVariable<T>>

java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
All Implemented Interfaces:
FixedPointConstants
Direct Known Subclasses:
AbstractMeetOperator, NullaryOperator, TypeInference.PrimitivePropagateOperator, UnaryOperator

public abstract class AbstractOperator<T extends IVariable<T>> extends Object implements FixedPointConstants
operator for a step in an iterative solver

This is an abstract class and not an interface in order to force subclasses to re-implement equals(), hashCode(), and toString()

  • Constructor Details

    • AbstractOperator

      public AbstractOperator()
  • Method Details

    • evaluate

      public abstract byte evaluate(T lhs, T[] rhs)
      Evaluate this equation, setting a new value for the left-hand side.
      Returns:
      a code that indicates: 1) has the lhs value changed? 2) has this equation reached a fixed-point, in that we never have to evaluate the equation again, even if rhs operands change?
    • hashCode

      public abstract int hashCode()
      Overrides:
      hashCode in class Object
    • equals

      public abstract boolean equals(Object o)
      Overrides:
      equals in class Object
    • toString

      public abstract String toString()
      Overrides:
      toString in class Object