gov.nasa.jpf.jvm.bytecode

Class ARETURN

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.ReturnInstruction

gov.nasa.jpf.jvm.bytecode.JVMReturnInstruction

gov.nasa.jpf.jvm.bytecode.ARETURN

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, ReturnValueInstruction, java.lang.Cloneable

public class ARETURN
extends JVMReturnInstruction
implements ReturnValueInstruction

Return reference from method ..., objectref => [empty]

Field Summary

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

returnFrame

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
ARETURN()

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
protected void	getAndSaveReturnValue(StackFrame frame)
int	getByteCode()
protected java.lang.Object	getReturnedOperandAttr(StackFrame frame)
int	getReturnTypeSize()
int	getReturnValue()
java.lang.Object	getReturnValue(ThreadInfo ti)
int	getValueSlot(StackFrame frame) where do we get from what we return NOTE: only makes sense in a executeInstruction() context
protected void	pushReturnValue(StackFrame frame)

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

addReturnAttr, cleanupTransients, execute, getNextReturnAttr, getReturnAttr, getReturnAttr, getReturnFrame, hasReturnAttr, hasReturnAttr, returnAttrIterator, returnAttrIterator, setReturnAttr, setReturnFrame, toPostExecString

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

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface gov.nasa.jpf.vm.bytecode.InstructionInterface

asInstruction, execute, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getPosition, getPrev, getSourceLine, getSourceLocation, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, toPostExecString

Methods inherited from interface gov.nasa.jpf.util.Attributable

addAttr, attrIterator, attrIterator, getAttr, getAttr, getNextAttr, hasAttr, hasAttr, removeAttr, replaceAttr, setAttr

Constructor Detail

ARETURN

public ARETURN()

Method Detail

getReturnTypeSize

public int getReturnTypeSize()

Specified by:

getReturnTypeSize in class JVMReturnInstruction

getValueSlot

public int getValueSlot(StackFrame frame)

Description copied from interface: ReturnValueInstruction

where do we get from what we return NOTE: only makes sense in a executeInstruction() context

Specified by:

getValueSlot in interface ReturnValueInstruction

getReturnedOperandAttr

protected java.lang.Object getReturnedOperandAttr(StackFrame frame)

Specified by:

getReturnedOperandAttr in class JVMReturnInstruction

getAndSaveReturnValue

protected void getAndSaveReturnValue(StackFrame frame)

Specified by:

getAndSaveReturnValue in class JVMReturnInstruction

pushReturnValue

protected void pushReturnValue(StackFrame frame)

Specified by:

pushReturnValue in class JVMReturnInstruction

getReturnValue

public int getReturnValue()

getReturnValue

public java.lang.Object getReturnValue(ThreadInfo ti)

Specified by:

getReturnValue in class JVMReturnInstruction

getByteCode

public int getByteCode()

Specified by:

getByteCode in interface InstructionInterface

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

Overrides:

accept in class JVMReturnInstruction