gov.nasa.jpf.jvm.bytecode

Class DRETURN

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.ReturnInstruction

gov.nasa.jpf.jvm.bytecode.LongReturn

gov.nasa.jpf.jvm.bytecode.DRETURN

All Implemented Interfaces:

InstructionVisitorAcceptor, ReturnInstruction, Cloneable

public class DRETURN
extends LongReturn

Return double 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.ReturnInstruction

returnFrame

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
DRETURN()

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor insVisitor)
int	getByteCode()
double	getReturnValue()
Object	getReturnValue(ThreadInfo ti)
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.ReturnInstruction

cleanupTransients, execute, getReturnFrame, 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, isExtendedInstruction, 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

Constructor Detail

DRETURN

public DRETURN()

Method Detail

getReturnValue

public double getReturnValue()

getReturnValue

public Object getReturnValue(ThreadInfo ti)

Specified by:

getReturnValue in class ReturnInstruction

getByteCode

public int getByteCode()

Specified by:

getByteCode in class Instruction

toString

public String toString()

Overrides:

toString in class Instruction

accept

public void accept(InstructionVisitor insVisitor)

Specified by:

accept in interface InstructionVisitorAcceptor

Overrides:

accept in class ReturnInstruction