com.ibm.wala.dalvik.ssa

Class AbstractIntRegisterMachine.MachineState

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractVariable<AbstractIntRegisterMachine.MachineState>

com.ibm.wala.dalvik.ssa.AbstractIntRegisterMachine.MachineState

All Implemented Interfaces:

com.ibm.wala.fixpoint.IVariable<AbstractIntRegisterMachine.MachineState>, com.ibm.wala.util.graph.INodeWithNumber

Enclosing class:

AbstractIntRegisterMachine

public class AbstractIntRegisterMachine.MachineState
extends com.ibm.wala.fixpoint.AbstractVariable<AbstractIntRegisterMachine.MachineState>

Representation of the state of the JVM stack machine at some program point.

Constructor Summary

Constructors

Constructor and Description
AbstractIntRegisterMachine.MachineState(DexCFG.BasicBlock bb)

Method Summary

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

Constructor Detail

AbstractIntRegisterMachine.MachineState

public AbstractIntRegisterMachine.MachineState(DexCFG.BasicBlock bb)

Method Detail

duplicate

public AbstractIntRegisterMachine.MachineState duplicate()

I'm not using clone because I don't want to necessarily inherit the AbstractVariable state from the superclass

getBasicBlock

public DexCFG.BasicBlock getBasicBlock()

allocateLocals

public void allocateLocals()

setLocal

public void setLocal(int i,
            int j)

set the value of local i to symbol j

Parameters:

i -

j -

getLocal

public int getLocal(int i)

Parameters:

i -

Returns:

the number of the symbol corresponding to local i

replaceValue

public void replaceValue(int from,
                int to)

hasValue

public boolean hasValue(int val)

toString

public String toString()

Overrides:

toString in class Object

copyState

public void copyState(AbstractIntRegisterMachine.MachineState other)

getStackHeight

public int getStackHeight()

Returns the stackHeight.

Returns:

int

getLocals

public int[] getLocals()

Use with care.