public class AbstractIntStackMachine.MachineState extends com.ibm.wala.fixpoint.AbstractVariable<AbstractIntStackMachine.MachineState>
| Constructor and Description |
|---|
AbstractIntStackMachine.MachineState(ShrikeCFG.BasicBlock bb) |
| Modifier and Type | Method and Description |
|---|---|
void |
clearStack() |
void |
copyState(AbstractIntStackMachine.MachineState other) |
AbstractIntStackMachine.MachineState |
duplicate()
I'm not using clone because I don't want to necessarily inherit the AbstractVariable state from the superclass
|
ShrikeCFG.BasicBlock |
getBasicBlock() |
int |
getLocal(int i) |
int[] |
getLocals()
Use with care.
|
int |
getStackHeight()
Returns the stackHeight.
|
boolean |
hasValue(int val) |
int |
peek() |
int |
pop() |
void |
push(int i) |
void |
replaceValue(int from,
int to) |
void |
setLocal(int i,
int j)
set the value of local i to symbol j
|
void |
swap() |
String |
toString() |
equals, getOrderNumber, hashCode, nextHash, setOrderNumbergetGraphNodeId, setGraphNodeIdpublic AbstractIntStackMachine.MachineState(ShrikeCFG.BasicBlock bb)
public AbstractIntStackMachine.MachineState duplicate()
public ShrikeCFG.BasicBlock getBasicBlock()
public void push(int i)
public int pop()
public int peek()
public void swap()
public void clearStack()
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(AbstractIntStackMachine.MachineState other)
public int getStackHeight()
public int[] getLocals()
Copyright © 2015. All rights reserved.