joeq.Interpreter
Class ReflectiveInterpreter.ReflectiveState

java.lang.Object
  joeq.Interpreter.BytecodeInterpreter.State
      joeq.Interpreter.ReflectiveInterpreter.ReflectiveState

Enclosing class:

ReflectiveInterpreter

public static class ReflectiveInterpreter.ReflectiveState
extends BytecodeInterpreter.State

Constructor Summary

ReflectiveInterpreter.ReflectiveState(jq_Method m)

ReflectiveInterpreter.ReflectiveState(Object[] incoming_args)

Method Summary

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)
Object	getReturnVal_A()
double	getReturnVal_D()
float	getReturnVal_F()
int	getReturnVal_I()
long	getReturnVal_L()
Object	peek_A(int depth)
Object	pop_A()
double	pop_D()
float	pop_F()
int	pop_I()
long	pop_L()
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(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)

Methods inherited from class java.lang.Object

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

Constructor Detail

ReflectiveInterpreter.ReflectiveState

public ReflectiveInterpreter.ReflectiveState(Object[] incoming_args)

ReflectiveInterpreter.ReflectiveState

public ReflectiveInterpreter.ReflectiveState(jq_Method m)

Method Detail

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

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

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

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

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