joeq.Interpreter
Class BytecodeInterpreter.State

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

Direct Known Subclasses:

ReflectiveInterpreter.ReflectiveState

Enclosing class:

BytecodeInterpreter

public abstract static class BytecodeInterpreter.State
extends Object

Constructor Summary

BytecodeInterpreter.State()

Method Summary

abstract Object	getLocal_A(int i)
abstract double	getLocal_D(int i)
abstract float	getLocal_F(int i)
abstract int	getLocal_I(int i)
abstract long	getLocal_L(int i)
abstract Object	getReturnVal_A()
abstract double	getReturnVal_D()
abstract float	getReturnVal_F()
abstract int	getReturnVal_I()
abstract long	getReturnVal_L()
abstract Object	peek_A(int depth)
abstract Object	pop_A()
abstract double	pop_D()
abstract float	pop_F()
abstract int	pop_I()
abstract long	pop_L()
abstract Object	pop()
abstract void	popAll()
abstract void	push_A(Object v)
abstract void	push_D(double v)
abstract void	push_F(float v)
abstract void	push_I(int v)
abstract void	push_L(long v)
abstract void	push(Object v)
abstract void	return_A(Object v)
abstract void	return_D(double v)
abstract void	return_F(float v)
abstract void	return_I(int v)
abstract void	return_L(long v)
abstract void	return_V()
abstract void	setLocal_A(int i, Object v)
abstract void	setLocal_D(int i, double v)
abstract void	setLocal_F(int i, float v)
abstract void	setLocal_I(int i, int v)
abstract 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

BytecodeInterpreter.State

public BytecodeInterpreter.State()

Method Detail

push_I

public abstract void push_I(int v)

push_L

public abstract void push_L(long v)

push_F

public abstract void push_F(float v)

push_D

public abstract void push_D(double v)

push_A

public abstract void push_A(Object v)

push

public abstract void push(Object v)

pop_I

public abstract int pop_I()

pop_L

public abstract long pop_L()

pop_F

public abstract float pop_F()

pop_D

public abstract double pop_D()

pop_A

public abstract Object pop_A()

pop

public abstract Object pop()

popAll

public abstract void popAll()

peek_A

public abstract Object peek_A(int depth)

setLocal_I

public abstract void setLocal_I(int i,
                                int v)

setLocal_L

public abstract void setLocal_L(int i,
                                long v)

setLocal_F

public abstract void setLocal_F(int i,
                                float v)

setLocal_D

public abstract void setLocal_D(int i,
                                double v)

setLocal_A

public abstract void setLocal_A(int i,
                                Object v)

getLocal_I

public abstract int getLocal_I(int i)

getLocal_L

public abstract long getLocal_L(int i)

getLocal_F

public abstract float getLocal_F(int i)

getLocal_D

public abstract double getLocal_D(int i)

getLocal_A

public abstract Object getLocal_A(int i)

return_I

public abstract void return_I(int v)

return_L

public abstract void return_L(long v)

return_F

public abstract void return_F(float v)

return_D

public abstract void return_D(double v)

return_A

public abstract void return_A(Object v)

return_V

public abstract void return_V()

getReturnVal_I

public abstract int getReturnVal_I()

getReturnVal_L

public abstract long getReturnVal_L()

getReturnVal_F

public abstract float getReturnVal_F()

getReturnVal_D

public abstract double getReturnVal_D()

getReturnVal_A

public abstract Object getReturnVal_A()