gov.nasa.jpf.vm

Class DirectCallStackFrame

java.lang.Object

gov.nasa.jpf.vm.StackFrame

gov.nasa.jpf.vm.DirectCallStackFrame

All Implemented Interfaces:

SystemAttribute, java.lang.Cloneable

Direct Known Subclasses:

JVMDirectCallStackFrame

public abstract class DirectCallStackFrame
extends StackFrame
implements SystemAttribute

DirectCallStackFrames are only used for overlay calls (from native code), i.e. there is no corresponding INVOKE instruction. The associated MethodInfos are synthetic, their only code is (usually) a INVOKEx and a DIRECTCALLRETURN. NOTE: such MethodInfos do not belong to any class Arguments for the invoke insn have to be pushed explicitly by the caller direct calls do not return any values themselves, but they do get the return values of the called method pushed onto their own operand stack. If the DirectCallStackFrame user needs such return values, it has to do so via ThreadInfo.getReturnedDirectCall()

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	DirectCallStackFrame(MethodInfo miDirectCall, MethodInfo callee)
protected	DirectCallStackFrame(MethodInfo miDirectCall, MethodInfo callee, int maxLocals, int maxStack)

Method Summary

Modifier and Type	Method and Description
MethodInfo	getCallee()
DirectCallStackFrame	getPreviousDirectCallStackFrame()
java.lang.String	getStackTraceInfo()
boolean	isDirectCallFrame()
boolean	isSynthetic()
abstract int	setArgument(int argOffset, int value, java.lang.Object attr)
int	setDoubleArgument(int argOffset, double value, java.lang.Object attr)
void	setFireWall()
int	setFloatArgument(int argOffset, float value, java.lang.Object attr)
abstract int	setLongArgument(int argOffset, long value, java.lang.Object attr)
abstract int	setReferenceArgument(int argOffset, 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, 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, setArgumentLocal, setDoubleArgumentLocal, setDoubleLocalVariable, setExceptionReference, setExceptionReferenceAttribute, setFloatArgumentLocal, setFloatLocalVariable, setFrameAttr, setLocalAttr, setLocalReferenceVariable, setLocalVariable, setLocalVariable, setLongArgumentLocal, setLongLocalAttr, setLongLocalVariable, setLongOperandAttr, setOperand, setOperandAttr, setOperandAttr, setPC, setPrevious, setReferenceArgumentLocal, 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

DirectCallStackFrame

protected DirectCallStackFrame(MethodInfo miDirectCall,
                               MethodInfo callee,
                               int maxLocals,
                               int maxStack)

DirectCallStackFrame

protected DirectCallStackFrame(MethodInfo miDirectCall,
                               MethodInfo callee)

Method Detail

getCallee

public MethodInfo getCallee()

getStackTraceInfo

public java.lang.String getStackTraceInfo()

Overrides:

getStackTraceInfo in class StackFrame

getPreviousDirectCallStackFrame

public DirectCallStackFrame getPreviousDirectCallStackFrame()

setFireWall

public void setFireWall()

isDirectCallFrame

public boolean isDirectCallFrame()

Overrides:

isDirectCallFrame in class StackFrame

isSynthetic

public boolean isSynthetic()

Overrides:

isSynthetic in class StackFrame

setArgument

public abstract int setArgument(int argOffset,
                                int value,
                                java.lang.Object attr)

setLongArgument

public abstract int setLongArgument(int argOffset,
                                    long value,
                                    java.lang.Object attr)

setReferenceArgument

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

setFloatArgument

public int setFloatArgument(int argOffset,
                            float value,
                            java.lang.Object attr)

setDoubleArgument

public int setDoubleArgument(int argOffset,
                             double value,
                             java.lang.Object attr)