gov.nasa.jpf.vm

Class NativeStackFrame

java.lang.Object

gov.nasa.jpf.vm.StackFrame

gov.nasa.jpf.vm.NativeStackFrame

All Implemented Interfaces:

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

Methods

Modifier and Type	Method and Description
void	clearReturnValue()
StackFrame	clone()
boolean	equals(Object object) default implementation is just an identity check
Object[]	getArguments()
long	getLongResult()
Object	getLongResultAttr()
int	getReferenceResult()
int	getResult()
Object	getResultAttr()
Object	getReturnAttr()
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(Object[] args)
void	setArgumentLocal(int idx, int value, Object attr)
void	setLongArgumentLocal(int idx, long value, Object attr)
void	setReferenceArgumentLocal(int idx, int ref, Object attr)
void	setReturnAttr(Object a)
void	setReturnValue(Object r)
String	toString()

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

addFrameAttr, addLocalAttr, addLongOperandAttr, addOperandAttr, addOperandAttr, advancePC, checkIsModifiable, clearOperandStack, createReferenceMap, defreeze, dup_x1, dup_x2, dup, dup2_x1, dup2_x2, dup2, 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, getStackTraceInfo, getThis, getTopPos, hasArgumentAttr, 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, 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, visitReferenceSlots

Methods inherited from class java.lang.Object

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

Constructor Detail

NativeStackFrame

public NativeStackFrame(NativeMethodInfo mi)

Method Detail

setArgs

public void setArgs(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(Object a)

setReturnValue

public void setReturnValue(Object r)

clearReturnValue

public void clearReturnValue()

getReturnValue

public Object getReturnValue()

getReturnAttr

public Object getReturnAttr()

getArguments

public 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(Object object)

Description copied from class: Object

default implementation is just an identity check

Overrides:

equals in class StackFrame

toString

public String toString()

Overrides:

toString in class StackFrame

setArgumentLocal

public void setArgumentLocal(int idx,
                    int value,
                    Object attr)

Specified by:

setArgumentLocal in class StackFrame

setLongArgumentLocal

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

Specified by:

setLongArgumentLocal in class StackFrame

setReferenceArgumentLocal

public void setReferenceArgumentLocal(int idx,
                             int ref,
                             Object attr)

Specified by:

setReferenceArgumentLocal in class StackFrame

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