gov.nasa.jpf.jvm.bytecode

Class LongArrayStoreInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.ArrayElementInstruction

gov.nasa.jpf.jvm.bytecode.JVMArrayElementInstruction

gov.nasa.jpf.jvm.bytecode.ArrayStoreInstruction

gov.nasa.jpf.jvm.bytecode.LongArrayStoreInstruction

All Implemented Interfaces:

JVMInstruction, Attributable, InstructionInterface, ReadOrWriteInstruction, StoreInstruction, java.lang.Cloneable

Direct Known Subclasses:

DASTORE, LASTORE

public abstract class LongArrayStoreInstruction
extends ArrayStoreInstruction

absraction for long array stores ... array, index, long-value => ...

Field Summary

Fields inherited from class gov.nasa.jpf.jvm.bytecode.JVMArrayElementInstruction

arrayOperandAttr, arrayRef, index, indexOperandAttr

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
LongArrayStoreInstruction()

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
protected int	getElementSize() return size of array elements in stack words (long,double: 2, all other: 1) e.g.
protected long	getValue(ThreadInfo ti)
java.lang.Object	peekArrayAttr(ThreadInfo ti)
int	peekArrayRef(ThreadInfo ti) this is for pre-exec use
int	peekIndex(ThreadInfo ti)
java.lang.Object	peekIndexAttr(ThreadInfo ti)
protected void	setField(ElementInfo e, int index, long value)

Methods inherited from class gov.nasa.jpf.jvm.bytecode.ArrayStoreInstruction

execute, isRead, popValue, setArrayElement, setField

Methods inherited from class gov.nasa.jpf.jvm.bytecode.JVMArrayElementInstruction

getArrayOperandAttr, getArrayRef, getElementInfo, getIndex, getIndexOperandAttr, isReferenceArray, peekArrayElementInfo

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

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

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

Constructor Detail

LongArrayStoreInstruction

public LongArrayStoreInstruction()

Method Detail

setField

protected void setField(ElementInfo e,
                        int index,
                        long value)
                 throws ArrayIndexOutOfBoundsExecutiveException

Throws:

ArrayIndexOutOfBoundsExecutiveException

getElementSize

protected int getElementSize()

Description copied from class: JVMArrayElementInstruction

return size of array elements in stack words (long,double: 2, all other: 1) e.g. used to determine where the object reference is on the stack should probably be abstract, but there are lots of subclasses and only LongArrayLoad/Store insns have different size

Overrides:

getElementSize in class JVMArrayElementInstruction

getValue

protected long getValue(ThreadInfo ti)

peekArrayRef

public int peekArrayRef(ThreadInfo ti)

Description copied from class: ArrayStoreInstruction

this is for pre-exec use

Overrides:

peekArrayRef in class ArrayStoreInstruction

peekIndex

public int peekIndex(ThreadInfo ti)

Overrides:

peekIndex in class ArrayStoreInstruction

peekArrayAttr

public java.lang.Object peekArrayAttr(ThreadInfo ti)

Overrides:

peekArrayAttr in class ArrayStoreInstruction

peekIndexAttr

public java.lang.Object peekIndexAttr(ThreadInfo ti)

Overrides:

peekIndexAttr in class ArrayStoreInstruction

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

Overrides:

accept in class ArrayStoreInstruction