gov.nasa.jpf.jvm.bytecode

Class AALOAD

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

All Implemented Interfaces:

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

public class AALOAD
extends ArrayLoadInstruction

Load reference from array ..., arrayref, index => ..., 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
AALOAD()

Method Summary

Modifier and Type	Method and Description
void	accept(JVMInstructionVisitor insVisitor)
int	getByteCode()
protected boolean	isReference()
boolean	isReferenceArray()
protected void	push(StackFrame frame, ElementInfo ei, int index)

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

execute, isRead, peekArrayAttr, peekArrayRef, peekIndex, peekIndexAttr

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

getArrayOperandAttr, getArrayRef, getElementInfo, getElementSize, getIndex, getIndexOperandAttr, 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, 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

AALOAD

public AALOAD()

Method Detail

isReferenceArray

public boolean isReferenceArray()

Overrides:

isReferenceArray in class JVMArrayElementInstruction

push

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

Specified by:

push in class ArrayLoadInstruction

Throws:

ArrayIndexOutOfBoundsExecutiveException

isReference

protected boolean isReference()

Overrides:

isReference in class ArrayLoadInstruction

getByteCode

public int getByteCode()

accept

public void accept(JVMInstructionVisitor insVisitor)

Specified by:

accept in interface JVMInstruction

Overrides:

accept in class ArrayLoadInstruction