gov.nasa.jpf.jvm

Class JVMDirectCallStackFrame

java.lang.Object

gov.nasa.jpf.vm.StackFrame

gov.nasa.jpf.vm.DirectCallStackFrame

gov.nasa.jpf.jvm.JVMDirectCallStackFrame

All Implemented Interfaces:

SystemAttribute, java.lang.Cloneable

public class JVMDirectCallStackFrame
extends DirectCallStackFrame

a direct call stackframe that supports JVM calling conventions

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

Method Summary

Modifier and Type	Method and Description
int	getExceptionReference()
java.lang.Object	getExceptionReferenceAttribute()
long	getLongResult()
java.lang.Object	getLongResultAttr()
int	getReferenceResult()
int	getResult()
java.lang.Object	getResultAttr()
int	setArgument(int slotIdx, int v, java.lang.Object attr)
void	setArgumentLocal(int argIdx, int v, java.lang.Object attr)
void	setExceptionReference(int exRef)
void	setExceptionReferenceAttribute(java.lang.Object attr)
int	setLongArgument(int slotIdx, long v, java.lang.Object attr)
void	setLongArgumentLocal(int argIdx, long v, java.lang.Object attr)
int	setReferenceArgument(int slotIdx, int ref, java.lang.Object attr)
void	setReferenceArgumentLocal(int argIdx, int v, java.lang.Object attr)

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

getCallee, getPreviousDirectCallStackFrame, getStackTraceInfo, isDirectCallFrame, isSynthetic, setDoubleArgument, setFireWall, setFloatArgument

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, 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, getMethodInfo, getMethodName, getNextFrameAttr, getNextLocalAttr, getNextLongOperandAttr, getNextOperandAttr, getNextOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getPC, getPrevious, getReferenceMap, getSlot, getSlotAttr, getSlotAttr, getSlotAttrs, getSlots, getSourceFile, getThis, getTopPos, hasAnyRef, hasArgumentAttr, hasArgumentObjectAttr, hasAttrs, hasFrameAttr, hasFrameAttr, hasFrameAttrValue, hash, hashCode, hasLocalAttr, hasLocalAttr, hasLongOperandAttr, hasLongOperandAttr, hasOperandAttr, hasOperandAttr, hasOperandAttr, hasOperandAttr, includesReferenceOperand, includesReferenceOperand, isFirewall, isFrozen, isLocalVariableRef, isNative, isOperandRef, isOperandRef, isReferenceSlot, isReflection, 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, 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

Method Detail

getResult

public int getResult()

Overrides:

getResult in class StackFrame

getReferenceResult

public int getReferenceResult()

Overrides:

getReferenceResult in class StackFrame

getLongResult

public long getLongResult()

Overrides:

getLongResult in class StackFrame

getResultAttr

public java.lang.Object getResultAttr()

Overrides:

getResultAttr in class StackFrame

getLongResultAttr

public java.lang.Object getLongResultAttr()

Overrides:

getLongResultAttr in class StackFrame

setExceptionReference

public void setExceptionReference(int exRef)

Overrides:

setExceptionReference in class StackFrame

getExceptionReference

public int getExceptionReference()

Overrides:

getExceptionReference in class StackFrame

setExceptionReferenceAttribute

public void setExceptionReferenceAttribute(java.lang.Object attr)

Overrides:

setExceptionReferenceAttribute in class StackFrame

getExceptionReferenceAttribute

public java.lang.Object getExceptionReferenceAttribute()

Overrides:

getExceptionReferenceAttribute in class StackFrame

setArgument

public int setArgument(int slotIdx,
                       int v,
                       java.lang.Object attr)

Specified by:

setArgument in class DirectCallStackFrame

setReferenceArgument

public int setReferenceArgument(int slotIdx,
                                int ref,
                                java.lang.Object attr)

Specified by:

setReferenceArgument in class DirectCallStackFrame

setLongArgument

public int setLongArgument(int slotIdx,
                           long v,
                           java.lang.Object attr)

Specified by:

setLongArgument in class DirectCallStackFrame

setArgumentLocal

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

Specified by:

setArgumentLocal in class StackFrame

setReferenceArgumentLocal

public void setReferenceArgumentLocal(int argIdx,
                                      int v,
                                      java.lang.Object attr)

Specified by:

setReferenceArgumentLocal in class StackFrame

setLongArgumentLocal

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

Specified by:

setLongArgumentLocal in class StackFrame