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
    Set this variable to have the same state as another one
    int
    Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
    void
    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