gov.nasa.jpf.jvm.bytecode

Class JVMArrayElementInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.vm.bytecode.ArrayElementInstruction

gov.nasa.jpf.jvm.bytecode.JVMArrayElementInstruction

All Implemented Interfaces:

Attributable, InstructionInterface, ReadOrWriteInstruction, java.lang.Cloneable

Direct Known Subclasses:

ArrayLoadInstruction, ArrayStoreInstruction

public abstract class JVMArrayElementInstruction
extends ArrayElementInstruction

abstract class for operations that access elements of arrays

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Object	arrayOperandAttr
protected int	arrayRef
protected int	index
protected java.lang.Object	indexOperandAttr

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
JVMArrayElementInstruction()

Method Summary

Modifier and Type	Method and Description
java.lang.Object	getArrayOperandAttr(ThreadInfo ti)
int	getArrayRef(ThreadInfo ti) only makes sense from an executeInstruction() or instructionExecuted() listener, it is undefined outside of insn exec notifications
ElementInfo	getElementInfo(ThreadInfo ti) where do we read from/write to NOTE - this is a StaticElementInfo in case this is a PUT/GETSTATIC
protected int	getElementSize() return size of array elements in stack words (long,double: 2, all other: 1) e.g.
int	getIndex(ThreadInfo ti)
java.lang.Object	getIndexOperandAttr(ThreadInfo ti)
abstract boolean	isRead()
boolean	isReferenceArray()
abstract java.lang.Object	peekArrayAttr(ThreadInfo ti)
ElementInfo	peekArrayElementInfo(ThreadInfo ti)
abstract int	peekArrayRef(ThreadInfo ti)
abstract int	peekIndex(ThreadInfo ti)
abstract java.lang.Object	peekIndexAttr(ThreadInfo ti)

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

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

Field Detail

arrayRef

protected int arrayRef

index

protected int index

arrayOperandAttr

protected java.lang.Object arrayOperandAttr

indexOperandAttr

protected java.lang.Object indexOperandAttr

Constructor Detail

JVMArrayElementInstruction

public JVMArrayElementInstruction()

Method Detail

peekIndex

public abstract int peekIndex(ThreadInfo ti)

Specified by:

peekIndex in class ArrayElementInstruction

peekArrayRef

public abstract int peekArrayRef(ThreadInfo ti)

peekIndexAttr

public abstract java.lang.Object peekIndexAttr(ThreadInfo ti)

peekArrayAttr

public abstract java.lang.Object peekArrayAttr(ThreadInfo ti)

isReferenceArray

public boolean isReferenceArray()

getElementInfo

public ElementInfo getElementInfo(ThreadInfo ti)

Description copied from interface: ReadOrWriteInstruction

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

getArrayRef

public int getArrayRef(ThreadInfo ti)

only makes sense from an executeInstruction() or instructionExecuted() listener, it is undefined outside of insn exec notifications

getArrayOperandAttr

public java.lang.Object getArrayOperandAttr(ThreadInfo ti)

getIndexOperandAttr

public java.lang.Object getIndexOperandAttr(ThreadInfo ti)

peekArrayElementInfo

public ElementInfo peekArrayElementInfo(ThreadInfo ti)

Specified by:

peekArrayElementInfo in class ArrayElementInstruction

getIndex

public int getIndex(ThreadInfo ti)

getElementSize

protected int getElementSize()

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

isRead

public abstract boolean isRead()