gov.nasa.jpf.vm.bytecode

Interface ReadOrWriteInstruction

All Superinterfaces:

Attributable, InstructionInterface

All Known Subinterfaces:

ReadInstruction, WriteInstruction

All Known Implementing Classes:

AALOAD, AASTORE, ArrayElementInstruction, ArrayLoadInstruction, ArrayStoreInstruction, BALOAD, BASTORE, CALOAD, CASTORE, DALOAD, DASTORE, FALOAD, FASTORE, FieldInstruction, GETFIELD, GETSTATIC, IALOAD, IASTORE, InstanceFieldInstruction, JVMArrayElementInstruction, JVMInstanceFieldInstruction, JVMStaticFieldInstruction, LALOAD, LASTORE, LongArrayLoadInstruction, LongArrayStoreInstruction, PUTFIELD, PUTSTATIC, SALOAD, SASTORE, StaticFieldInstruction, StaticFieldInstruction

public interface ReadOrWriteInstruction
extends InstructionInterface

common type for FieldInstructions and ArrayElementInstructions

Method Summary

Modifier and Type	Method and Description
ElementInfo	getElementInfo(ThreadInfo ti) where do we read from/write to NOTE - this is a StaticElementInfo in case this is a PUT/GETSTATIC
boolean	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

Method Detail

isRead

boolean isRead()

getElementInfo

ElementInfo getElementInfo(ThreadInfo ti)

where do we read from/write to NOTE - this is a StaticElementInfo in case this is a PUT/GETSTATIC