gov.nasa.jpf.jvm.bytecode

Class LongArrayLoadInstruction

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.ArrayLoadInstruction

gov.nasa.jpf.jvm.bytecode.LongArrayLoadInstruction

All Implemented Interfaces:

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

Direct Known Subclasses:

DALOAD, LALOAD

public abstract class LongArrayLoadInstruction
extends ArrayLoadInstruction

abstraction for long array loads

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
LongArrayLoadInstruction()

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 void	push(StackFrame frame, ElementInfo e, int index)

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

execute, isRead, isReference, peekArrayAttr, peekArrayRef, peekIndex, peekIndexAttr

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

LongArrayLoadInstruction

public LongArrayLoadInstruction()

Method Detail

push

protected void push(StackFrame frame,
                    ElementInfo e,
                    int index)
             throws ArrayIndexOutOfBoundsExecutiveException

Specified by:

push in class ArrayLoadInstruction

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

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

Overrides:

accept in class ArrayLoadInstruction