gov.nasa.jpf.jvm.bytecode

Class NATIVERETURN

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.ReturnInstruction

gov.nasa.jpf.jvm.bytecode.NATIVERETURN

All Implemented Interfaces:

InstructionVisitorAcceptor, ReturnInstruction, Cloneable

public class NATIVERETURN
extends ReturnInstruction

synthetic return instruction for native method invocations, so that we don't have to do special provisions to copy the caller args in case a post exec listener wants them.

Field Summary

Fields

Modifier and Type	Field and Description
static int	OPCODE

Fields inherited from class gov.nasa.jpf.jvm.bytecode.ReturnInstruction

returnFrame

Fields inherited from class gov.nasa.jpf.vm.Instruction

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
NATIVERETURN()

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor insVisitor)
void	cleanupTransients() this is important since keeping the StackFrame alive would be a major memory leak
Instruction	execute(ThreadInfo ti) this is the real workhorse returns next instruction to enter in this thread <2do> it's unfortunate we roll every side effect into this method, because it diminishes the value of the 'executeInstruction' notification: all insns that require some sort of late binding (InvokeVirtual, GetField, ..) are not yet fully analyzable (e.g.
protected void	getAndSaveReturnValue(StackFrame frame)
int	getByteCode()
Object	getReturnAttr(ThreadInfo ti) this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList obviously, this only makes sense from an instructionExecuted(), since the value is pushed during the enter().
protected Object	getReturnedOperandAttr(StackFrame frame)
int	getReturnTypeSize()
Object	getReturnValue(ThreadInfo ti)
boolean	isExtendedInstruction() is this one of our own, artificial insns?
protected void	pushReturnValue(StackFrame fr)
String	toString()

Methods inherited from class gov.nasa.jpf.jvm.bytecode.ReturnInstruction

addReturnAttr, getNextReturnAttr, getReturnAttr, getReturnFrame, hasReturnAttr, hasReturnAttr, returnAttrIterator, returnAttrIterator, setReturnAttr, setReturnFrame

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

addAttr, attrIterator, attrIterator, getAttr, getAttr, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isCompleted, isFirstInstruction, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, typeSafeClone

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

OPCODE

public static final int OPCODE

See Also:

Constant Field Values

Constructor Detail

NATIVERETURN

public NATIVERETURN()

Method Detail

execute

public Instruction execute(ThreadInfo ti)

Description copied from class: Instruction

this is the real workhorse returns next instruction to enter in this thread <2do> it's unfortunate we roll every side effect into this method, because it diminishes the value of the 'executeInstruction' notification: all insns that require some sort of late binding (InvokeVirtual, GetField, ..) are not yet fully analyzable (e.g. the callee of InvokeVirtuals is not known yet), putting the burden of duplicating the related code of enter() in the listener. It would be better if we factor this 'prepareExecution' out of enter()

Overrides:

execute in class ReturnInstruction

cleanupTransients

public void cleanupTransients()

Description copied from class: ReturnInstruction

this is important since keeping the StackFrame alive would be a major memory leak

Overrides:

cleanupTransients in class ReturnInstruction

isExtendedInstruction

public boolean isExtendedInstruction()

Description copied from class: Instruction

is this one of our own, artificial insns?

Overrides:

isExtendedInstruction in class Instruction

getByteCode

public int getByteCode()

Specified by:

getByteCode in class Instruction

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

Overrides:

accept in class ReturnInstruction

getAndSaveReturnValue

protected void getAndSaveReturnValue(StackFrame frame)

Specified by:

getAndSaveReturnValue in class ReturnInstruction

getReturnTypeSize

public int getReturnTypeSize()

Specified by:

getReturnTypeSize in class ReturnInstruction

getReturnedOperandAttr

protected Object getReturnedOperandAttr(StackFrame frame)

Specified by:

getReturnedOperandAttr in class ReturnInstruction

pushReturnValue

protected void pushReturnValue(StackFrame fr)

Specified by:

pushReturnValue in class ReturnInstruction

getReturnAttr

public Object getReturnAttr(ThreadInfo ti)

Description copied from class: ReturnInstruction

this returns all of them - use either if you know there will be only one attribute at a time, or check/process result with ObjectList obviously, this only makes sense from an instructionExecuted(), since the value is pushed during the enter(). Use ObjectList to access values

Overrides:

getReturnAttr in class ReturnInstruction

getReturnValue

public Object getReturnValue(ThreadInfo ti)

Specified by:

getReturnValue in class ReturnInstruction

toString

public String toString()

Overrides:

toString in class Instruction