Class UnaryOperator<T extends IVariable<T>>

java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
com.ibm.wala.fixpoint.UnaryOperator<T>
  • Constructor Details

    • UnaryOperator

      public UnaryOperator()
  • Method Details

    • evaluate

      public abstract byte evaluate(@Nullable T lhs, T rhs)
      Evaluate this equation, setting a new value for the left-hand side.
      Returns:
      a constant defined by FixedPointConstants that reflects whether the lhs value changed
    • makeEquation

      public UnaryStatement<T> makeEquation(T lhs, T rhs)
      Create an equation which uses this operator Override in subclasses for efficiency.
    • isIdentity

      public boolean isIdentity()
    • evaluate

      public byte evaluate(T lhs, T[] rhs) throws UnimplementedError
      Description copied from class: AbstractOperator
      Evaluate this equation, setting a new value for the left-hand side.
      Specified by:
      evaluate in class AbstractOperator<T extends IVariable<T>>
      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?
      Throws:
      UnimplementedError