joeq.Interpreter
Class DirectInterpreter.DirectState

java.lang.Object
  joeq.Interpreter.BytecodeInterpreter.State
      joeq.Interpreter.DirectInterpreter.DirectState

Enclosing class:

DirectInterpreter

public static class DirectInterpreter.DirectState
extends BytecodeInterpreter.State

Constructor Summary

DirectInterpreter.DirectState(StackAddress fp, StackAddress sp, int nlocals)

Method Summary

void	fillInParameters(jq_Type[] paramTypes, Object[] incomingArgs)
Object	getLocal_A(int i)
double	getLocal_D(int i)
float	getLocal_F(int i)
int	getLocal_I(int i)
long	getLocal_L(int i)
Address	getLocal_R(int i)
Object	getReturnVal_A()
double	getReturnVal_D()
float	getReturnVal_F()
int	getReturnVal_I()
long	getReturnVal_L()
Address	getReturnVal_R()
Object	peek_A(int depth)
Object	pop_A()
double	pop_D()
float	pop_F()
int	pop_I()
long	pop_L()
Address	pop_R()
Object	pop()
void	popAll()
void	push_A(Object v)
void	push_D(double v)
void	push_F(float v)
void	push_I(int v)
void	push_L(long v)
void	push_R(Address v)
void	push(Object v)
void	return_A(Object v)
void	return_D(double v)
void	return_F(float v)
void	return_I(int v)
void	return_L(long v)
void	return_V()
void	setLocal_A(int i, Object v)
void	setLocal_D(int i, double v)
void	setLocal_F(int i, float v)
void	setLocal_I(int i, int v)
void	setLocal_L(int i, long v)
void	setLocal_R(int i, Address v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DirectInterpreter.DirectState

public DirectInterpreter.DirectState(StackAddress fp,
                                     StackAddress sp,
                                     int nlocals)

Method Detail

fillInParameters

public void fillInParameters(jq_Type[] paramTypes,
                             Object[] incomingArgs)

push_I

public void push_I(int v)

Specified by:

push_I in class BytecodeInterpreter.State

push_L

public void push_L(long v)

Specified by:

push_L in class BytecodeInterpreter.State

push_F

public void push_F(float v)

Specified by:

push_F in class BytecodeInterpreter.State

push_D

public void push_D(double v)

Specified by:

push_D in class BytecodeInterpreter.State

push_A

public void push_A(Object v)

Specified by:

push_A in class BytecodeInterpreter.State

push_R

public void push_R(Address v)

push

public void push(Object v)

Specified by:

push in class BytecodeInterpreter.State

pop_I

public int pop_I()

Specified by:

pop_I in class BytecodeInterpreter.State

pop_L

public long pop_L()

Specified by:

pop_L in class BytecodeInterpreter.State

pop_F

public float pop_F()

Specified by:

pop_F in class BytecodeInterpreter.State

pop_D

public double pop_D()

Specified by:

pop_D in class BytecodeInterpreter.State

pop_A

public Object pop_A()

Specified by:

pop_A in class BytecodeInterpreter.State

pop_R

public Address pop_R()

pop

public Object pop()

Specified by:

pop in class BytecodeInterpreter.State

popAll

public void popAll()

Specified by:

popAll in class BytecodeInterpreter.State

peek_A

public Object peek_A(int depth)

Specified by:

peek_A in class BytecodeInterpreter.State

setLocal_I

public void setLocal_I(int i,
                       int v)

Specified by:

setLocal_I in class BytecodeInterpreter.State

setLocal_L

public void setLocal_L(int i,
                       long v)

Specified by:

setLocal_L in class BytecodeInterpreter.State

setLocal_F

public void setLocal_F(int i,
                       float v)

Specified by:

setLocal_F in class BytecodeInterpreter.State

setLocal_D

public void setLocal_D(int i,
                       double v)

Specified by:

setLocal_D in class BytecodeInterpreter.State

setLocal_A

public void setLocal_A(int i,
                       Object v)

Specified by:

setLocal_A in class BytecodeInterpreter.State

setLocal_R

public void setLocal_R(int i,
                       Address v)

getLocal_I

public int getLocal_I(int i)

Specified by:

getLocal_I in class BytecodeInterpreter.State

getLocal_L

public long getLocal_L(int i)

Specified by:

getLocal_L in class BytecodeInterpreter.State

getLocal_F

public float getLocal_F(int i)

Specified by:

getLocal_F in class BytecodeInterpreter.State

getLocal_D

public double getLocal_D(int i)

Specified by:

getLocal_D in class BytecodeInterpreter.State

getLocal_A

public Object getLocal_A(int i)

Specified by:

getLocal_A in class BytecodeInterpreter.State

getLocal_R

public Address getLocal_R(int i)

return_I

public void return_I(int v)

Specified by:

return_I in class BytecodeInterpreter.State

return_L

public void return_L(long v)

Specified by:

return_L in class BytecodeInterpreter.State

return_F

public void return_F(float v)

Specified by:

return_F in class BytecodeInterpreter.State

return_D

public void return_D(double v)

Specified by:

return_D in class BytecodeInterpreter.State

return_A

public void return_A(Object v)

Specified by:

return_A in class BytecodeInterpreter.State

return_V

public void return_V()

Specified by:

return_V in class BytecodeInterpreter.State

getReturnVal_I

public int getReturnVal_I()

Specified by:

getReturnVal_I in class BytecodeInterpreter.State

getReturnVal_L

public long getReturnVal_L()

Specified by:

getReturnVal_L in class BytecodeInterpreter.State

getReturnVal_F

public float getReturnVal_F()

Specified by:

getReturnVal_F in class BytecodeInterpreter.State

getReturnVal_D

public double getReturnVal_D()

Specified by:

getReturnVal_D in class BytecodeInterpreter.State

getReturnVal_A

public Object getReturnVal_A()

Specified by:

getReturnVal_A in class BytecodeInterpreter.State

getReturnVal_R

public Address getReturnVal_R()