gov.nasa.jpf.jvm.bytecode

Class ArrayElementInstruction

java.lang.Object

gov.nasa.jpf.vm.Instruction

gov.nasa.jpf.jvm.JVMInstruction

gov.nasa.jpf.jvm.bytecode.ArrayInstruction

gov.nasa.jpf.jvm.bytecode.ArrayElementInstruction

All Implemented Interfaces:

InstructionVisitorAcceptor, Cloneable

Direct Known Subclasses:

ArrayLoadInstruction, ArrayStoreInstruction

public abstract class ArrayElementInstruction
extends ArrayInstruction

abstract class for operations that access elements of arrays

Field Summary

Fields

Modifier and Type	Field and Description
protected int	index

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

arrayRef

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

attr, insnIndex, mi, position

Constructor Summary

Constructors

Constructor and Description
ArrayElementInstruction()

Method Summary

Methods

Modifier and Type	Method and Description
protected boolean	createAndSetArrayCG(ElementInfo ei, ThreadInfo ti, int aref, int idx, boolean isRead)
protected int	getElementSize() return size of array elements in stack words (long,double: 2, all other: 1) e.g.
int	getIndex(ThreadInfo ti)
abstract boolean	isRead()
protected abstract int	peekIndex(ThreadInfo ti)

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

accept, getArrayRef, peekArrayRef

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

addAttr, attrIterator, attrIterator, cleanupTransients, execute, getAttr, getAttr, getByteCode, getFileLocation, getFilePos, getInstructionIndex, getLength, getLineNumber, getMethodInfo, getMnemonic, getNext, getNext, getNextAttr, getPosition, getPrev, getSourceLine, getSourceLocation, getSourceOrLocation, hasAttr, hasAttr, init, isBackJump, isCompleted, isExtendedInstruction, isFirstInstruction, isSchedulingRelevant, removeAttr, replaceAttr, requiresClinitExecution, setAttr, setContext, setLocation, setMethodInfo, toString, typeSafeClone

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

index

protected int index

Constructor Detail

ArrayElementInstruction

public ArrayElementInstruction()

Method Detail

peekIndex

protected abstract int peekIndex(ThreadInfo ti)

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

createAndSetArrayCG

protected boolean createAndSetArrayCG(ElementInfo ei,
                          ThreadInfo ti,
                          int aref,
                          int idx,
                          boolean isRead)