gov.nasa.jpf.vm.bytecode

Interface WriteInstruction

All Superinterfaces:

Attributable, InstructionInterface, ReadOrWriteInstruction

All Known Implementing Classes:

PUTFIELD, PUTSTATIC

public interface WriteInstruction
extends ReadOrWriteInstruction

common type for all xPUT insns

Method Summary

Modifier and Type	Method and Description
FieldInfo	getFieldInfo() where do we store the value
int	getValueSlot(StackFrame frame) from where in the StackFrame do we get the value for the put

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

Method Detail

getFieldInfo

FieldInfo getFieldInfo()

where do we store the value

getValueSlot

int getValueSlot(StackFrame frame)

from where in the StackFrame do we get the value for the put