AbstractVariable (API Reference for wala 1.3.9)

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, TypeVariable
```
public abstract class AbstractVariable<T extends AbstractVariable>
extends NodeWithNumber
implements IVariable<T>
```
Represents a single variable in a fixed-point system.

Constructor Summary

Constructors
Modifier Constructor and Description

protected AbstractVariable()

Constructors
Modifier	Constructor and Description
`protected`	`AbstractVariable()`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and 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.
`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 com.ibm.wala.util.graph.impl.NodeWithNumber
getGraphNodeId, setGraphNodeId

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.ibm.wala.fixpoint.IVariable
copyState

Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId

- Constructor Detail
  - AbstractVariable
```
protected AbstractVariable()
```
- Method Detail
  - 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>
    
    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>

Class AbstractVariable<T extends AbstractVariable>

Constructor Summary

Method Summary

Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber

Methods inherited from class java.lang.Object

Methods inherited from interface com.ibm.wala.fixpoint.IVariable

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

Constructor Detail

AbstractVariable

Method Detail

equals

nextHash

hashCode

getOrderNumber

setOrderNumber