gov.nasa.jpf.vm

Class DirectCallStackFrame

java.lang.Object

gov.nasa.jpf.vm.StackFrame

gov.nasa.jpf.vm.DirectCallStackFrame

All Implemented Interfaces:

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

Method Summary

Methods

Modifier and Type	Method and Description
MethodInfo	getCallee()
DirectCallStackFrame	getPreviousDirectCallStackFrame()
String	getStackTraceInfo()
boolean	isDirectCallFrame()
boolean	isSynthetic()
abstract void	setArgument(int idx, int value, Object attr)
void	setDoubleArgument(int idx, double value, Object attr)
void	setFireWall()
void	setFloatArgument(int idx, float value, Object attr)
abstract void	setLongArgument(int idx, long value, Object attr)
abstract void	setReferenceArgument(int idx, int ref, Object attr)

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, getLongResult, getLongResultAttr, getMethodInfo, getMethodName, getNextFrameAttr, getNextLocalAttr, getNextLongOperandAttr, getNextOperandAttr, getNextOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getOperandAttr, getPC, getPrevious, getReferenceMap, getReferenceResult, getResult, getResultAttr, 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, setArgumentLocal, setDoubleArgumentLocal, setFloatArgumentLocal, setFrameAttr, setLocalAttr, setLocalReferenceVariable, setLocalVariable, setLocalVariable, setLongArgumentLocal, setLongLocalVariable, setLongOperandAttr, setOperand, setOperandAttr, setOperandAttr, setPC, setPrevious, setReferenceArgumentLocal, setReflection, 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)

Method Detail

getCallee

public MethodInfo getCallee()

getStackTraceInfo

public 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 void setArgument(int idx,
               int value,
               Object attr)

setLongArgument

public abstract void setLongArgument(int idx,
                   long value,
                   Object attr)

setReferenceArgument

public abstract void setReferenceArgument(int idx,
                        int ref,
                        Object attr)

setFloatArgument

public void setFloatArgument(int idx,
                    float value,
                    Object attr)

setDoubleArgument

public void setDoubleArgument(int idx,
                     double value,
                     Object attr)