gov.nasa.jpf.jvm.bytecode

Class LRETURN

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

gov.nasa.jpf.jvm.bytecode.LRETURN

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, java.lang.Cloneable

public class LRETURN
extends LongReturn

Return long from method ..., value => [empty]

Field Summary

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

ret

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
LRETURN()

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
int	getByteCode()
long	getReturnValue()
java.lang.Object	getReturnValue(ThreadInfo ti)
java.lang.String	toString()

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

addReturnAttr, getAndSaveReturnValue, getNextReturnAttr, getReturnAttr, getReturnAttr, getReturnedOperandAttr, getReturnTypeSize, hasReturnAttr, hasReturnAttr, pushReturnValue, returnAttrIterator, returnAttrIterator, setReturnAttr

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

cleanupTransients, execute, getReturnFrame, 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, 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, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getPosition, getPrev, getSourceLine, getSourceLocation, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction

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

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

Constructor Detail

LRETURN

public LRETURN()

Method Detail

getReturnValue

public long getReturnValue()

getReturnValue

public java.lang.Object getReturnValue(ThreadInfo ti)

Specified by:

getReturnValue in class JVMReturnInstruction

getByteCode

public int getByteCode()

toString

public java.lang.String toString()

Overrides:

toString in class Instruction

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

Overrides:

accept in class JVMReturnInstruction