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
Represents a single variable in a fixed-point iterative system.
-
Method Summary
Modifier and TypeMethodDescriptionvoid
Set this variable to have the same state as another oneint
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
Set this variable to have the same state as another one
-