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, 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

Methods

Modifier and Type	Method and Description
long	getLongResult()
Object	getLongResultAttr()
int	getReferenceResult()
int	getResult()
Object	getResultAttr()
void	setArgument(int argIdx, int v, Object attr)
void	setArgumentLocal(int argIdx, int v, Object attr)
void	setLongArgument(int argIdx, long v, Object attr)
void	setLongArgumentLocal(int argIdx, long v, Object attr)
void	setReferenceArgument(int argIdx, int ref, Object attr)
void	setReferenceArgumentLocal(int argIdx, int v, 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, addLongOperandAttr, addOperandAttr, addOperandAttr, advancePC, checkIsModifiable, clearOperandStack, clone, createReferenceMap, defreeze, dup_x1, dup_x2, dup, dup2_x1, dup2_x2, dup2, equals, frameAttrIterator, frameAttrIterator, freeze, getArgumentAttrs, getCalleeThis, getCalleeThis, 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, getLongLocalVariable, getLongLocalVariable, getLongOperandAttr, getLongOperandAttr, getMethodInfo, getMethodName, getNextFrameAttr, getNextLocalAttr, getNextLongOperandAttr, getNextOperandAttr, getNextOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getPC, getPrevious, getReferenceMap, getSlot, getSlotAttr, getSlotAttrs, getSlots, getSourceFile, getThis, getTopPos, hasAnyRef, hasArgumentAttr, 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, 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, reset, setDoubleArgumentLocal, setFloatArgumentLocal, setFrameAttr, setLocalAttr, setLocalReferenceVariable, setLocalVariable, setLocalVariable, setLongLocalVariable, setLongOperandAttr, setOperand, setOperandAttr, setOperandAttr, setPC, setPrevious, setReflection, 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()

Specified by:

getResult in class StackFrame

getReferenceResult

public int getReferenceResult()

Specified by:

getReferenceResult in class StackFrame

getLongResult

public long getLongResult()

Specified by:

getLongResult in class StackFrame

getResultAttr

public Object getResultAttr()

Specified by:

getResultAttr in class StackFrame

getLongResultAttr

public Object getLongResultAttr()

Specified by:

getLongResultAttr in class StackFrame

setArgument

public void setArgument(int argIdx,
               int v,
               Object attr)

Specified by:

setArgument in class DirectCallStackFrame

setReferenceArgument

public void setReferenceArgument(int argIdx,
                        int ref,
                        Object attr)

Specified by:

setReferenceArgument in class DirectCallStackFrame

setLongArgument

public void setLongArgument(int argIdx,
                   long v,
                   Object attr)

Specified by:

setLongArgument in class DirectCallStackFrame

setArgumentLocal

public void setArgumentLocal(int argIdx,
                    int v,
                    Object attr)

Specified by:

setArgumentLocal in class StackFrame

setReferenceArgumentLocal

public void setReferenceArgumentLocal(int argIdx,
                             int v,
                             Object attr)

Specified by:

setReferenceArgumentLocal in class StackFrame

setLongArgumentLocal

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

Specified by:

setLongArgumentLocal in class StackFrame