Class NullaryOperator<T extends IVariable<T>>

java.lang.Object
com.ibm.wala.fixpoint.AbstractOperator<T>
com.ibm.wala.fixedpoint.impl.NullaryOperator<T>
All Implemented Interfaces:
FixedPointConstants
Direct Known Subclasses:
TypeInference.DeclaredTypeOperator

public abstract class NullaryOperator<T extends IVariable<T>> extends AbstractOperator<T>
An operator of the form lhs = op
  • Constructor Details

    • NullaryOperator

      public NullaryOperator()
  • Method Details

    • evaluate

      public byte evaluate(T lhs, T[] rhs) throws UnsupportedOperationException
      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:
      UnsupportedOperationException
    • evaluate

      public abstract byte evaluate(T lhs)
      Evaluate this equation, setting a new value for the left-hand side.
      Returns:
      true if the lhs value changes. false otherwise.