gov.nasa.jpf.vm

Class NativeStackFrame

java.lang.Object

gov.nasa.jpf.vm.StackFrame

gov.nasa.jpf.vm.NativeStackFrame

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

JVMNativeStackFrame

public abstract class NativeStackFrame
extends StackFrame

a stack frame for MJI methods This is a special Stackframe to execute NativeMethodInfos, which are just a wrapper around Java reflection calls. As required by the Java reflection API, they can store argument and return values as object references NOTE: operands and locals can be, but are not automatically used during native method execution.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Object[]	args
protected java.lang.Object	ret
protected java.lang.Object	retAttr

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

Constructor and Description
NativeStackFrame(NativeMethodInfo mi)

Method Summary

Modifier and Type	Method and Description
void	clearReturnValue()
StackFrame	clone()
boolean	equals(java.lang.Object object)
java.lang.Object[]	getArguments()
int	getExceptionReference()
java.lang.Object	getExceptionReferenceAttribute()
long	getLongResult()
java.lang.Object	getLongResultAttr()
int	getReferenceResult()
int	getResult()
java.lang.Object	getResultAttr()
java.lang.Object	getReturnAttr()
java.lang.Object	getReturnValue()
boolean	hasAnyRef()
protected void	hash(HashData hd)
boolean	isNative()
boolean	isSynthetic()
void	markThreadRoots(Heap heap, int tid) mark all objects reachable from local or operand stack positions containing references.
boolean	modifiesState() is this StackFrame modifying the KernelState this is true unless this is callerSlots NativeStackFrame
void	setArgs(java.lang.Object[] args)
void	setArgumentLocal(int idx, int value, java.lang.Object attr)
void	setExceptionReference(int exRef)
void	setExceptionReferenceAttribute(java.lang.Object attr)
void	setLongArgumentLocal(int idx, long value, java.lang.Object attr)
void	setReferenceArgumentLocal(int idx, int ref, java.lang.Object attr)
void	setReturnAttr(java.lang.Object a)
void	setReturnValue(java.lang.Object r)
java.lang.String	toString()

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

addFrameAttr, addLocalAttr, addLongLocalAttr, addLongOperandAttr, addOperandAttr, addOperandAttr, addSlotAttr, advancePC, checkIsModifiable, clearOperandStack, createReferenceMap, defreeze, dup_x1, dup_x2, dup, dup2_x1, dup2_x2, dup2, 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, getStackTraceInfo, getThis, getTopPos, hasArgumentAttr, hasArgumentObjectAttr, hasAttrs, hasFrameAttr, hasFrameAttr, hasFrameAttrValue, hashCode, hasLocalAttr, hasLocalAttr, hasLongOperandAttr, hasLongOperandAttr, hasOperandAttr, hasOperandAttr, hasOperandAttr, hasOperandAttr, includesReferenceOperand, includesReferenceOperand, isDirectCallFrame, isFirewall, isFrozen, isLocalVariableRef, isOperandRef, isOperandRef, isReferenceSlot, isReflection, localAttrIterator, localAttrIterator, longOperandAttrIterator, longOperandAttrIterator, mixinExecutionStateHash, 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, visitReferenceSlots

Methods inherited from class java.lang.Object

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

Field Detail

ret

protected java.lang.Object ret

retAttr

protected java.lang.Object retAttr

args

protected java.lang.Object[] args

Constructor Detail

NativeStackFrame

public NativeStackFrame(NativeMethodInfo mi)

Method Detail

setArgs

public void setArgs(java.lang.Object[] args)

clone

public StackFrame clone()

Overrides:

clone in class StackFrame

isNative

public boolean isNative()

Overrides:

isNative in class StackFrame

isSynthetic

public boolean isSynthetic()

Overrides:

isSynthetic in class StackFrame

modifiesState

public boolean modifiesState()

Description copied from class: StackFrame

is this StackFrame modifying the KernelState this is true unless this is callerSlots NativeStackFrame

Overrides:

modifiesState in class StackFrame

hasAnyRef

public boolean hasAnyRef()

Overrides:

hasAnyRef in class StackFrame

setReturnAttr

public void setReturnAttr(java.lang.Object a)

setReturnValue

public void setReturnValue(java.lang.Object r)

clearReturnValue

public void clearReturnValue()

getReturnValue

public java.lang.Object getReturnValue()

getReturnAttr

public java.lang.Object getReturnAttr()

getArguments

public java.lang.Object[] getArguments()

markThreadRoots

public void markThreadRoots(Heap heap,
                            int tid)

Description copied from class: StackFrame

mark all objects reachable from local or operand stack positions containing references. Done during phase1 marking of threads (the stack is one of the Thread gc roots)

Overrides:

markThreadRoots in class StackFrame

hash

protected void hash(HashData hd)

Overrides:

hash in class StackFrame

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class StackFrame

toString

public java.lang.String toString()

Overrides:

toString in class StackFrame

setArgumentLocal

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

Specified by:

setArgumentLocal in class StackFrame

setLongArgumentLocal

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

Specified by:

setLongArgumentLocal in class StackFrame

setReferenceArgumentLocal

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

Specified by:

setReferenceArgumentLocal 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

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