public class AbstractIntRegisterMachine.MachineState extends AbstractVariable<AbstractIntRegisterMachine.MachineState>
Constructor and Description |
---|
MachineState(DexCFG.BasicBlock bb) |
Modifier and Type | Method and Description |
---|---|
void |
allocateLocals() |
void |
copyState(AbstractIntRegisterMachine.MachineState other)
Set this variable to have the same state as another one
|
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
|
String |
toString() |
equals, getOrderNumber, hashCode, nextHash, setOrderNumber
getGraphNodeId, setGraphNodeId
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGraphNodeId, setGraphNodeId
public MachineState(DexCFG.BasicBlock bb)
public AbstractIntRegisterMachine.MachineState duplicate()
public DexCFG.BasicBlock getBasicBlock()
public void allocateLocals()
public void setLocal(int i, int j)
i
- j
- public int getLocal(int i)
i
- public void replaceValue(int from, int to)
public boolean hasValue(int val)
public void copyState(AbstractIntRegisterMachine.MachineState other)
IVariable
public int getStackHeight()
public int[] getLocals()