gov.nasa.jpf.vm.bytecode

Interface ReturnValueInstruction

All Superinterfaces:

Attributable, InstructionInterface

All Known Implementing Classes:

ARETURN

public interface ReturnValueInstruction
extends InstructionInterface

common type for ReturnInstructions that return a value

Method Summary

Modifier and Type	Method and Description
int	getValueSlot(StackFrame frame) where do we get from what we return NOTE: only makes sense in a executeInstruction() context

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

asInstruction, execute, getByteCode, 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

Method Detail

getValueSlot

int getValueSlot(StackFrame frame)

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