gov.nasa.jpf.vm.bytecode

Class ReturnInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.ReturnInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, java.lang.Cloneable

Direct Known Subclasses:

DIRECTCALLRETURN, JVMReturnInstruction

public abstract class ReturnInstruction
extends Instruction

abstract base for return instructions since .jvm so far does not use any specific feature of ReturnInstructions, we just need an empty type to make .jvm independent of a specific Instruction set

Field Summary

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
ReturnInstruction()

Method Summary

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

addAttr, asInstruction, attrIterator, attrIterator, cleanupTransients, execute, 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, toPostExecString, 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

getByteCode

Constructor Detail

ReturnInstruction

public ReturnInstruction()