gov.nasa.jpf.jvm

Class JVMStackFrame

java.lang.Object

gov.nasa.jpf.vm.StackFrame

gov.nasa.jpf.jvm.JVMStackFrame

All Implemented Interfaces:

java.lang.Cloneable

public class JVMStackFrame
extends StackFrame

a stackframe that is used for executing Java bytecode, supporting both locals and an operand stack. This is essentially the JVm stack machine implementation

Field Summary

Fields inherited from class gov.nasa.jpf.vm.StackFrame

ATTR_IS_FROZEN, attributes, attrs, frameAttr, isRef, mi, pc, prev, slots, stackBase, thisRef, top

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	JVMStackFrame(int nLocals, int nOperands) creates callerSlots dummy Stackframe for testing of operand/local operations NOTE - TESTING ONLY! this does not have callerSlots MethodInfo
	JVMStackFrame(MethodInfo callee)

Method Summary

Modifier and Type	Method and Description
void	setArgumentLocal(int idx, int v, java.lang.Object attr)
protected void	setCallArguments(ThreadInfo ti) this sets up arguments from a bytecode caller
void	setExceptionReference(int exRef)
void	setLongArgumentLocal(int idx, long v, java.lang.Object attr)
void	setReferenceArgumentLocal(int idx, int ref, java.lang.Object attr)

Methods inherited from class gov.nasa.jpf.vm.StackFrame

addFrameAttr, addLocalAttr, addLongLocalAttr, addLongOperandAttr, addOperandAttr, addOperandAttr, addSlotAttr, advancePC, checkIsModifiable, clearOperandStack, clone, createReferenceMap, defreeze, dup_x1, dup_x2, dup, dup2_x1, dup2_x2, dup2, equals, frameAttrIterator, frameAttrIterator, freeze, getAndResetFrameAttr, getArgumentAttrs, getArgumentsValues, getArgumentValues, getCallArguments, getCalleeThis, getCalleeThis, getCallerFrame, getClassInfo, getClassName, getDepth, getDoubleLocalVariable, getDoubleLocalVariable, getDoubleResult, getDoubleResultAttr, getExceptionReference, getExceptionReferenceAttribute, getFieldValue, getFloatLocalVariable, getFloatResult, getFloatResultAttr, getFrameAttr, getFrameAttr, getLine, getLocalAttr, getLocalAttr, getLocalAttrIndex, getLocalOrFieldValue, getLocalValueObject, getLocalVariable, getLocalVariable, getLocalVariableCount, getLocalVariableSlotIndex, getLocalVariableType, getLocalVariableType, getLocalVarInfo, getLocalVarInfo, getLocalVars, getLongLocalAttr, getLongLocalVariable, getLongLocalVariable, getLongOperandAttr, getLongOperandAttr, getLongResult, getLongResultAttr, getMethodInfo, getMethodName, getNextFrameAttr, getNextLocalAttr, getNextLongOperandAttr, getNextOperandAttr, getNextOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getPC, getPrevious, getReferenceMap, getReferenceResult, getResult, getResultAttr, getSlot, getSlotAttr, getSlotAttr, getSlotAttrs, getSlots, getSourceFile, getStackTraceInfo, getThis, getTopPos, hasAnyRef, hasArgumentAttr, hasArgumentObjectAttr, hasAttrs, hasFrameAttr, hasFrameAttr, hasFrameAttrValue, hash, hashCode, hasLocalAttr, hasLocalAttr, hasLongOperandAttr, hasLongOperandAttr, hasOperandAttr, hasOperandAttr, hasOperandAttr, hasOperandAttr, includesReferenceOperand, includesReferenceOperand, isDirectCallFrame, isFirewall, isFrozen, isLocalVariableRef, isNative, isOperandRef, isOperandRef, isReferenceSlot, isReflection, isSynthetic, localAttrIterator, localAttrIterator, longOperandAttrIterator, longOperandAttrIterator, markThreadRoots, mixinExecutionStateHash, modifiesState, objectHashCode, operandAttrIterator, operandAttrIterator, operandAttrIterator, operandAttrIterator, originatesFrom, peek, peek, peekDouble, peekDouble, peekFloat, peekFloat, peekLong, peekLong, pop, pop, popDouble, popFloat, popLong, printContentsOn, printOperands, printSlots, printStackContent, printStackTrace, processRefArguments, push, push, pushDouble, pushFloat, pushLocal, pushLong, pushLongLocal, pushRef, removeArguments, removeFrameAttr, removeLocalAttr, removeLongOperandAttr, removeOperandAttr, removeOperandAttr, replaceFrameAttr, replaceLocalAttr, replaceLongOperandAttr, replaceOperandAttr, replaceOperandAttr, replaceSlotAttr, reset, setDoubleArgumentLocal, setDoubleLocalVariable, setExceptionReferenceAttribute, setFloatArgumentLocal, setFloatLocalVariable, setFrameAttr, setLocalAttr, setLocalReferenceVariable, setLocalVariable, setLocalVariable, setLongLocalAttr, setLongLocalVariable, setLongOperandAttr, setOperand, setOperandAttr, setOperandAttr, setPC, setPrevious, setReferenceResult, setReflection, setResult, setResult, setSlotAttr, setThis, storeLongOperand, storeOperand, swap, toString, visitReferenceSlots

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

JVMStackFrame

public JVMStackFrame(MethodInfo callee)

JVMStackFrame

protected JVMStackFrame(int nLocals,
                        int nOperands)

creates callerSlots dummy Stackframe for testing of operand/local operations NOTE - TESTING ONLY! this does not have callerSlots MethodInfo

Method Detail

setCallArguments

protected void setCallArguments(ThreadInfo ti)

this sets up arguments from a bytecode caller

setExceptionReference

public void setExceptionReference(int exRef)

Overrides:

setExceptionReference in class StackFrame

setArgumentLocal

public void setArgumentLocal(int idx,
                             int v,
                             java.lang.Object attr)

Specified by:

setArgumentLocal in class StackFrame

setReferenceArgumentLocal

public void setReferenceArgumentLocal(int idx,
                                      int ref,
                                      java.lang.Object attr)

Specified by:

setReferenceArgumentLocal in class StackFrame

setLongArgumentLocal

public void setLongArgumentLocal(int idx,
                                 long v,
                                 java.lang.Object attr)

Specified by:

setLongArgumentLocal in class StackFrame