Package com.ibm.wala.fixpoint

Interface IVariable<T extends IVariable<T>>

All Superinterfaces:
INodeWithNumber
All Known Implementing Classes:
AbstractIntRegisterMachine.MachineState, AbstractIntStackMachine.MachineState, AbstractVariable, BitVectorVariable, BooleanVariable, DalvikTypeVariable, IntSetVariable, NullPointerState, ParameterState, PointsToSetVariable, PrefixVariable, TypeVariable
public interface IVariable<T extends IVariable<T>> extends INodeWithNumber
Represents a single variable in a fixed-point iterative system.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    copyState(T v)
    Set this variable to have the same state as another one
    int
    getOrderNumber()
    Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
    void
    setOrderNumber(int i)
    Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

    Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber

    getGraphNodeId, setGraphNodeId

  • Method Details

    • getOrderNumber

      int getOrderNumber()
      Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

      It might be cleaner to hold this on the side, but we cannot tolerate any extra space. TODO: consider moving this functionality to a subinterface?

      Returns:
      a number used to order equation evaluation

    • setOrderNumber

      void setOrderNumber(int i)
      Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

      It might be cleaner to hold this on the side, but we cannot tolerate any extra space. TODO: consider moving this functionality to a subinterface?

    • copyState

      void copyState(T v)
      Set this variable to have the same state as another one