Class AbstractVariable<T extends AbstractVariable<T>>

java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractVariable<T>
All Implemented Interfaces:
IVariable<T>, INodeWithNumber
Direct Known Subclasses:
AbstractIntRegisterMachine.MachineState, AbstractIntStackMachine.MachineState, BitVectorVariable, BooleanVariable, IntSetVariable, NullPointerState, ParameterState, PrefixVariable, TypeVariable
public abstract class AbstractVariable<T extends AbstractVariable<T>> extends NodeWithNumber implements IVariable<T>
Represents a single variable in a fixed-point system.

  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
    protected
    AbstractVariable()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    boolean
    equals(Object obj)
     
    int
    getOrderNumber()
    Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
    final int
    hashCode()
     
    static int
    nextHash()
    I know this is theoretically bad.
    void
    setOrderNumber(int orderNumber)
    Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

    Methods inherited from class NodeWithNumber

    getGraphNodeId, setGraphNodeId
    Modifier and Type
    Method
    Description
    int
    getGraphNodeId()
    A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
    void
    setGraphNodeId(int i)
     

    Methods inherited from class Object

    clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface IVariable

    copyState
    Modifier and Type
    Method
    Description
    void
    copyState(T v)
    Set this variable to have the same state as another one

  • Constructor Details

    • AbstractVariable

      protected AbstractVariable()

  • Method Details

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • nextHash

      public static int nextHash()
      I know this is theoretically bad. However,
      • we need this to be extremely fast .. it's in the inner loop of lots of stuff.
      • these objects will probably only be hashed with each other AbstractVariables, in which case incrementing hash codes is OK.
      • we want determinism, so we don't want to rely on System.identityHashCode

    • hashCode

      public final int hashCode()
      Overrides:
      hashCode in class Object

    • getOrderNumber

      public int getOrderNumber()
      Description copied from interface: IVariable
      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?

      Specified by:
      getOrderNumber in interface IVariable<T extends AbstractVariable<T>>
      Returns:
      a number used to order equation evaluation

    • setOrderNumber

      public void setOrderNumber(int orderNumber)
      Description copied from interface: IVariable
      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?

      Specified by:
      setOrderNumber in interface IVariable<T extends AbstractVariable<T>>