AbstractIntRegisterMachine.MachineState (com.ibm.wala.dalvik 1.5.6 API)

java.lang.Object
- com.ibm.wala.util.graph.impl.NodeWithNumber
- - com.ibm.wala.fixpoint.AbstractVariable<AbstractIntRegisterMachine.MachineState>
  - - com.ibm.wala.dalvik.ssa.AbstractIntRegisterMachine.MachineState

Constructors
Constructor and Description
`MachineState(DexCFG.BasicBlock bb)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`allocateLocals()`
`void`	`copyState(AbstractIntRegisterMachine.MachineState other)`
`AbstractIntRegisterMachine.MachineState`	`duplicate()` I'm not using clone because I don't want to necessarily inherit the AbstractVariable state from the superclass
`DexCFG.BasicBlock`	`getBasicBlock()`
`int`	`getLocal(int i)`
`int[]`	`getLocals()` Use with care.
`int`	`getStackHeight()` Returns the stackHeight.
`boolean`	`hasValue(int val)`
`void`	`replaceValue(int from, int to)`
`void`	`setLocal(int i, int j)` set the value of local i to symbol j
`java.lang.String`	`toString()`

Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable
equals, getOrderNumber, hashCode, nextHash, setOrderNumber

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, wait, wait, wait

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

public MachineState(DexCFG.BasicBlock bb)

duplicate
```
public AbstractIntRegisterMachine.MachineState duplicate()
```
I'm not using clone because I don't want to necessarily inherit the AbstractVariable state from the superclass

public DexCFG.BasicBlock getBasicBlock()

public void setLocal(int i,
                     int j)

set the value of local i to symbol j

public void replaceValue(int from,
                         int to)

public void copyState(AbstractIntRegisterMachine.MachineState other)

Class AbstractIntRegisterMachine.MachineState