gov.nasa.jpf.vm.bytecode

Interface ReadInstruction

All Superinterfaces:

Attributable, InstructionInterface, ReadOrWriteInstruction

All Known Implementing Classes:

GETFIELD, GETSTATIC

public interface ReadInstruction
extends ReadOrWriteInstruction

common type for all GETx insns This has to be an interface since implementors have to be derived from the abstract FieldInstruction

Method Summary

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

getElementInfo, isRead

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