gov.nasa.jpf.jvm.bytecode

Class FRETURN

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.ReturnInstruction

gov.nasa.jpf.jvm.bytecode.FRETURN

All Implemented Interfaces:

InstructionVisitorAcceptor, ReturnInstruction, Cloneable

public class FRETURN
extends ReturnInstruction

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

Field Summary

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

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(InstructionVisitor insVisitor)
protected void	getAndSaveReturnValue(StackFrame frame)
int	getByteCode()
protected Object	getReturnedOperandAttr(StackFrame frame)
int	getReturnTypeSize()
float	getReturnValue()
Float	getReturnValue(ThreadInfo ti)
protected void	pushReturnValue(StackFrame frame)
String	toString()

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

addReturnAttr, cleanupTransients, execute, getNextReturnAttr, getReturnAttr, 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, 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

FRETURN

public FRETURN()

Method Detail

getReturnTypeSize

public int getReturnTypeSize()

Specified by:

getReturnTypeSize in class ReturnInstruction

getReturnedOperandAttr

protected Object getReturnedOperandAttr(StackFrame frame)

Specified by:

getReturnedOperandAttr in class ReturnInstruction

getAndSaveReturnValue

protected void getAndSaveReturnValue(StackFrame frame)

Specified by:

getAndSaveReturnValue in class ReturnInstruction

pushReturnValue

protected void pushReturnValue(StackFrame frame)

Specified by:

pushReturnValue in class ReturnInstruction

getReturnValue

public float getReturnValue()

getReturnValue

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